Romain Edelmann

Romain Edelmann is a Lecturer at the College of Engineering (IC), affiliated with the Department of Computer Science (IINFCOM) at École Polytechnique Fédérale de Lausanne (EPFL). He is associated with the Automated Analysis and Reasoning Laboratory (LARA) and the EPFL IC-SIN SIN-ENS group, focusing on teaching and research in computational systems.

• Role: Lecturer
• Labs: LARA (Automated Analysis and Reasoning Laboratory), SIN-ENS
• Contact: romain.edelmann@epfl.ch | +41 21 693 12 24

His research interests span Computer Science, with emphasis on Automated Reasoning, Programming Languages, and Formal Methods for software verification. He contributes to academic programs like the Turing Course, Programming and Mazes.