James Koppel

396 reputation

bio	website	jameskoppel.com
	location
	age	21
visits	member for	11 months
	seen	Apr 28 at 23:28
stats	profile views	9

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.

	396 reputation	bio	website	jameskoppel.com	visits	member for	11 months
4 badges		location			seen	Apr 28 at 23:28

summary answers questions tags badges favorites bounties reputation activity

7 Answers

votes activity newest

6	What is the bitwise xor of an interval?
4	Loop invariants?
4	Do “inductively” and “recursively” have very similar meanings?
4	How to feel intuitively that a language is regular
3	Dataflow framework for global analysis: Why meet, then apply?

396 Reputation

+55	Do “inductively” and “recursively” have very similar meanings?
+40	Loop invariants?
+45	Dataflow framework for global analysis: Why meet, then apply?
+10	How to feel intuitively that a language is regular

0 Questions

votes activity newest

This user has not asked any questions

20 Tags

14 algorithms × 3	4 induction
6 integers	4 correctness-proof
5 compilers × 2	4 algorithm-analysis
4 recursion	4 formal-languages
4 terminology	4 regular-languages

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

Critic	Supporter
Editor	Teacher

0 Active bounties

active offered earned

This user has no active bounties

11 Votes Cast

all time			by type
11	up		8	question
0	down		3	answer

user feed