Bryan@social.sargasso.nl
Bryan@social.sargasso.nl
bryan@social.sargasso.nl
Software engineer with 18 years of experience in building compilers. Haskell is my favorite programming language and if I had time I would experience myself in using the theorem prover Coq.