Marco MattavelliTeaching & PhD Past EPFL PhD Students 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 Past EPFL PhD Students as codirector Sylvain Aguirre Courses Systems and architectures for signal processing EE-555 Study of the essential components and implementation technologies of digital signal processing and commu
Martin OderskyMartin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET.
Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.
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
Olivier MartinOlivier J.F. Martin received the M.Sc. and Ph.D. degrees in physics in 1989 and 1994, respectively, from the Swiss Federal Institute of Technology, Lausanne (EPFL), Switzerland. In 1989, he joined IBM Zurich Research Laboratory, where he investigated thermal and optical properties of semiconductor laser diodes. Between 1994 and 1997 he was a research staff member at the Swiss Federal Institute of Technology, Zurich (ETHZ). In 1997 he received a Lecturer fellowship from the Swiss National Science Foundation (SNSF). During the period 1996-1999, he spent a year and a half in the U.S.A., as invited scientist at the University of California in San Diego (UCSD). In 2001 he received a Professorship grant from the SNSF and became Professor of Nano-Optics at the ETHZ. In 2003, he was appointed Professor of Nanophotonics and Optical Signal Processing at the Swiss Federal Institute of Technology, Lausanne (EPFL), where he is currently head of the Nanophotonics and Metrology Laboratory and Director of the Microengineering Section.
Suliana ManleyFrom 2016 Associate professor, EPFL, Lausanne, Switzerland
2009-2016 Tenure-track assistant professor, EPFL, Lausanne, Switzerland
2006-2009 Post-Doctoral fellow, National Institutes of Health, Bethesda, MD, USA
2004-2006 Post-Doctoral fellow, Massachusetts Institute of Technology, Cambridge, MA, USA
1999-2004 PhD (Physics) Awarded 06/2004, Harvard University, Cambridge, MA, USA
1993-1997 Bachelors (Cum Laude) Physics & Mathematics, Rice University, Houston, TX, USA
Adélie Eliane GarinTeaching & PhD Courses Sustainability ENV-101 This course presents global sustainability issues. It introduces planetary boundaries, their systemic interconnections and social justice issues. The interdisciplinary approach introduces group work and systems thinking (interdependencies in a complex system). Sustainability in my research ENG-650 This course is designed to develop the necessary transversal skills to foster sustainability integration in the present and future rese
Babak FalsafiBabak is a Professor in the School of Computer and Communication Sciences and the founding director of the EcoCloud, an industrial/academic consortium at EPFL investigating scalable data-centric technologies. He has made numerous contributions to computer system design and evaluation including a scalable multiprocessor architecture which was prototyped by Sun Microsystems (now Oracle), snoop filters and memory streaming technologies that are incorporated into IBM BlueGene/P and Q and ARM cores, and computer system performance evaluation methodologies that have been in use by AMD, HP and Google PerKit . He has shown that hardware memory consistency models are neither necessary (in the 90's) nor sufficient (a decade later) to achieve high performance in multiprocessor systems. These results eventually led to fence speculation in modern microprocessors. His latest work on workload-optimized server processors laid the foundation for the first generation of Cavium ARM server CPUs, ThunderX. He is a recipient of an NSF CAREER award, IBM Faculty Partnership Awards, and an Alfred P. Sloan Research Fellowship. He is a fellow of IEEE and ACM.
Farhad Rachidi-HaeriFarhad Rachidi (IEEE Fellow, EMP Fellow, Electromagnetics Academy Fellow) was born in Geneva in 1962. He received the M.S. degree in electrical engineering and the Ph.D. degree from the Swiss Federal Institute of Technology, Lausanne, in 1986 and 1991 respectively.
He worked at the Power Systems Laboratory of the same institute until 1996 and had several short stays at the University of Florida and the NASA Kennedy Space Center. In 1997, he joined the Lightning Research Laboratory of the University of Toronto in Canada and from April 1998 until September 1999, he was with Montena EMC in Switzerland. He is currently a titular professor and the head of the EMC Laboratory at the Swiss Federal Institute of Technology, Lausanne, Switzerland.
His research interests concern electromagnetic compatibility, lightning electromagnetics and electromagnetic field interactions with transmission lines.
Dr. Rachidi is currently a member of the Advisory Board of the IEEE TRANSACTIONS ON ELECTROMAGNETIC COMPATIBILITY and the President of the Swiss National Committee of the International Union of Radio Science.
He has received numerous awards including the 2005 IEEE EMC Technical Achievement Award, the 2005 CIGRE Technical Committee Award, the 2006 Blondel Medal from the French Association of Electrical Engineering, Electronics, Information Technology and Communication (SEE), the 2016 Berger Award from the International Conference on Lightning Protection, the 2016 Best Paper Award of the IEEE Transactions on EMC, and the 2017 Motohisa Kanda Award for the most cited paper of the IEEE Transactions on EMC (2012-2016).
In 2014, he was conferred the title of Honorary Professor of the Xi’an Jiaotong University in China.
He served as the Vice-Chair of the European COST Action on the Physics of Lightning Flash and its Effects from 2005 to 2009, the Chairman of the 2008 European Electromagnetics International Symposium, the President of the International Conference on Lightning Protection from 2008 to 2014, the Editor-in-Chief of the Open Atmospheric Science Journal (2010-2012) and the Editor-in-Chief of the IEEE TRANSACTIONS ON ELECTROMAGNETIC COMPATIBILITY from 2013 to 2015. He is a Fellow of the IEEE and of the SUMMA Foundation, and a member of the Swiss Academy of Sciences.
He is the author or coauthor of over 200 scientific papers published in peer-reviewed journals and over 400 papers presented at international conferences.
