معرفی
Aurèle Barrière is a Lecturer at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the School of Computer and Communication Sciences (IC) and the Department of Computer Science (IINFCOM) through the Systems and Formalisms (SYSTEMF) laboratory. He also contributes to teaching within the EDIC-ENS doctoral program and the SIN-ENS theoretical computer science group.
His research focuses on formal methods, interactive theorem proving, and the Coq proof assistant, with broader interests in type theory, programming languages, automated reasoning, and verification techniques. These areas bridge theoretical computer science with practical applications in software correctness and logical frameworks.
Barrière actively participates in academic instruction, delivering courses on Interactive Theorem Proving and computational methods. His roles span research and teaching, reflecting a commitment to both theoretical exploration and student engagement.
Aurèle Barrière در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- CClément Pit-ClaudelSwiss Federal Institute of Technology in Lausanne · استادیار
Haitham Al HassaniehSwiss Federal Institute of Technology in Lausanne · دانشیار- RRomain EdelmannSwiss Federal Institute of Technology in Lausanne · مدرس
Alexandre PinazzaSwiss Federal Institute of Technology in Lausanne · عضو هیئت علمی- CClément Pit-ClaudelMax Planck Institute for Security and Privacy · استادیار
- CClément Pit-ClaudelIMDEA Software Institute · استادیار