Thomas Braibant

Personal information


I defended my PhD in 2012, and I am now visiting Adam Chlipala's group at MIT, working on exciting subjects related to formal verification and hardware synthesis.

History


6 years 5 weeks