Home » user account

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


14 years 46 weeks