113 reputation
6
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 4 months
seen Jul 16 '13 at 17:28

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
Stack Overflow 31,110 rep 54386
Programmers 8,286 rep 22945
Programming Puzzles & Code Golf 588 rep 410
Computer Science 477 rep 210
Code Review 166 rep 5

6 Votes Cast

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