James Koppel

198 reputation

bio	website	jameskoppel.com
	location
	age	21
visits	member for	11 months
	seen	10 hours ago
stats	profile views	8

I apply modern research in programming languages, static analysis, and software engineering to create practical software development tools. I studied Mathematics and Computer Science at Carnegie Mellon University, and am currently member of the 2012 class of Thiel Fellows.

	198 reputation	bio	website	jameskoppel.com	visits	member for	11 months
4 badges		location			seen	10 hours ago

summary answers questions tags badges favorites bounties reputation activity

1 Answer

votes activity newest

6	Is it possible to compute whether two functions are extensional equal?

198 Reputation

+20	Partial soundness proofs for pragmatic static analyses
+75	Is it possible to compute whether two functions are extensional equal?

1 Question

votes activity newest

4	Partial soundness proofs for pragmatic static analyses

3 Tags

6 pl.programming-languages × 2	6 decidability
6 formal-methods

7 Accounts

	Computer Science	396 rep	4
	Stack Overflow	264 rep	16
	Theoretical Computer Science	198 rep	4
$Mathematics Stack Exchange$	Mathematics	135 rep	3
	Cross Validated	131 rep	1

4 Badges

recent class name

Scholar	Supporter
Student	Teacher

0 Active bounties

active offered earned

This user has no active bounties

17 Votes Cast

all time			by type
17	up		6	question
0	down		11	answer

user feed