Simon GuilloudExpertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
Expertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
Lesya ShchutskaEnseignement et PhD Doctorant·es actuel·les Elena De Santis, Yiyang Ding, Pierre Mayencourt, Spencer Collaviti, Raphaël van Laak, Zhibin Yang, Vasilisa Guliaeva, Anni Kauniskangas, Valerii Kholoimov A dirigé les thèses EPFL de Sara Celani, Serhii Cholak, Joanna Malgorzata Wanczyk, Mascellani Anna, Sonia Amina Bouchiba, Paul De Bryas Cours Particle physics II PHYS-416 Ce cours vise à familiariser les étudiants avec les principaux concepts de la physique des particules, en établissant un lie
Luis Miguel Garcia MartinEnseignement et PhD Cours Particle physics: the flavour frontiers PHYS-471 Ce cours présentera les aspects expérimentaux de la physique des saveurs, principalement dans le secteur des quarks mais aussi dans celui des leptons, et leur rôle dans le développement du modèle standard de la physique des particules. Projet de master en physique PHYS-599(b) L'étudiant·e réalise un projet de recherche en physique en relation directe avec les scientifiques d'un laboratoire ou en entre
Thomas MountfordD'origine britannique, né en 1961. Il a reçu la bourse présidentielle des jeunes investisseurs (Presidential Young Investigator Grant) en 1990 et le prix de la Fraternité Sloan (Sloan Fellowship) en 1991. Son travail montre que les valeurs critiques d'une classe large de de systèmes de particules proches sont égales à 1, et que, suite à plusieurs travaux sur la trajectoire du mouvement brownien, incluant une simulation numérique, le nombre d'îlots browniens en 2 dimensions tend vers l'infini quand leurs tailles tendent vers 0. Il reçoit le prix Rosenbaum en 1993 lui ouvrant ainsi les portes du Isaac Newton Institute à Cambridge. Il est également décoré par le prix Rollo Davidson en 1995 et nommé membre honoraire de l'Institute of Mathematical Statistics en 2001.
Assistant Profeseur de Mathematique a UCLA 1987- 1991
Associate Professeur de Mathematique a UCLA 1991-1993
Professeur de Mathematique a UCLA 1993-2001
Professeur Departement de mathématiques, EPFL dès 2001
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
Maria ColomboEnseignement et PhD Doctorant·es actuel·les Roberto Colombo, Antonio Tirotta, Carl Johan Peter Johansson, Giulia Mescolini A dirigé les thèses EPFL de Luigi De Rosa, Silja Noëmi Aline Haffter, Massimo Sorella Cours Analysis IV - Lebesgue measure, Fourier analysis MATH-205 Apprendre les bases de l'intégrale de Lebesgue et l'analyse de Fourier. Topics on the Euler and Navier-Stokes equations MATH-647
Michela BonomoMichela Bonomo is a doctoral candidate in the laboratory of Architecture, Criticism, History and Theory under the supervision of Christophe Van Gerrewey.Her doctoral research centres on the building typology and the ideology of the villa in Italy with particular focus on the Postwar period investigating concepts of privilege, domesticity, ecology and subject production.
Prior to joining EPFL Michela has been a practicing Architect since 2016, working mainly on high end and luxury residential projects at Foster and Partners and Herzog De Meuron (London) and as a freelance architect on interior refurbishments.
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
André AnjosExpertise
Recherche ReproductibleReconnaissance de FormesTraitement d'ImagesApprentissage AutomatiqueBiométrie
Enseignement et PhD Doctorant·es actuel·les Gökhan Özbulak
Stephan MorgenthalerEDUCATION
Ph.D., Statistics, Princeton University, Princeton, 1983
Diplôme, Mathématiques, Ecole polytechnique fédérale de Zurich, 1979
CARRIÈRE ACADEMIQUE
Professeur de statistique appliquée, EPFL, 1991-présent
Professeur extraordinaire, statistique appliquée, EPFL, 1988-1991
Professeur associé, statistique, Yale University, 1987-1988
Professeur assistant, statistique, Yale University, 1984-1987
Instructor, mathématiques, Massachusetts Institute of Technology, 1983-1984
Auke IjspeertAuke Ijspeert is a full professor at the EPFL, and head of the Biorobotics Laboratory (BioRob). He has a B.Sc./M.Sc. in physics from the EPFL (1995), and a PhD in artificial intelligence from the University of Edinburgh (1999). He carried out postdocs at IDSIA and EPFL, and at the University of Southern California (USC). He then became a research assistant professor at USC, and an external collaborator at ATR (Advanced Telecommunications Research institute) in Japan. In 2002, he came back to the EPFL as an SNF assistant professor. He was promoted to associate professor in October 2009 and to full professor in April 2016. His primary affiliation is with the Institute of Bioengineering, and secondary affiliation with the Institute of Mechanical Engineering. His research interests are at the intersection between robotics, computational neuroscience, nonlinear dynamical systems, and machine learning. He is interested in using numerical simulations and robots to get a better understanding of sensorimotor coordination in animals, and in using inspiration from biology to design novel types of robots and adaptive controllers. (see for instance Ijspeert et al Science 2007, Ijspeert Science 2014, and Nyakatura et al Nature 2019). He is also investigating how to assist people with limited mobility using exoskeletons and assistive furniture. He is regularly invited to give talks on these topics (e.g. TED talk given at TED Global Geneva, Dec 8 2015). With his colleagues, he has received paper awards at ICRA2002, CLAWAR2005, IEEE Humanoids 2007, IEEE ROMAN 2014, CLAWAR 2015, SAB2018, and CLAWAR 2019. He is an IEEE Fellow, member of the Board of Reviewing Editors of Science magazine, and associate editor for the IEEE Transactions on Medical Robotics and Bionics and for the International Journal of Humanoid Robotics. He has acted as an associate editor for the IEEE Transactions on Robotics (2009-2013) and for Soft Robotics (2018-2021). He was a guest editor for the Proceedings of IEEE, IEEE Transactions on Biomedical Engineering, Autonomous Robots, IEEE Robotics and Automation Magazine, and Biological Cybernetics. He has been the organizer of 7 international conferences (BioADIT2004, SAB2004, AMAM2005, BioADIT2006, LATSIS2006, SSRR2016, AMAM2019), and a program committee member of over 50 conferences.
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.
Martin OderskyEnseignement et PhD Doctorant·es actuel·les Matthieu Bovel, Yaoyu Zhao, Anna Herlihy, Nguyên Cao Pham, Yichen Xu A dirigé les thèses EPFL de Julie Vachon, Matthias Zenger, Michel Schinz, Philippe Altherr, Vincent Cremet, Burak Emir, Stéphane Micheloud, Iulian Dragos, Philipp Haller, Gilles Dubochet, Tiark Rompf, Ingo Maier, Lukas Rytz, Aleksandar Prokopec, Heather Miller, Vlad Ureche, Nada Amin, Manohar Jonnalagedda, Hubert Plociniczak, Vojin Jovanovic, Sandro Stucki, Eugene Burmako, Dmytro Petrashko, Séb
Harm-Anton KlokExpertise
Polymer design at nanoscaleBiologically-inspired polymers
Enseignement et PhD Doctorant·es actuel·les Nicola Carrara, Berlind Vosberg, Maja Lopandic, Sneha Cheriyamparambil, Thanh Thi Hà Lê, Suqiu Jiang, Adam William Woodhouse, Kunita Numabe A dirigé les thèses EPFL de Stefano Tugulu, Markus Scholl, Harald Nuhn, Nadja Franz, Raphaël Barbey, Bojana Portmann, Maarten Danial, Dusko Paripovic, Sanhao Ji, Nicolas Bertrand Schüwer, Zuzana Kadlecova, Görçin Görkem Sahin Kurtuldu, Caroline Sugnaux, Sole
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.
Emre TelatarEnseignement et PhD Doctorant·es actuel·les Serhat Emre Coban, Adway Girish, Ryan Yuanqing Song A dirigé les thèses EPFL de Aslan Tchamkerten, Stéphane Musy, Sibi Raj Bhaskaran Pillai, Robert Konsbruck, Dinkar Vasudevan, Eren Sasoglu, Mohammad Karzand, Alla Merzakreeva, Mine Alsan, Marc Desgroseilliers, Mani Bastani Parizi, Rajai Nasser, Serj Haddad, Elie Najm, Yunus Inan, Reka Inovan, Pierre Quinton A co-dirigé les thèses EPFL de Prasenjit Dey, Etienne Perron, Ayfer Özgür Aydin Cours Information theory
David Atienza AlonsoDavid Atienza Alonso is an associate professor of EE and director of the Embedded Systems Laboratory (ESL) at EPFL, Switzerland. He received his MSc and PhD degrees in computer science and engineering from UCM, Spain, and IMEC, Belgium, in 2001 and 2005, respectively. His research interests include system-level design methodologies for multi-processor system-on-chip (MPSoC) servers and edge AI architectures. Dr. Atienza has co-authored more than 350 papers, one book, and 12 patents in these previous areas. He has also received several recognitions and award, among them, the ICCAD 10-Year Retrospective Most Influential Paper Award in 2020, Design Automation Conference (DAC) Under-40 Innovators Award in 2018, the IEEE TCCPS Mid-Career Award in 2018, an ERC Consolidator Grant in 2016, the IEEE CEDA Early Career Award in 2013, the ACM SIGDA Outstanding New Faculty Award in 2012, and a Faculty Award from Sun Labs at Oracle in 2011. He has also earned two best paper awards at the VLSI-SoC 2009 and CST-HPCS 2012 conference, and five best paper award nominations at the DAC 2013, DATE 2013, WEHA-HPCS 2010, ICCAD 2006, and DAC 2004 conferences. He serves or has served as associate editor of IEEE Trans. on Computers (TC), IEEE Design & Test of Computers (D&T), IEEE Trans. on CAD (T-CAD), IEEE Transactions on Sustainable Computing (T-SUSC), and Elsevier Integration. He was the Technical Program Chair of DATE 2015 and General Chair of DATE 2017. He served as President of IEEE CEDA in the period 2018-2019 and was GOLD member of the Board of Governors of IEEE CASS from 2010 to 2012. He is a Distinguished Member of ACM and an IEEE Fellow.
Anja FröhlichEnseignement et PhD A dirigé les thèses EPFL de Tiago André Pratas Borges
Emmanuel Pierre Jean RavaletExpertise
Etudes UrbainesEconomie des territoiresSociologiemobilités quotidiennességrégations urbainesAmérique Latine / Afrique de l'Ouest
Titulaire d'un doctorat en Economie des Transports de l'Université de Lyon et d'un PhD en Etudes Urbaines de l'INRS-UCS, Montréal, Emmanuel Ravalet est chercheur sénior au Laboratoire de Sociologie Urbaine (LaSUR), à l'Ecole Polytechnique Fédérale de Lausanne. Son travail de thèse a porté sur l'approche croisée de la ségrégation résidentielle et des comportements de mobi
