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


13 years 20 weeks