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
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
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.
Yves MartinEnseignement et PhD A co-dirigé les thèses EPFL de Francesco Piras, Jonathan Rossel Cours Fusion and industrial plasma technologies PHYS-632 The course provides an overview of the technologies that are essential for fusion developments and for industrial plasma applications, highlighting the synergies between the two fields. The aim is to provide a combined theoretical and experimental background to the various topics.
Dimitri RacordonExpertise
Programming language design, type systems, memory safety
I got my Ph.D. in computer science at the University of Geneva, Switzerland. I worked on model checking and developed efficient data structures to generate and explore large state spaces. SI then studied logics and type systems while trying to find new ways to teach computer science.I have always loved coding, but quickly realized I'm not so good at writing correct programs. So I thought I'd better write clever compilers to do it for me. Eve
Matthieu Alexandre BovelExpertise
PhD student, I am currently exploring support for logically qualified types support in Scala 3.Co-supervised by Viktor KunÄak and Martin Odersky.
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
Albert RenkenEnseignement et PhD A dirigé les thèses EPFL de Serge Maeder, Jacques Membrez, Stéphane Porchet, Philippe Menoud, Brigitta Frank, Harvey Randall, Wolfgang Zimmerer, Frédéric Van Vyve, Serge Golay, Jianzhong Yang, Stéphane Dubuis, Philippe Warnery, Anders Nattorp, Christian Spühler, Laurent Cavin, Miriam Lorenzi, Bastien Monnerat, André Rouge, Olivier Wolfrath, Peter Stahl, Ralf Maurer, Konrad Geissler, Volker Höller, Benoît Louis, Pierre Reuse, Fabio Rainone, Eric Joannet, Chrystèle Horny A co-dirigé les th
Touradj EbrahimiTouradj EBRAHIMI received his M.Sc. and Ph.D., both in Electrical Engineering, from the Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, in 1989 and 1992 respectively. In 1993, he was a research engineer at the Corporate Research Laboratories of Sony Corporation in Tokyo, where he conducted research on advanced video compression techniques for storage applications. In 1994, he served as a research consultant at AT&T Bell Laboratories working on very low bitrate video coding. He is currently Professor at EPFL heading its Multimedia Signal Processing Group. He is also the Convenor of JPEG standardization Committee. He was also adjunct Professor with the Center of Quantifiable Quality of Service at Norwegian University of Science and Technology (NTNU)between 2008 and 2012.
Prof. Ebrahimi has been the recipient of various distinctions and awards, such as the IEEE and Swiss national ASE award, the SNF-PROFILE grant for advanced researchers, Four ISO-Certificates for key contributions to MPEG-4 and JPEG 2000, and the best paper award of IEEE Trans. on Consumer Electronics . He became a Fellow of the international society for optical engineering (SPIE) in 2003. Prof. Ebrahimi has initiated more than two dozen National, European and International cooperation projects with leading companies and research institutes around the world. He is a co-founder of Genista SA, a high-tech start-up company in the field of multimedia quality metrics. In 2002, he founded Emitall SA, start-up active in the area of media security and surveillance. In 2005, he founded EMITALL Surveillance SA, a start-up active in the field of privacy and protection. He is or has been associate Editor with various IEEE, SPIE, and EURASIP journals, such as IEEE Signal Processing Magazine, IEEE Trans. on Image Processing, IEEE Trans. on Multimedia, EURASIP Image Communication Journal, EURASIP Journal of Applied Signal Processing, SPIE Optical Engineering Magazine. Prof. Ebrahimi is a member of Scientific Advisory Board of various start-up and established companies in the general field of Information Technology. He has served as Scientific Expert and Evaluator for Research Funding Agencies such as those of European Commission, The Greek Ministry of Development, The Austrian National Foundation for Scientific Research, The Portuguese Science Foundation, as well as a number of Venture Capital Companies active in the field of Information Technologies and Communication Systems. His research interests include still, moving, and 3D image processing and coding, visual information security (rights protection, watermarking, authentication, data integrity, steganography), new media, and human computer interfaces (smart vision, brain computer interface).
He is the author or the co-author of more than 200 research publications, and holds 14 patents. Prof. Ebrahimi is a member of IEEE, SPIE, ACM and IS&T.
See the URL below for more details:
http://mmspl.epfl.ch Yves PerriardYves Perriard was born in Lausanne in 1965. He received the M. Sc. in Microengineering from the Swiss Federal Institute of Technology - Lausanne (EPFL) in 1989 and the Ph D. degree in 1992. Co-founder of Micro-Beam SA, he was CEO of this company involved in high precision electric drive. Senior lecturer from 1998 and professor since 2003, he is currently director of Laboratory of Integrated Actuators. His research interests are in the field of new actuator design and associated electronic devices. In 2009, he is appointed Vice-Director of the Microengineering Institute in Neuchâtel until 2011. In 2013 the Federal Council has named him the the CTI commission in Bern. In 2014 he is appointed guest professor at Zhejiang University in China. In 2017, the lab is granted by the Werner Siemens Foundation of an amount of 12 millions CHF in order to set up a new Center for Artificial Muscules. Since 2018, he is Expert with Innosuisse, the new Swiss Innovation Agency. http://scholar.google.com/citations?hl=fr&user=V2onuO8AAAAJ https://actu.epfl.ch/news/a-12-million-franc-donation-to-create-a-center-for/ Henry MarkramEnseignement et PhD Doctorant·es actuel·les Davide Bella A dirigé les thèses EPFL de Tania Rinaldi, Jean-Vincent Le Bé, Michele Pignatelli, Thomas Berger, Luca Gambazzi, Rodrigo de Campos Perin, Imad Riachi, Muhammad Asif Jan, Rajnish Ranjan, Srikanth Ramaswamy, Georges Khazen, Vincent Delattre, Mônica Favre, Shruti Muralidhar, Michael Reimann, Jean Pierre Ghobril, Renaud Luc Richardet, Marwan Abdellah, Willem Wybo, Csaba Erö, Lida Kanari, Giuseppe Chindemi, Berat Denizdurduran, Max Nolte, Taylor Howard N
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.
Olivier SauterEnseignement et PhD Doctorant·es actuel·les Cassandre Ekta Contré, Antonia Frank, Peizheng Zhang, Jean-Pierre Thomas Svantner, Cristina Venturini, Cosmas Quirin Lorenz Heiss, Daniel Perales Rios, Viacheslav Bochkarev, Jan Jakub Frybes, Paul Véronique Guillaume Devianne A dirigé les thèses EPFL de Clemente Angioni, Petri Nikkola, Alberto Bottino, Andrei Martynov, Emiliano Fable, Costanza Zucca, Federico Felici, Dávid Wágner, Doohyun Kim, Anna Teplukhina, Mengdi Kong, Francesco Carpanese, Simon Van Mulders,
Jean-Michel SalleseEnseignement et PhD Doctorant·es actuel·les Marta Macaluso A dirigé les thèses EPFL de Luca Gautero, Fengda Sun, Frédéric Zanella, Lucian Barbut, Farzan Jazaeri, Camillo Stefanucci, Jacopo Bronuzzi, Georgi Gorine, Chiara Rossi, Viros Sriskaran, Arnout Devos, Gennaro Termo A co-dirigé les thèses EPFL de Louis Harik, Fabrizio Lo Conte, Maria-Alexandra Paun, Anurag Mangla, Pranav Vivek Kulkarni Cours Electronique EE-280 Présentation des principaux composants de base de l'électronique.Analyse
Hubert GiraultEducation: 1979 - Engineering diploma from Grenoble Institute of Technology. FRANCE. 1982 - PhD- Department of Chemistry, University of Southampton. Thesis entitled : Interfacial studies using drop image processing techniques. Positions : 1982 - 1984 SERC Research Fellow. University of Southampton. 1984 - 1985 CNRS Research Fellow. University of Southampton. 1985 - 1992 Lecturer in Physical Chemistry, University of Edinburgh. 1992 - Professor of Physical Chemistry, Ecole Polytechnique Fédérale de Lausanne. 2011 - 2014 Dean of Bachelor and Master studies Hubert Girault is the author of 2 textbooks, the co-author of about 600 scientific publications with more than 20'000 citations and the co-inventor of more than 15 patents. During his academic career, he has supervised 70 PhD students. 30 alumni of his laboratory are now Professors. Honours: Faraday medal 2006, Royal Society of Chemistry, Fellow of the International Society of Electrochemistry 2007, Reilley Award 2015. Fellow of the Electrochemical Society (USA), Shikata International medal, Polarography Society of Japan. Associate editor of Chemical Science
