Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of Erik de Castro Lopo

Erik de Castro Lopo

Erik de Castro Lopo has asked 0 questions and find answers to 4 problems.

Stats

80
EtPoint
22
Vote count
0
questions
4
answers

About

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.