101 reputation
2
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 9 months
seen Dec 12 '14 at 21:39

I am a student who enjoys type theory, formal verification, and compilers. I blog about [dys]functional things a lot.


This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags
Stack Overflow 30,890 rep 54283
Programmers 7,850 rep 22842
Programming Puzzles & Code Golf 548 rep 310
Computer Science 462 rep 210
Code Review 166 rep 5

2 Votes Cast

all time   by type  
2 up 0 question
0 down 2 answer