Thomas Bourgeat
Assistant Professor · Computer Architecture
Massachusetts Institute of TechnologyAbout
Thomas Bourgeat is an Assistant Professor at EPFL, starting May 2023. He completed his PhD at MIT under the guidance of Arvind (CSG) and Adam Chlipala (PLV), focusing on the intersection of computer architecture and programming languages.
- PhD in Computer Science at MIT
His research focuses on leveraging high-level hardware programming languages to design and verify hardware, particularly through theorem proving. He also explores security implications of microarchitectural features and domain-specific accelerators.
Recent publications highlight trends in hardware security, domain-specific accelerators, and formal verification. His work includes projects like riscy-OOO and formal RISC-V specifications.
Thomas actively recruits PhD students and postdocs. Prospective applicants can find details at EPFL's EDIC program.
Find Thomas Bourgeat elsewhere
Related Searches
You Might Also Like
- TThomas BourgeatSwiss Federal Institute of Technology in Lausanne · Assistant Professor
Mengjia YanMassachusetts Institute of Technology · Associate Professor
Adam ChlipalaMassachusetts Institute of Technology · Professor- CClément Pit-ClaudelIMDEA Software Institute · Assistant Professor
Adam ChlipalaInria · Professor
Jonathan Ragan-KelleyMassachusetts Institute of Technology · Assistant Professor