123 reputation
bio website
location Australia
visits member for 2 years, 8 months
seen Jul 26 '12 at 2:37

Program in C, C++, Ocaml and Haskell (in most weeks write at least some code in all of those languages). Particularly interested in functional programming and theorem proving. Currently learning the Coq proof assistant and working my way through Benjamin Peirce et al's Software Foundations course.

Also interested in automated software testing and reliability.

This user has not answered any questions
Stack Overflow 575 rep 38
TeX - LaTeX 123 rep 5
Ask Ubuntu 106 rep 3

1 Vote Cast

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