Regular biography
Thomas Bourgeat is a Tenure Track Assistant Professor in the Department of Computer Science at École Polytechnique Fédérale de Lausanne. His research and teaching focus areas include computer security and privacy, as well as constructive computer architecture. He is affiliated with multiple departments, including VCA, SIN, SSC, and EDIC, where he teaches courses such as Computer Security and Privacy (COM-301) and Constructive Computer Architecture (CS-629). His contact information is thomas.bourgeat@epfl.ch, and his profile page can be accessed at https://people.epfl.ch/thomas.bourgeat.
Scholar-generated biography
Thomas Bourgeat is a researcher in Computer Architecture, Programming Languages, and Interactive Theorem Proving. His work focuses on secure and efficient hardware design, including secure enclaves, quantitative security analysis, and side-channel mitigation. He explores hardware accelerators for graph mining and robot dynamics, emphasizing composable building blocks and performance interfaces. Bourgeat also contributes to high-level hardware languages and formal verification techniques, such as RTL verification and microarchitectural modeling for security evaluation. His research integrates theoretical foundations with practical implementations, aiming to enhance both the security and performance of modern computing systems.