Regular biography
Clément Pit-Claudel is a Tenure Track Assistant Professor in the Department of Computer Science at École Polytechnique Fédérale de Lausanne. His research focuses on interactive theorem proving, software construction, and related areas. He teaches courses such as Interactive Theorem Proving and Software Construction. His office is located in INN 316, EPFL, with contact details available via email and website. He supervises PhD students and is affiliated with the SYSTEMF lab.
Scholar-generated biography
Clément Pit-Claudel is a researcher at EPFL with expertise in programming languages, verification, compilers, hardware, and systems. His work focuses on the formal verification of software and hardware systems, including the development of proof assistants and tools for automated reasoning. He has contributed to the design of rule-based hardware languages, the synthesis of abstract data types, and the formalization of programming languages such as JavaScript. His research emphasizes correctness-by-construction, with applications in security, cloud computing, and system-software verification. Pit-Claudel's publications highlight the integration of proof automation, metaprogramming, and extensible compilation techniques to improve the reliability and performance of software and hardware systems.