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.
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.
Michael Christoph GastparMichael Gastpar is a (full) Professor at EPFL. From 2003 to 2011, he was a professor at the University of California at Berkeley, earning his tenure in 2008. He received his Dipl. El.-Ing. degree from ETH Zürich, Switzerland, in 1997 and his MS degree from the University of Illinois at Urbana-Champaign, IL, USA, in 1999. He defended his doctoral thesis at EPFL on Santa Claus day, 2002. He was also a (full) Professor at Delft University of Technology, The Netherlands. His research interests are in network information theory and related coding and signal processing techniques, with applications to sensor networks and neuroscience. He is a Fellow of the IEEE. He is the co-recipient of the 2013 Communications Society & Information Theory Society Joint Paper Award. He was an Information Theory Society Distinguished Lecturer (2009-2011). He won an ERC Starting Grant in 2010, an Okawa Foundation Research Grant in 2008, an NSF CAREER award in 2004, and the 2002 EPFL Best Thesis Award. He has served as an Associate Editor for Shannon Theory for the IEEE Transactions on Information Theory (2008-11), and as Technical Program Committee Co-Chair for the 2010 International Symposium on Information Theory, Austin, TX.
Riccardo RattazziEnseignement et PhD Doctorant·es actuel·les Filippo Nardi, Javier Reig Navarro, Ian Ishaan Le Meur, Vincenzo Vittorio Pulvirenti A dirigé les thèses EPFL de Jan Dalibor Mrazek, Alessandro Vichi, Duccio Pappadopulo, Andrea Thamm, Lorenzo Vitale, Davide Greco, Bernardo Zan, Kin Mimouni, Gabriel Francisco Cuomo, Gil Badel, Alfredo Glioti, Eren Clément Firat Cours Quantum field theory I PHYS-431 Ce cours est une introduction à la théorie des champs quantiques relativistes comme cadre théorique
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
Marco MattavelliEnseignement et PhD A dirigé les thèses EPFL de Christophe Clerc, Ruohua Zhou, Beilu Shao, Christophe Lucarz, Richard Thavot, Ab Al Hadi Bin Ab Rahman, Endri Bezati, Simone Casale Brunet, Malgorzata Michalska, Ana Angelica Hernandez Lopez, Aurélien Bloch, Mustafa Besirli, Ünsal Öztürk A co-dirigé les thèses EPFL de Sylvain Aguirre Cours Systems and architectures for signal processing EE-555 Etude des composants essentiels eessentiels et des technologies des systèmes de traitements des signau
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.
Esther AmstadEnseignement et PhD Doctorant·es actuel·les Reece Carolann Whatmore, Marc Elies Grädel, François Raphaël Rivat, Rocio Garcia Montero, Robin Michel Studer, Brian David Ridenour, Harsha Koganti, Zoubeir Saraw, Louisa Rinaldi, Greta Cocchi, Gaia Dupont A dirigé les thèses EPFL de Antoine Claude Jean Vian, Huachuan Du, Gianluca Etienne, Mathias Steinacher, Efe Armagan, Alvaro Lino Boris Charlet, Michael David Kessler, Aysu Ceren Okur, Matteo Hirsch, Chuen-Ru Li, Pauline Camille Charlotte Pradal, Gaia De Angel
