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
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.
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.
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
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
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 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.
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.
Eugen BrühwilerExpertise
structural and material engineering of existing civil structures in particular bridges of high cultural value; fatigue, dynamics and structural behaviour of bridges; Ultra-high performance fiber reinforced cementitious composites and composite UHPFRC - RC structures.
Expertise
structural and material engineering of existing civil structures in particular bridges of high cultural value; fatigue, dynamics and structural behaviour of bridges; Ultra-high performance fiber reinforced cementitious compo
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
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/ Ian SmithPhD Université de Cambridge, 1982 Interêts 1 Contrôle actif de la forme des structures pour améliorer leur aptitude au service et leur déploiement 2 Structures biomimétiques (apprentissage, auto-diagnostic, auto-réparation) 3 Gestion de l'infrastructure par l'identification structurale 4 Applications avancées de l'informatique Plus de détails, voir https://www.epfl.ch/labs/imac/fr/recherche/smith_ian_fr/ Sébastien MarcelEnseignement et PhD Doctorant·es actuel·les Parsa Rahimi Noshanagh A co-dirigé les thèses EPFL de Fabien Cardinaux, Yann Rodriguez, Agnès Just, Guillaume Heusch, Anindya Roy, Venkatesh Bala Subburaman, Cosmin Atanasoaei, Laurent El Shafey, Ivana Chingovska, Tiago De Freitas Pereira, Amir Mohammadi, Alexander Unnervik, Hatef Otroshi Shahreza
Giovanni De MicheliExpertise
Technologies de conception pour les systèmes intégrés, tels que la synthèse, le codesign de HW/SW et la conception de basse puissance. Technologies de conception des systèmes sur les plateformes hétérogènes comprenant les composants électriques, et biologiques.
En savoir plus
Consulter svp http://si2.epfl.ch/~demichel/
Enseignement et PhD A dirigé les thèses EPFL de Abhishek Garg, Mohamed Haykel Ben Jamaa, Francesco Zanini, Ciprian Seiculescu, Cristina Boero, Hu Xu, Andrea Cavallini, Shashi Kanth Paul Joseph DysonPaul Dyson rejoignit l’EPFL en 2002 à la tête du Laboratoire de chimie organométallique et médicinale de l’Institut des sciences et ingénierie chimiques, dont il en assuma ensuite la direction entre 2008 et 2016.
Le prof. Dyson a été récompensé par de nombreux prix dont le Prix Werner de la Société Suisse de Chimie en 2004, le Prix pour les réalisations exceptionnelles en chimie bio organométallique en 2010, la Médaille du Centenaire de la naissance de Luigi Sacconi (2011) de la Société Italienne de Chimie, le Prix de Chimie bio-inorganique de la Royal Society of Chemistry en 2015, le Prix européen pour une chimie durable de la Société Européenne de Chimie en 2018 et le Prix pour la chimie verte de la Royal Society of Chemistry en 2020.
Le prof. Dyson est également mentionné dans la liste établie par Clarivate des chercheurs les plus cités (Clarivate Highly Cited Researcher), avec un H-index >110 (Web of Science et Google Scholar). Paul Dyson a été élu membre de la Royal Société de Chimie en 2010, membre de l’Académie Européenne des Sciences en 2019 et membre à vie de l’Association Américaine pour l’Avancement de la Science en 2020. Au cours des dernières années il s’est vu décerner le titre de Professeurs Hôte par l’Université de Bourgogne, l’Université de Pierre et Marie Curie, l’Université de Vienne, l’Université de Rome Tor Vergara, l'Ecole Nationale Supérieure de chimie de Paris (Chimie ParisTech) et par l’Université de Shangai Jiao Tong.
De 2016 à 2021 il était membre du conseil de la recherche de la division de mathématique, sciences naturelles et de l’ingénieur du Fonds National Suisse. En 2021, il a été nommé doyen de la Faculté des Sciences de Base.
Marc GruberExpertise
- Entrepreneurship- Technology Commercialization- Innovation- Strategic Management- Public Policy
Please see entc.epfl.ch for an up-to-date CV
Enseignement et PhD Doctorant·es actuel·les Carolyn Marie Crichton, Angelina Frolova A dirigé les thèses EPFL de Jana Thiel, James David Thompson, Melvin Haas, Peter Vogel, Nettra Danette Pan, Shirah Eden Foy, Enrico Bergamini A co-dirigé les thèses EPFL de Jiayun Shen Cours Entrepreneurship & new venture strategy MGT-413 Un cours de base
