News

March 2014

Joined Cryptosense

Sept. 2012

Joined the Gallium team, as a post-doc

March 2012

Joined MIT, as a post-doc

Feb. 2012

Succesfully defended my Ph.D.

Blog

• 31 Jul 2014 » Unarchiving Fe-Si: formally verified hardware synthesis in Coq.
• 30 Jun 2014 » BDDs in OCaml (2)
• 17 Jun 2014 » BDDs in OCaml (1)
• 12 May 2014 » Paper accepted for publication in JAR
• 21 Apr 2014 » Paper accepted for publication at ITP 2014
• 13 Mar 2014 » Leaving Inria