Simon GuilloudExpertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as probabilistic proofs, type theory, quantum computing and more.
Expertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as
Zsuzsanna Viktoria SzemerediTeaching & PhD Courses Critical thinking I HUM-425 This course will develop logical reasoning and argumentation skills to enable you to influence decision making. You will achieve this by learning how to represent and communicate your reasoning as arguments, and by continuously practicing logical reasoning and problem solving in teams. Critical thinking II HUM-484 Critical Thinking II (HUM 484) builds on concepts acquired in Critical Thinking I (HUM 425). Please read HUM
Viktor KuncakViktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.
Ian SmithPhD, Cambridge University, 1982 Interests 1 Active shape control for structures for deployment and where serviceability criteria governs 2 Biomimetic structures (learning, self-diagnosis, self-repair) 3 Infrastructure management support through structural identification 4 Advanced computer-aided engineering applications of stochastic optimization and search, multi-criteria analysis, system uncertainties (measurement and modelling), multi-modal approaches (combining statistics with behavior models) More details : see https://www.epfl.ch/labs/imac/research/iansmith/ Bernd DomerTeaching & PhD Courses Numerical representation / BIM CIVIL-307 The course covers building information modeling (BIM) for civil engineers.It integrates the topics of model exchange, collaborative work as well as project management and links them to the BIM methodology.Examples help to understand underlying concepts and to identify potential applications.
Henning Paul-Julius StahlbergMission
We use high-resolution cryo-electron microscopy to study neurodegeneration and other protein systems. We also develop novel imaging technology in the areas of electron microscopy hardware and applications, sample preparation, data collection schemes, and data analysis software systems. The Stahlberg group is supported by the University of Lausanne, Faculty of Medicine and Biology, and by the EPFL, Faculty of Basic Sciences, Physics Institute. The LBEM is a research laboratory of both UNIL and EPFL.
Antoine BosselutAntoine Bosselut is an assistant professor at EPFL. He leads the EPFL NLP group, which conducts research on natural language processing (NLP) systems that can model, represent, and reason about human and world knowledge.
Prior to joining EPFL, he was a postdoctoral researcher at Stanford University working in the
SNAP
and
NLP
groups and a young investigator on the
Mosaic
project at the
Allen Institute for AI
. He completed his PhD at the University of Washington.
Martin Alois RohrmeierTeaching & PhD PhD Students Joris Monnet, Marina Borsodi-Benson, Xinyi Guan, Xiaoxuan Wang, Zeng Ren Past EPFL PhD Students Fabian Claude Moss, Daniel Harasim, Christoph Finkensiep, Johannes Hentschel, Gabriele Cecchetti, Shuxin Meng Courses Digital musicology DH-401 This course will introduce students to the central topics in digital musicology and core theoretical approaches and methods. In the practical part, students will carry out a practical project. Musical theory and creativity
Jan SkaloudExpertise
Satellite positioning, inertial and integrated navigation Sensor orientation and calibration, attitude determination Mobile mapping, airborne laser scanning Adjustment methods, Kalman Filtering
Mission
Teaching in 3 EPFL sections and 2 faculties, director of ESO lab.
Books / Monographs J. Skaloud and M. Cramer, «Data Capture,» in GIS Handbook, W. Kresse and D. Danko, Eds. Springer, 2011. D. Lichti and J. Skaloud, «Registration and Calibration,» in Airborne and terrestrial laser scanning, H.-G. Ma
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
Mika Tapani GöösWebsite
https://theory.epfl.ch/mika/
Teaching & PhD PhD Students Valentin Imbach, Ziyi Guan, Artur Riazanov, Anastasiia Sofronova, Weiqiang Yuan Past EPFL PhD Students Maystre Gilbert Théodore Courses Computational complexity CS-524 In computational complexity we study the computational resources needed to solve problems and understand the relation between different types of computation. This course advances the students knowledge of computational complexity, and develop an understanding o Paul Joseph DysonPaul Dyson joined the Institute of Chemical Sciences and Engineering at the EPFL in 2002 where he heads the Laboratory of Organometallic and Medicinal Chemistry and between 2008 and 2016 chaired the Institute. He has won several prizes including the Werner Prize of the Swiss Chemical Society in 2004, the Award for Outstanding Achievements in Bioorganometallic Chemistry in 2010, the Centennial Luigi Sacconi Medal of the Italian Chemical Society in 2011, the Bioinorganic Chemistry Award of the Royal Society of Chemistry in 2015, the European Sustainable Chemistry Award of the European Chemical Society in 2018 and the Green Chemistry Award from the Royal Society of Chemistry in 2020. He is also a Clarivate Highly Cited Researcher and has an H-index >110 (web of science and google scholar). He was elected a Fellow of the Royal Society of Chemistry in 2010, a Fellow of the European Academy of Science in 2019 and a life-long fellow of the American Association for the Advancement of Science in 2020. Over the years he has held visiting professorships at the University of Bourgogne, University of Pierre et Marie Curie, University of Vienna, University of Rome Tor Vergara, Chimie Paristech and Shangai Jiao Tong University.Since 2016 he has been Member of the Council of the Division of Mathematics, Natural and Engineering Sciences at the Swiss National Science Foundation.Between 2016-2021 he has been Member of the Council of the Division of Mathematics, Natural and Engineering Sciences at the Swiss National Science Foundation. In 2021 he was appointed Dean of the Faculty of Basic Sciences.
Robert WestRobert West is a tenure-track assistant professor of computer science at EPFL, where he heads the Data Science Lab. In his research, he develops and applies techniques in machine learning, computational social science, natural language processing, social network analysis, and data mining. Bob also collaborates closely with the Wikimedia Foundation, in his role as a Wikimedia Research Fellow. Bob’s work has won several awards, including best/outstanding paper awards at ICWSM’21, ICWSM’19, and WWW’13, a best-paper runner-up award at WWW’16, a Google Faculty Research Award, a Facebook Research Award, a Hewlett-Packard Graduate Fellowship, and a Facebook Graduate Fellowship. He is actively involved in the research community, e.g., as an Associate Editor of ICWSM and EPJ Data Science and as a co-founder of the Wiki Workshop (held at WWW and ICWSM) and the Applied Machine Learning Days. Bob received his PhD in Computer Science from Stanford University, his MSc from McGill University, Canada, and his undergraduate degree from Technische Universität München, Germany.[Last updated: 25 Aug 2021]
Alessandro ChiesaAlessandro Chiesa is a faculty member in computer science. He conducts research in complexity theory, cryptography, and security, with a focus on the theoretical foundations and practical implementations of cryptographic proofs that are short and easy to verify. He is a co-author of several zkSNARK libraries, and is a co-inventor of the Zerocash protocol. He has co-founded Zcash and StarkWare Industries. He is a recipient of a Sloan Research Fellowship (2021), an Okawa Foundation Research Grant (2020), and Google Faculty Research Awards (2018 and 2017). He was included in MIT Technology Review's "35 Innovators Under 35" list in 2018.
