106 reputation

Erik de Castro Lopo

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.

Top Tags (1)

Score 0
Posts 1
Posts % 100

Top Posts (1) All Questions Answers | Votes Newest

Badges (3)

Bronze 3