Simon HolzerHi, I am Simon Holzer. I received my B.Sc. and M.Sc. degrees in mechanical engineering with a focus on microtechnology from the Swiss Federal Institute of Technology Zurich (ETHZ) in 2020 and 2022, respectively. I am currently working towards Ph.D. in the Integrated Actuators Laboratory (LAI) at EPFL in Neuchâtel, Switzerland. My research interests lie in the field of soft robotics, artificial muscles, and biomechanics.
Aline ZanardiniEnseignement et PhD Cours Algebra V - Galois theory MATH-317 La théorie de Galois se situe à l'interface de la théorie des corps et de la théorie des groupes. Il vise à décrire les symétries algébriques des corps. Nous nous concentrerons sur la théorie de Galois pour les extensions de corps finis et certaines applications. Algebraic geometry I - Curves MATH-328 La géométrie algébrique est le langage commun à de nombreuses branches de la recherche moderne en mathématiques. Ce
Pablo FrancischelliEnseignement et PhD Cours Artistic practices: field studies, film practice I HUM-401 Ce cours, propose 2 options, en anglais et en français : 'Elsewhere Encounters' propose d'explorer différentes approches d'étude de terrain dans le monde artistique ; 'Réalisation' se penche sur les techniques cinématographiques et s'engage dans la réalisation d'un film court. Artistic practices: field studies, film practice II HUM-451 Ce cours, propose 2 options, en anglais et en français :
Florian Karl RichterCurriculum vitae You can download my CV here
ResearchResearch Fields Ergodic Theory, Combinatorics, Number TheoryList of Publications Open-access preprints and e-prints of all my publications are freely available on arXiv ↗ .An inverse theorem for sumsets of sets of positive density in the integersEthan Ackelsberg, Florian K. Richter submitted, 117 pageslink ↗Weighted averages of arithmetic functions and applications to equidistributionVitaly Bergelson, Michael Reilly, Florian K. Richter submitted, 29 page
Pasquale ScarlinoI obtained my master's degree in Physics at the University of Salento, Lecce (Italy) in February 2011. During 2006-2011, I have also been a student of Scuola Superiore ISUFI (SSI). SSI is one of six schools of excellence established in Italy to develop the intellectual capital in technological and social sciences. I conducted an external Master thesis project during an 8 months internship in the Quantum Transport Group at TU Delft, under the supervision of Prof. L.M.K. Vandersypen. There, I implemented the Quantum Point Contact Radio-Frequency Reflectometry technique, which allows increasing the single-shot electron spin readout bandwidth and is currently routinely used in the group.I obtained my Ph.D. degree in February 2016, in the Spin Qubits group of Prof. L.M.K. Vandersypen at the Kavli Institute of Nanoscience-Qutech (TU Delft). During my Ph.D. I have been leading the Si/SiGe spin qubits project, collaborating with the M. Eriksson Group at Wisconsin University. In parallel, I have been working on other different projects, in particular with GaAs depletion quantum dots, high impedance superconducting resonators, and surface acoustic wave resonators. I have been working as a Postdoc fellow in the group of Prof. A. Wallraff (Quantum Device Lab) at ETH Zurich. My main project, in collaboration with the group of Prof. K. Ensslin and Prof. T. Ihn, consisted in integrating semiconductor and superconductor technologies. Realizing a well-controlled interface between the semiconductor and superconductor-based quantum information technologies may allow harnessing the best of both device architectures, for example by providing an interface between strongly coupled charge state and high coherence spin states. Furthermore, it enables the possibility to explore light/matter hybridization in a class of solid-state systems and regimes that are new in the context of quantum optics.From June 2019 till September 2020, I have been a Senior Researcher at Microsoft Station Q Copenhagen and at the Center for Quantum Devices in Copenhagen, focusing on developing semiconductor-superconducting hybrid hardware for topologically protected quantum computation.Since October 2020, I am a tenure track Assistant Professor of Physics in the School of Basic Sciences at the EPFL where I founded the Hybrid Quantum Circuit (HQC) laboratory.
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
Charlotte GrossiordEnseignement et PhD Doctorant·es actuel·les Maxwell Zachary Wallace Bergström, Julie Anne Botzas-Coluni, Cross Jacob Heintzelman, Léo César Bernard Jacquat, Céline Joanna Sijlmans A dirigé les thèses EPFL de Eugénie Mas, Laura Mekarni, Janisse Deluigi, Thibaut Juillard Cours Applied ecology ENV-422 Le cours fournira les connaissances sur les systèmes écologiques nécessaires pour remettre en question les solutions appliquées en matière de durabilité. Nous allons évaluer de manière critique
Milena Maria SchuhmacherEnseignement et PhD Doctorant·es actuel·les Mélissa Ruiz, Gary Domeniconi, Linda Wedemann Cours Chemical Biology Seminar Series 1 CH-635 Chemical Biology Seminar Series 2 CH-636 Chemical Biology Seminar Series 3 CH-637 Practical - Schuhmacher Lab BIO-618
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,
Mika Tapani GöösEnseignement et PhD Doctorant·es actuel·les Valentin Imbach, Ziyi Guan, Artur Riazanov, Anastasiia Sofronova, Weiqiang Yuan A dirigé les thèses EPFL de Maystre Gilbert Théodore Cours Computational complexity CS-524 En théorie de la complexité, nous étudions les ressources nécessaires à résoudre des problèmes et les relations entre différents modèles de calcul.Ce cours donne une meilleure connaissance de la complexité informatique et aborde les questions ouvertes fondamentales.
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
Thomas Georges Pierre VidickEnseignement et PhD Doctorant·es actuel·les Itammar Steinberg, Aviv Taller Cours Formal Mathematics with Lean and AI CS-643 Introduction to quantum computation CS-308 Ce cours introduit le paradigme du calcul quantique de facon axiomatique. Le cours introduit les notions de bit quantique, portes logiques et circuits quantiques, traite les principaux algorithmes quantiques, et les codes correcteurs. Le cours est indépendant de COM-309. Introduction to quantum cryptography
Sankalp GambhirExpertise
My current research revolves around proof assistants and program verification. I often find myself distracted by related topics in verification, synthesis, and logic as well. I have briefly worked in quantum information theory as part of my bachelor's thesis before.I am currently working primarily on the LISA proof assistant, writing proofs, and thinking about programs. Always happy to chat about computer science, maths, or physics!
I am a doctoral assistant at EPFL working with Prof. Viktor KunÄ
Mathias Josef PayerMathias Payer is a security researcher and professor at the EPFL school of computer and communication sciences (IC), leading the HexHive group. His research focuses on protecting applications in the presence of vulnerabilities, with a focus on memory corruption and type violations. He is interested in software security, system security, binary exploitation, effective mitigations, fault isolation/privilege separation, strong sanitization, and software testing (fuzzing) using a combination of binary analysis and compiler-based techniques. More details are available in his CV.
Siang-Yun LeeSiang-Yun Lee is a Ph.D. student at the Integrated Systems Laboratory at EPFL, Switzerland led by Prof. Giovanni De Micheli.
She graduated from the Department of Electrical Engineering of National Taiwan University in 2019, where she worked with Prof. Jie-Hong Roland Jiang on threshold logic synthesis.
Her research interests include logic synthesis and computational neuroscience.
Tony Alan WoodTony A. Wood received a B.Sc. degree in Information Technology and Electrical Engineering in 2010 and an M.Sc. degree in Robotics, Systems and Control in 2013, both from ETH Zurich, Switzerland. In 2018 he completed a Ph.D. at the Automatic Control Laboratory of ETH Zurich. From 2018 to 2021, he was a Research Fellow in the Department of Electrical and Electronic Engineering at the University of Melbourne, Australia. He is currently a Scientist in the Systems Control and Multiagent Optimization Research Group (Sycamore) at École Polytechnique Fédérale de Lausanne (EPFL), Switzerland. His research interests lie in the fields of optimisation and automatic control with a particular focus on multi-agent systems. The specific topics he investigates include system identification, task allocation, path planning, model predictive control, delay compensation, and formal specification satisfaction for uncertain systems encountered in applications such as energy systems, smart buildings, biology, and robotics.
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
