Erik de Castro Lopo

less info
106 reputation
2
bio website
location Australia
age
visits member for 2 years, 5 months
seen Feb 13 '12 at 2:08

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 577 rep 37
TeX - LaTeX 118 rep 3
Ask Ubuntu 106 rep 2

1 Vote Cast

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