I am a Benjamin Peirce fellow in the Department of Mathematics at Harvard University.
Feel free to contact me at
my last name dot my first name at gmail dot com. I am also on LinkedIn.
For more about my research or teaching in pure mathematics, see my academic homepage (archived here in May 2020, no longer maintained).
Below are some programming projects I have worked on. They are archived at my old homepage (no longer maintained).
- My B.Sc. thesis, Synthesis for Rational Linear Arithmetic investigates synthesis of code fragments from specifications written in the language of linear rational arithmetic.
Some system administration tools for UNIX-like systems :
- Urpkg: installs programs in a safe and undoable way.
- Darwrap: A backup script based on the excellent Dar.
Some programs playing obscure board games (joint work with Yann Schoenenberger):
- See even more.