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 Angela SteinauerSince October 2022: Head of the Laboratory of Biomolecular Engineering and Nanomedicine (LIBN), EPFL (Switzerland)2019-2021: MSCA Postdoctoral Fellow at ETHZ (Switzerland) 2018: Ph.D. in Chemical Biology from Yale University (USA) 2007-2012: B.Sc. & M.Sc. in Chemistry from University of Zurich (Switzerland)
Enseignement et PhD Doctorant·es actuel·les Diogo Miguel De Abreu Viegas, Georges Barnikol, Oliver Dennis, Andrea Elizabeth Melgar Aguilar, Paula Oeser, Manutsawee Thanaburakorn Cours Chemical Biolog
Robert WestRobert West is a tenure-track assistant professor of computer science at EPFL, where he heads the Data Science Lab. In his research, he develops and applies techniques in machine learning, computational social science, natural language processing, social network analysis, and data mining. Bob also collaborates closely with the Wikimedia Foundation, in his role as a Wikimedia Research Fellow. Bob’s work has won several awards, including best/outstanding paper awards at ICWSM’21, ICWSM’19, and WWW’13, a best-paper runner-up award at WWW’16, a Google Faculty Research Award, a Facebook Research Award, a Hewlett-Packard Graduate Fellowship, and a Facebook Graduate Fellowship. He is actively involved in the research community, e.g., as an Associate Editor of ICWSM and EPJ Data Science and as a co-founder of the Wiki Workshop (held at WWW and ICWSM) and the Applied Machine Learning Days. Bob received his PhD in Computer Science from Stanford University, his MSc from McGill University, Canada, and his undergraduate degree from Technische Universität München, Germany.[Last updated: 25 Aug 2021]
Hervé BourlardEnseignement et PhD A dirigé les thèses EPFL de Astrid Hagen, Katrin Weber, Todd Stephenson, Jitendra Ajmera, Shajith Ikbal, Mathew Magimai Doss, Mohamed Faouzi Benzeghiba, Mark Barnard, Yann Rodriguez, Hemant Misra, Christos Dimitrakakis, Guillaume Lathoud, Alexei Pozdnoukhov, Agnès Just, Mikaela Keller, Norman Hoon Thian Poh, Dong Zhang, Florent Monay Michaud, Pedro Manuel Da Silva Quelhas, Kevin Smith, Silèye Oumar Ba, Bertrand Mesot, Hamed Ketabdar, David Grangier, Guillermo Aradilla, Jean-François Paie
Karen ScrivenerDe nationalité anglaise, Karen Scrivener est née en 1958. Au cours de sa carrière, ses travaux et sa recherche traitaient des domaines suivants: Identification du développement microstucturale pendant l'hydratation du ciment. Elaboration d'une approche multitechnique pour étudier la microstucture des ciments et bétons, avec accent sur la quantification par analyse des images d'électrons retrodiffusés. Caractérisation de l'auréole de transition de la pâte de ciment autour des granulats. Compréhension des processus de dégardation des bétons, en particulier le gonflement lié à la formation de l'éttringite retardée dans les bétons étuvés.
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
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
Manuel Guizar SicairosEnseignement et PhD Doctorant·es actuel·les Aknur Karabay, Pengju Sheng, Wenxuan Fang Cours Physical Optics and Advanced Imaging PHYS-715
