معرفی
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.
Thomas Bourgeat در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- TThomas BourgeatSwiss Federal Institute of Technology in Lausanne · استادیار
Mengjia YanMassachusetts Institute of Technology · دانشیار
Jonathan Ragan-KelleyMassachusetts Institute of Technology · استادیار- CClément Pit-ClaudelIMDEA Software Institute · استادیار
- CClément Pit-ClaudelMax Planck Institute for Security and Privacy · استادیار
- CClément Pit-ClaudelNational and Kapodistrian University of Athens · استادیار