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

I do research in computer architecture with a special interest in side-channels attacks and defenses and other security-related problems.
I work on leveraging high-level hardware programming languages and formal methods to design principled and secure processors.
Beside my security-oriented work, I also design hardware accelerators.

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

Selected publications

Other publications