network profile
| bio | website | |
|---|---|---|
| location | Australia | |
| age | ||
| visits | member for | 11 months |
| seen | Jul 26 '12 at 2:37 | |
| stats | profile views | 3 |
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.
|
Stack Overflow | 467 rep | 26 |
|
TeX - LaTeX | 113 rep | 3 |
|
Ask Ubuntu | 106 rep | 2 |
This user has no active bounties
1 Vote Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 1 | up | 0 | question | ||
| 0 | down | 1 | answer | ||
