Thomas Bourgeat

Final year PhD candidate, CSAIL, MIT
advised by Arvind (CSG) and Adam Chlipala (PLV)
32 Vassar Street 32-G836, Cambridge MA, 02139 USA

My research is between computer architecture and programming languages.
I work on leveraging high-level hardware programming languages and formal methods to design hardware, that I can then formally prove is veryfing its specification.
I am interested in looking at domain-specifc hardware accelerators, and security-oriented properties to apply the methodology.

I am applying for faculty positions this year (2021-2022). CV as of 03/2021.

Selected publications

Other publications