Researchers

I now work at a major financial institution in New York, mostly writing programs in Haskell.

In a former life I was a postdoc in Pitt’s math department, working on the Flyspeck project. Before then I studied and worked in the TypiCal project at Ecole Polytechnique, and also at the Microsoft Research-Inria Joint Centre, both near Paris. My research interests are formal methods and global optimization.