Clément Pit-ClaudelTeaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an
Geovani RizkExpertise
Distributed Machine Learning, Robustness, Safety, Optimization, Multi-Agent, Bandits in Graphs
I am a postdoctoral researcher at école Polytechnique Fédérale de Lausanne since 2022, where I work with Rachid Guerraoui on robustness of distributed machine learning algorithms. From 2018 to 2022, I completed my Ph.D. in computer science at Université Paris Dauphine-PSL on multi-agent bandits in graphs under the supervision of Yann Chevaleyre, Rida Laraki, Igor Colin, and Albert Thomas.Pre-prints Over
Virginia LangVirginia started in the medical research field as a Coordinator of Research at the Clinical Research Unit Kennedy Institute of Johns Hopkins Medical Center. She was responsible for the initiation, coordination, and management and/or analysis of research projects in the Clinical Research Unit. These projects were funded by various Federal Government Agencies. Subsequent to Johns Hopkins Medical Center, Virginia entered the field of Human Factors through the doctoral program at SUNY Binghamton. Virginia held a fellowship at the Aeromedical Research Laboratory of the United States Air Force at Wright-Patterson AFB, Dayton, Ohio and a fellowship at NASA. Her research dealt with cognitive factors that differentially affect the characteristics of visual displays. Applications of this research are directly related to various medical devices and software applications providing Medical Device Human Factors by HirLan clients with 30 years of Human Factors experience. In addition, Virginia has extensive experience in the areas of product design, Customer Centered Participatory Design processes, and product lifecycle management. She is also known in the Human Computer Interaction and Usability Communities for her innovative techniques for collecting and incorporating user/customer feedback throughout the product lifecycle. In July 2014, Virginia founded and established the HirLan Institute of Human Factors with labs in Carlsbad, California and a Consortium arrangement in London, UK. HirLan supports Top Ten pharma/medical device companies, as well as, start-ups with consulting and testing services. These services are in conjunction with their clients’ FDA 510(k) and CE mark applications. Virginia holds a PhD in Cognitive-Experimental Psychology from SUNY Binghamton, and a Master of Science (ABT) in Applied Technology, Systems Science from SUNY Binghamton.
Sayan BiswasExpertise
Decentralized Learning; Federated Learning; Ethical ML focusing on Privacy, Fairness, and Personalization; Location Privacy.
I am a Postdoctoral Researcher at the SaCS lab at EPFL. I completed my PhD in Computer Science from INRIA and école Polytechnique in France, under the supervision of Catuscia Palamidessi. Previously, I have been a Visiting Scholar at the School of Computing at Macquarie University in Sydney, Australia, collaborating with Annabelle McIiver and Natasha Fernandes, and at WMG, t
Ayatallah Ahmed Gamal Kamal ElakhrasExpertise
Dataflow ArchitectureHigh-Level Synthesis
Ayatallah is a Ph.D. student in the Processor Architecture Laboratory, advised by Professor Paolo Ienne. Between October 2023 and March 2024, she did an internship at AMD in the Research and Advanced Development team, under the supervision of Dr. Kristof Denolf. She received a B.Sc. degree in Computer Engineering from the American University in Cairo, Egypt in 2020 and started her Ph.D. in the same year.Her research interests include dataflow architecture,
Sanidhya KashyapSanidhya Kashyap is a systems researcher and an assistant professor at the EPFL School of Computer and Communication Sciences (IC). His research focuses on designing systems software that are performant and robust for heterogeneous hardware. He is broadly interested in the area of systems with a particular focus on operating systems, databases, concurrency, scheduling, networks, data analytics, and software testing (fuzzing).
Simon Elias BibriExpertise
• Sustainable cities• Smarter eco-cities• Sustainable smart cities• Artificial Intelligence of Things (AIoT) • Generative Artificial Intelligence of Things (GAIoT)• Foundation Models (FMs) • Quantum Generative Artificial Intelligence (QGAI)• Urban Digital Twins (UDTs)• Urban Brain (UB) • Smart Circular Metabolism• Urban planning and design• Environmental sustainability and climate resilience• Sustainable smart energy• Sustainable smart transportation• Sustainable smart waste and water management•
Lazar MilikicExpertise
LLMs (Large Language Models), NLP (Natural Language Processing), Automated Reasoning
Mission
My work focuses on developing robust methods for autoformalization and automated theorem proving using large language models. I aim to enhance the reasoning reliability of modern AI systems by reducing hallucinations, improving predictability, and integrating formal verification techniques and tools into LLM-based pipelines.
Before joining EDIC, I completed a Bachelor’s in Mathematics and Computer Science
Jovan KomatovicJovan Komatovic is a first year PhD student in Distributed Computing Laboratory (DCL) at School of Computer and Communication Sciences at EPFL.He obtained Bachelor's and Master's degree in computer science at School of Electrical Engineering, University of Belgrade.His research interests centre around theory and practice of highly secure distributed protocols.The current project Jovan is working on investigates the problem of accountable consensus algorithms.
Zhekai JiangFormation Docteur ès sciences | Informatique et communications 2024 – 2026 EPFL Baccalauréat en génie logiciel | Génie logiciel 2019 – 2024 McGill University Expériences professionnelles Stagiaire de recherche 2023–2023 Oracle LabsStagiaire de recherche 2022–2022 EPFL
Enseignement et PhDTeaching assistantship / mentorship EPFLCS-358 Making intelligent things – Printemps 2026, Automne 2025, Printemps 2025Université McGillMATH 133 Linear algebra and geometry – Autom
Nicolas BoumalEnseignement et PhD Doctorant·es actuel·les Andreea-Alexandra Musat A dirigé les thèses EPFL de Christopher Criscitiello, Quentin Rebjock Cours Algèbre linéaire MATH-111(e) L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications. Continuous optimization MATH-329 This course introduces students to continuous, nonlinear optimization. We study the theory of optimization with continuous variables (with full proofs), and we analyze and
Maryam KamgarpourEnseignement et PhD Doctorant·es actuel·les Giulio Salizzoni, Tingting Ni, Saurabh Dilip Vaishampayan, Andreas Schlaginhaufen, Kai Ren, Anna Maria Maddux, Gabriel Vallat, Philip Jordan, Yasaman Zolfimoselo, Daniele De Cecco, Gregorio Valenti A co-dirigé les thèses EPFL de Baiwei Guo Cours Foundations of artificial intelligence ME-390 Ce cours fournit aux étudiants la théorie de base pour comprendre l'approche de l'apprentissage automatique (machine learning), et les outils pour utiliser l'
