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
Francesco StellacciFrancesco Stellacci graduated in Materials Engineering at the Politecnico di Milano in 1998 with a thesis on photochromic polymers with Prof. Giuseppe Zerbi and Mariacarla Gallazzi. In 1999 he moved to the Chemistry Department of the University of Arizona for as a post-doc in the group of Joe Perry in close collaboration with the group of Seth Marder. In 2002 he moved to the Department of Materials Science and Engineering at the Massachusetts Institute of Technology as an assistant professor. He was then promoted to associate without (2006) and with tenure (2009). In 2010 he moved to the Institute of Materials at EPFL as a full Professor. He holds the Alcan EP Chair. Francesco was one of the recipients of the Technology Review TR35 "35 Innovator under 35" award in 2005, and the Popular Science Magazine "Brilliant 10" award in 2007. He has been a Packard Fellow starting 2005.
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 Stewart ColeProfessor Stewart Cole is an international authority in bacterial molecular-genetics and genomics. He has made outstanding contributions in several fields including: bacterial anaerobic electron transport; genome analysis of retroviruses and papillomaviruses; antibiotic resistance mechanisms; and the molecular microbiology of toxigenic clostridia. His studies on isoniazid and multidrug resistance in Mycobacterium tuberculosis, together with his pioneering work on the pathogenicity, evolution and genomics of the tubercle and leprosy bacilli, have made him an undisputed leader in the field of mycobacterial research. The findings of his research are of direct relevance to public health and disease-control in both the developing world and the industrialised nations. He has published over 250 scientific papers and review articles, and holds many patents.
Suliana ManleyExpertise
Super-resolution fluorescence microscopy, single molecule imaging in cells, cellular biophysics, bacterial cell cycle
Enseignement et PhD Doctorant·es actuel·les Emine Berna Durmus, Santiago Nicolás Rodriguez Alvarez, Laila Elfeky, Alara Kiris, Hale-Seda Ivo Radoykova A dirigé les thèses EPFL de Julia Gunzenhäuser, Aleksandr Benke, Lina Carlini, Andrea Callegari, Aster Louis K Vanhecke, Anna Archetti, Dora Mahecic, Timo Henry René Rey, Julius Winter, Chen Zhang, Jenny Sülzle, Sheda Ben Nejma Cou
Martin JaggiMartin Jaggi is a Tenure Track Assistant Professor at EPFL, heading the Machine Learning and Optimization Laboratory. Before that, he was a post-doctoral researcher at ETH Zurich, at the Simons Institute in Berkeley, and at École Polytechnique in Paris. He has earned his PhD in Machine Learning and Optimization from ETH Zurich in 2011, and a MSc in Mathematics also from ETH Zurich.
Michael Jon MattleEnseignement et PhD Cours Applied wastewater engineering ENV-509 Ce cours aborde les aspects techniques et scientifiques permettant d'améliorer la qualité des eaux usées et de gérer les déchets et les émissions de gaz produits par les stations d'épuration.
Bryan Alexander FordEnseignement et PhD Doctorant·es actuel·les Shailesh Mishra A dirigé les thèses EPFL de Eleftherios Kokoris Kogias, Kirill Nikitin, Cristina Basescu, Enis Ceyhun Alp, Simone Colombo, Pasindu Nivanthaka Tennage, Louis-Henri Manuel Jakob Merino A co-dirigé les thèses EPFL de David Froelicher, Ludovic Barman, Georgia Fragkouli Cours Decentralized systems engineering CS-438 Un système est décentralisé lorsque son fonctionnement et sa sécurité ne dépendent d'aucune partie. Ce cours enseigne les
César PulgarinExpertise
Mechanistic study of Advanced Oxidation Processes AOPs (i.e. electrochemical, TiO2 photo-assisted, ultrasound, photo-Fenton) and their combinations for chemical and biological pollutants treatment in industrial and domestic wastewaterAction mode of solar light during inactivation of bacteria and virus in water and surfaces. Coupling of biological and AOP systems for industrial waste-waters treatmentDesign, preparation, chemical characterization, activity evaluation and mechanistic description of (
Didier TronoAprès des études de médecine à l’Université de Genève et une formation clinique en pathologie, médecine interne et maladies infectieuses à Genève et au Massachusetts General Hospital de Boston, Didier Trono s’engage dans une carrière scientifique au Whitehead Institute du MIT. En 1990, il est recruté par le Salk Institute de San Diego pour lancer un centre de recherche sur le SIDA. Il rentre en Europe sept ans plus tard, avant de prendre en 2004 les rênes de la toute nouvelle faculté des Sciences de la Vie de l’EPFL, dont il orchestre le développement et qu’il dirige jusqu’en 2012. Il participe aujourd’hui activement à la coordination des efforts de la Suisse en vue de l’intégration des nouvelles technologies dans le domaine de la médecine de précision et de la santé personnalisée.
Bastien MangeatEnseignement et PhD Cours Methods: omics in biomedical research BIOENG-519 Les méthodologies à haut débit, appelées "Omiques", permettent de caractériser la complexité et la dynamique de tout système biologique. Ce cours fournira une description générale des méthodes liées au domaine des "Omiques", suivie de rotations pratiques dans les plateformes participantes.
Kelvin Ka Ching LauExpertise
Protein expression Protein purification Protein-protein interactions X-ray crystallography Structural biology Biophysical techniques
Enseignement et PhD Cours Integrative structural biology for Life sciences BIO-643 Recombinant protein expression in animal cells for applications in medicine and structural biology BIO-701
Serge VaudenaySerge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.
