Thomas Bourgeat


Assistant Professor at EPFL (Starting May 2023),
I completed my PhD at MIT advised by Arvind (CSG) and Adam Chlipala (PLV)
32 Vassar Street 32-G836, Cambridge MA, 02139 USA
Email: bthom@csail.mit.edu

My research is between computer architecture and programming languages.
I work on leveraging high-level hardware programming languages to design hardware. I am especially interested in leveraging those hardware programming languages to ease verification, which is typically a significant part of the development effort.
Especially, I often try to use theorem proving to state and prove the properties of different architectures.
In the past, I worked on domain-specific hardware accelerators and I studied various unintended security consequences of modern microarchitectural features in our out-of-order processor (see our riscy-OOO project).
I am actively recruiting PhD students and postdocs. If you are a prospective PhD student interested in this kind of research, please apply.

CV as of 03/2021.

Selected publications

Other publications