Linda MarchandEnseignement et PhD Cours Applied statistics MATH-516 Le cours présente un aperçu des défis quotidiens en statistique appliquée à travers des problèmes réels. Les étudiants vont utiliser les méthodes statistiques basiques et modernes, pour proposer des solutions reproductibles aux problèmes présentés. Bioinformatic Analysis of RNA-sequencing (Fall) BIO-693(a) Due to its success, this course will take place from 1st to 5th September 2025 in room AAC 0 20.It introduces the work
Christoph KochEnseignement et PhD Doctorant·es actuel·les Léonard Léchot, Zhekai Jiang, Hanbit Lee A dirigé les thèses EPFL de Immanuel Trummer, Aleksandar Vitorovic, Milos Nikolic, Daniel Lupei, Mohammed El Seidy, Ioannis Klonatos, Mohammad Dashti Rahmat Abadi, Amir Shaikhha, Lionel Parreaux, Sachin Basil John, Zilu Tian A co-dirigé les thèses EPFL de David Kozhaya Cours Making intelligent things A CS-358(a) Le cours vise à enseigner le prototypage d'artefacts physiques intelligents et à résoudre des d
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 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
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
Roland John TormeyI am a sociologist and learning scientist researching and teaching on engineering education. I'm particularly focused on the roles of emotion and self-regulation in engineering teaching and learning. My profile is accessible here.
Pierre DillenbourgAncien instituteur primaire, Pierre Dillenbourg obtient un master en Sciences de lEducation (Université de Mons, Belgique). Dans son projet de master en 1986, il est l'un des premiers au monde à appliquer les méthodes de 'machine learning' à l'éducation, afin de développer un 'self-improving teaching system'. Ceci lui permettra de débuter une thèse de doctorat en informatique à l'Université de Lancaster (UK) dans le domaine des applications éducatives de lintelligence artificielle. Il a été Maître dEnseignement et de Recherche à lUniversité de Genève. Il rejoint l'EPFL en 2012, où Il fut le directeur du Centre de Recherche sur l'Apprentissage, la formation et ses technologies(CRAFT), puis académique du Centre pour l'Education à l'Ere Digitale (CEDE) qui met en oeuvre la stratégie MOOC de l'EPFL (plus de 2 millions d'inscriptions). Il est actuellement professeur ordinaire en technologies de formation aux sein de la faculté Informatique et Communications et dirige laboratoire d'ergonomie éducative (CHILI). Depuis 2006, il a aussi été le directeur de DUAL-T, la 'leading house' dédiée aux technologies pour les systèmes de formation professionnelle duale. Il a fondé plusieurs start-ups dans l'éducation et rejoint plusieurs conseils d'administration. En 2017, Il a créé avec des collègues le 'Swiss EdTech Collider', un incubateur qui rassemble 80 start-ups dans le domaine des technologies éducatives. En 2018, ils ont lancé LEARN, le centre EPFL pour les sciences de l'apprentissage, lequel regroupe les initiatives locales en innovation éducative. Pierre est un 'inaugural fellow of the International Society of Learning Sciences'. Il est actuellement le Vice-Président Associé pour l'Education à l'EPFL.
Stéphane JoostPublications Publications- List of publications
Enseignement et PhD Doctorant·es actuel·les Marco André Vieira Ruas, Manon Laetitia Pribille, Martine Valérie Besse A dirigé les thèses EPFL de Estelle Rochat, Solange Catherine Gaillard, Oliver Michele Selmoni, Anaïs Ladoy, Annie Sandrine Guillaume A co-dirigé les thèses EPFL de Sylvie Stucki, Kevin Leempoel, Martí Bosch Padrós, Andrea Salmi Cours Border Forensics PENS-318 Le cours présentera aux étudiants différentes formes de violence liée
Denis GilletDenis Gillet received the Diploma in Electrical Engineering from the Swiss Federal Institute of Technology in Lausanne (EPFL) in 1988, and the Ph.D. degree in Information Systems also from the EPFL in 1995. During 1992 he was appointed as Research Fellow at the Information Systems Laboratory of Stanford University in the United States. He is currently Maître d'enseignement et de recherche at the EPFL School of Engineering, where he leads the React research group. His current research interests include Technologies Enhanced Learning (TEL), Human Computer Interaction (HCI), Human Devices Interaction (HDI) and Optimal Coordination of Complex and Distributed Systems. Denis Gillet is affiliated at EPFL with the Center for Intelligent Systems and the Center for Digital Education.
Sara BonellaEnseignement et PhD Doctorant·es actuel·les Edrick Solís González, Thibault Kläy, Paula Sierra i Varela, Federica Troni A dirigé les thèses EPFL de Jérémie Marc Bertrand, Taylor James Baird Cours Computational methods in molecular quantum mechanics CH-452 Le cours enseignerait les méthodes principales pour la simulation des propriétés quantique dependant du temps pour systèmes moléculaires. Les notions de base de density functional theory seront discutés. Effects quantiques nucleaires sero
John Martin KolinskiDr. Kolinski studied Applied Mathematics (Sc.M.) and Applied Physics (Ph.D.) at Harvard University, completing a PhD under the supervision of L. Mahadevan and Shmuel Rubinstein on the role of air in droplet impact. John did his post-doc at the Hebrew University of Jerusalem in Israel supported by the Fulbright post-doctoral fellowship. At HUJI, he worked on interfacial instabilities in soft matter in the labs of Eran Sharon and Jay Fineberg. John continues his research into interfacial mechanics at EPFL in EMSI, his newly founded laboratory for the study of Engineering Mechanics of Soft Interfaces.
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
