Dominique BonvinDominique Bonvin is Professor and Director of the Automatic Control Laboratory of EPFL. He received his Diploma in Chemical Engineering from ETH Zürich, and his Ph.D. degree from the University of California, Santa Barbara. He worked in the field of process control for the Sandoz Corporation in Basel and with the Systems Engineering Group of ETH Zürich. He joined the EPFL in 1989, where his current research interests include modeling, control and optimization of dynamic systems. He served as Director of the Automatic Control Laboratory for the periods 1993-97, 2003-2007 and again since 2012, Head of the Mechanical Engineering Department in 1995-97 and Dean of Bachelor and Master Studies at EPFL for the period 2004-2011.
Jan Sickmann HesthavenProf. Hesthaven received an M.Sc. in computational physics from the Technical University of Denmark (DTU) in August 1991. During the studies, the last 6 months of 1989 was spend at JET, the european fusion laboratory in Culham, UK. Following graduation, he was awarded a 3 year fellowship to begin work towards a Ph.D. at Riso National Laboratory in the Department of Optics and Fluid Dynamics. During the 3 years of study, the academic year of 1993-1994 was spend in the Division of Applied Mathematics at Brown University and three 3 months during the summer of 1994 in Department of Mathematics and Statistics at University of New Mexico. In August 1995, he recieved a Ph.D. in Numerical Analysis from the Institute of Mathematical Modelling (DTU). Following graduation in August 1995, he was awarded an NSF Postdoctoral Fellowship in Advanced Scientific Computing and was approinted Visiting Assistant Professor in the Division of Applied Mathematics at Brown University. In December of 1996, he was appointed consultant to the Institute of Computer Applications in Science and Engineering(ICASE) at NASA Langley Research Center (NASA LaRC). As of July 1999, he was appointed Assistant Professor of Applied Mathematics, in September 2000 he was awarded an Alfred P. Sloan Fellowship, as of July 2001 he was awarded a Manning Assistant Professorship, and in March 2002, he was awarded an NSF Career Award. In January 2003, he was promoted to Associate Professor of Applied Mathematics with tenure and in May 2004 he was awarded Philip J. Bray Award for Excellence in Teaching in the Sciences (the highest award given for teaching excellence in all sciences at Brown University). He was promoted to Professor of Applied Mathematics as of July 2005. From October 2006 to June 2013, he was the Founding Director of the Center for Computation and Visualization (CCV) at Brown University. As of October 2007, he holds the (honorary) title of Professor (Adjunct) at the Technical University of Denmark. In November 2009, he successfully defended his dr.techn thesis at the Technical University of Denmark and was rewarded the degree of Doctor Technices -- the highest academic distinction awarded based on ... substantial and lasting contributions that has helped to move the research area forward and penetrated into applications. As grant Co-PI he served from Aug 2010 to June 2013 as Deputy Director of the Institute of Computational and Experimental Research in Mathematics (ICERM), the newest NSF Mathematical Sciences Research Institute. After having spend his entire academic career at Brown University, Prof Hesthaven decided to pursue new challenges and joined the Mathematics Institute of Computational Science and Engineering (MATHICSE) at Ecole Polytechnique Fédérale de Lausanne (EPFL) in Switzerland in July 2013. In March 2014 he was elected SIAM Fellow for contributions to high-order methods for partial differential equations.
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.
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.
Mohammad Khaja NazeeruddinDr. Md. K. Nazeeruddin received M.Sc. and Ph. D. in inorganic chemistry from Osmania University, Hyderabad, India. He joined as a Lecturer in Deccan College of Engineering and Technology, Osmania University in 1986, and subsequently, moved to Central Salt and Marine Chemicals Research Institute, Bhavnagar, as a Research Associate. He was awarded the Government of Indias fellowship in 1987 for study abroad. After one year postdoctoral stay with Prof. Graetzel at Swiss federal institute of technology Lausanne (E P F L), he joined the same institute as a Senior Scientist. His current research focuses on Dye-sensitized solar cells, Hydrogen production, Light-emitting diodes and Chemical sensors. He has published more than 380 peer-reviewed papers, ten book chapters, and inventor of 40 patents. The high impact of his work has been recognized with invitations to speak at over 80 international conferences, including the MRS Fall (USA, 2006) and Spring 2011 Meetings, GORDON conference (2014), and has been nominated to the OLLA International Scientific Advisory Board. He appeared in the ISI listing of most cited chemists, and has more than 33'500 citations with an h-index of 89. He is teaching "Functional Materials" course at EPFL, and Korea University; directing, and managing several industrial, national, and European Union projects on Hydrogen energy, Photovoltaics (DSC), and Organic Light Emitting Diodes. He was awarded EPFL Excellence prize in 1998 and 2006, Brazilian FAPESP Fellowship in 1999, Japanese Government Science & Technology Agency Fellowship, in 1998, Government of India National Fellowship in 1987-1988. Recently he has been appointed as World Class University (WCU) professor by the Korea University, Jochiwon, Korea (http://dses.korea.ac.kr/eng/sub01_06_2.htm) and Adjunct Professor by the King Abdulaziz University, Jeddah, Saudi Arabia. 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
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
Claudia Rebeca Binder SignerNée à Montréal, Claudia R. Binder est d’origine canadienne, suisse et colombienne. Elle grandit entre la Suisse et la Colombie. Alumni de l’ETH de Zurich, elle y obtient un diplôme en biochimie et un doctorat en Sciences de l'environnement, de 1985 à 1996. Elle poursuit sa carrière avec un post doctorat à l'Université du Maryland, aux États-Unis, de 1996 à 1998, et travaille en qualité d’assistante-senior à l’ETH jusqu’en 2006, où elle se spécialise dans les systèmes humains-environnementaux. Elle est ensuite nommée Professeure assistante au Département de géographie de l'Université de Zurich, un poste qu’elle occupe jusqu’en 2009.
Elle obtient en 2009 le titre de Professeure ordinaire en Sciences systémiques à l’Université de Graz, en Autriche et rejoint en 2011 le Département de Géographie de l’Université de Munich, en Allemagne, en tant que Professeure ordinaire en relations humaines-environnementales. Elle intègre l’EPFL en mars 2016, où elle ouvre le Laboratoire de relations humaines-environnementales dans les systèmes urbains (HERUS), rattaché à la Chaire La Mobilière pour l’écologie urbaine et un mode de vie durable, au sein de la Faculté de l’environnement naturel, architectural et construit (ENAC).
Ses recherches portent sur l'analyse, la modélisation et l'évaluation de la transition des systèmes urbains vers la durabilité. Elle examine en particulier comment nous pouvons mieux comprendre la dynamique du métabolisme urbain, ce qui caractérise une ville durable et ce qui anime et entrave les processus de transformation. Elle explore ces sujets en combinant les domaines des sciences sociales, des sciences naturelles et de la science des données. Ses recherches portent sur l'alimentation, l'énergie, les modes de vie et les transports durables dans les systèmes urbains.
En Suisse, Binder a été nommé membre du Conseil de la recherche, Division des programmes du Fonds national suisse (FNS) en 2016 et fait partie du Comité directeur du Programme national de recherche 71 du FNS, "Gestion de la consommation d'énergie" et du Swiss Competence Centers for Energy Research (SCCER). Elle est également membre du comité directeur sur Sustainability Research des Académies suisses des sciences et des lettres. En 2019, elle a été élue membre du Conseil universitaire de l'Université de Munich (LMU).
A l’EPFL, Claudia R. Binder est la directrice académique du programme d’enseignement interdisciplinaire «Projeter Ensemble». Elle a été nommée membre de la Direction du Centre de l'énergie en 2018 et dirige depuis 2019 le groupe de travail sur la Stratégie énergétique et de durabilité de l’école.
Claudio BruschiniClaudio Bruschini holds an MSc in high energy physics from the University of Genova and a PhD in Applied Sciences from the Vrije Universiteit Brussel (VUB). He started his career with INFN (Italy, 1993), in the WA92 CERN collaboration (particle physics), and then moved to CERN as a Fellow in the European GP-MIMD2 project, attached to the NA48 collaboration (particle physics, parallel programming, 1994-1995). He then started his close collaboration with EPFL, first in the DeTeC (Demining Technology Center) project (sensors for landmine detection/humanitarian demining, 1996-1997). After DeTeC's end, he started the first of a series of fruitful collaborations with the Vrije Universiteit Brussel (VUB) on humanitarian demining related R&D (1998). This was followed by the EUDEM survey project (The European Union in Humanitarian Demining, 1998), the EUDEM2 three year EC sponsored support measure (www.eudem.info, 2001-2004), and the DELVE support action (www.delve.vub.ac.be, 2007). In parallel he started working within the EPFL's AQUA group (Advanced Quantum Architectures, Edoardo Charbon), on topics as diverse as ultrasonic sensors for in-air application, optical 3D and high speed 2D sensing, sensor networks, or tracking/motion capture systems, in particular for the preparation of research projects. This culminated in the European MEGAFRAME (www.megaframe.eu, FP6, 2006-2010, SPAD arrays and related in-pixel time stamping electronics in deep submicron CMOS technology) and SPADnet (www.spadnet.eu, FP7, 2010-2014, networked SPAD arrays for Positron Emission Tomography) projects, coordinated by EPFL-AQUA. As from 2009 he also worked with Dario Floreano on the management of the CURVACE Curved Artificial Compound Eyes FP7 project (www.curvace.org), coordinated by EPFL-LIS. He was also active with CHUV (Lausanne University Hospital) within EndoTOFPET-US (endoscopic PET) as well as on a CTI project devoted to the development of a new hand-held standalone tool for tracer-guided medical procedures. In 2014 he had also the pleasure of joining the EPFL ICLAB of Christian Enz during its ramp-up phase, collaborating on device related topics (SNF GigaRadMOST) and biomedical R&D (NanoTera WiseSkin). Claudio is now fully with EPFL’s Advanced Quantum Architecture (AQUA). He has also been active as independent scientific consultant, under the label CBR Scientific Consulting, on the preparation of (European) R&D project proposals and the execution of individual studies, and worked in 2006 for a local start-up as operations manager and R&D advisor.... but this is another story. An unauthorized early biography is available at http://lami.epfl.ch/team/claudiob/... Mathieu SalzmannI am a Senior Researcher at EPFL-CVLab, and, since May 2020, an Artificial Intelligence Engineer at ClearSpace (50%). Previously, I was a Senior Researcher and Research Leader in NICTA's computer vision research group. Prior to this, from Sept. 2010 to Jan 2012, I was a Research Assistant Professor at TTI-Chicago, and, from Feb. 2009 to Aug. 2010, a postdoctoral fellow at ICSI and EECS at UC Berkeley under the supervision of Prof. Trevor Darrell. I obtained my PhD in Jan. 2009 from EPFL under the supervision of Prof. Pascal Fua.
Jieping ZhuEnseignement et PhD Doctorant·es actuel·les Morgane Elodie Marie Delattre, Paul Jean Gri, Clément Paul Adrien Rols, Yun Hao Shawn Teh A dirigé les thèses EPFL de Jean-Baptiste Gualtierotti, Ala Bunescu, Thomas Buyck, Olivier Wagnières, Minh Tu Ha, Dylan Jean Robert Dagoneau, Antonin François Roland Clemenceau, Cyril Piemontesi, Nicolas David Gaeng, Mathias Mamboury, Raphaël Beltran, Balázs Budai, Teerawat Songsichan, Alexandre Julien Florent Leclair, Bastien Delayre, Rémi Julien Sylvain Andres, Dina Boyar
