Simon GuilloudExpertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as probabilistic proofs, type theory, quantum computing and more.
Expertise
My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as
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.
Giovanni De MicheliExpertise
Design technologies for integrated systems on silicon, such as synthesis, hw/sw codesign and low-power design, as well as systems on heterogeneous platforms including electrical and biological components.
Scientific Director of EcoCloud Center at EPFL
Directing activities towards creating sustainable computation including AI.Designing energy-savvy data centers and edge devices.
More information
Please read http://si2.epfl.ch/~demichel/
Giovanni De Micheli is a research scientist in electronics and 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.
Fabrizio CarboneBirth 20/04/1976
Master degree: University of Pavia "optoelectronic engineering". September 2001.
Reasearch scientist at Pirelli Labs, Milan Italy between September 2000 and August 2002.
PhD in condensed matter physics from the University of Geneva, prof. van der Marel gorup. January 2007
Post doc in physical chemistry at Caltech in prof. Zewail`s group. March 2007-April 2009
Philippe ThalmannPhilippe Thalmann was born in Lausanne in 1963. He graduated in Economics from the University of Lausanne in 1984, where he earned a postgraduate diploma in Economics in 1986. Mr. Thalmann entered the doctoral program in Economics of Harvard University (Cambridge, U.S.A.) in 1986, which he completed with a Ph.D. in 1990. His dissertation is entitled: "Essays in the Economics of Government Revenues and Spending". Returning to Switzerland, he was hired as an assistant professor first at the University of Geneva (teachings in Public Economics), then at the University of Lausanne (teachings in Econometrics and Introductory Economics). Since 1994, Mr. Thalmann is associate professor of Economics as the Swiss Federal Institute of Technology at Lausanne.
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.
Florian Frédéric Vincent BreiderFlorian Breider obtained his PhD in the field of the stable isotope biogeochemistry from the University of Neuchatel in 2013. This was followed by seven months of postdoc at EPFL in the Atmospheric Particles Research Laboratory and two years as research associate at Tokyo Institute of Technology (Japan) where he conducted studies on nitrous oxide biogeochemistry in oceans. From 2015 to 2018, he was research scientist in the Laboratory for Water Quality and Treatment at EPFL where he conducted research on disinfection by-products and antibiotic resistant bacteria. Since May 2018, he is director of the Central Environmental Laboratory at the Institute of Environmental Engineering of EPFL.
Mika Tapani GöösWebsite
https://theory.epfl.ch/mika/
Teaching & PhD PhD Students Valentin Imbach, Ziyi Guan, Artur Riazanov, Anastasiia Sofronova, Weiqiang Yuan Past EPFL PhD Students Maystre Gilbert Théodore Courses Computational complexity CS-524 In computational complexity we study the computational resources needed to solve problems and understand the relation between different types of computation. This course advances the students knowledge of computational complexity, and develop an understanding o 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.
Elisa OricchioExpertise
Cancer geneticsMouse modelsTherapyStem cellsLymphoma
Teaching & PhD PhD Students Vamsi Krishna Polavarapu, Asli Ece Kasapoglu, Konstantina Georgakopoulou, Eleni Balli Past EPFL PhD Students Maria Christine Donaldson, Elena Battistello, Daniel Pereira Duarte, Frédérica Schyrr, Ruxandra-Andreea Lambuta, Aaron Simone Petruzzella, Jixing Zhong, Justine Epiney Courses Cancer biology I BIO-471 The course covers in detail molecular mechanisms of cancer development with emphasis on cell
Simon Nessim HeneinBorn in 1973 and of Egyptian-Swiss nationality, Simon Henein grew up in Cairo. He obtained an engineering degree at the Ecole Polytechnique Fédérale de Lausanne (EPFL) in 1996 and went on to complete his doctorate at the EPFL in 2000. In 2001, he published the book “Conception des guidages flexibles” which has become a reference in precision engineering. He then joined the Centre Suisse d’Electronique et Microtechnique (CSEM), Neuchatel, Switzerland, where he conceived and developed mechanisms for robotic, aerospace, medical and watchmaking applications. He pursued his research career at the Paul Scherrer Institute, Villigen, Switzerland, where he developed instruments for the Swiss Light Source Synchrotron (SLS). Since November 1st, 2012, he is associate professor in microengineering at the EPFL, holder of the Patek Philippe Chair and director of the Micromechanical and horological design laboratory (Instant-Lab).
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.
Devis TuiaI come from Ticino and studied in Lausanne, between UNIL and EPFL. After my PhD at UNIL in remote sensing, I was postdoc in Valencia (Spain), Boulder (CO) and EPFL, working on model adaptation and prior knowledge integration in machine learning. In 2014 I became Research Assistant Professor at University of Zurich, where I started the 'multimodal remote sensing' group. In 2017, I joined Wageningen University (NL), where I was professor of the GeoInformation Science and Remote Sensing Laboratory. Since 2020, I joined EPFL Valais, to start the ECEO lab, working at the interface between Earth observation, machine learning and environmental sciences.
Paolo IennePaolo Ienne has been a Professor at the EPFL since 2000 and heads the Processor Architecture Laboratory (LAP). Prior to that, he worked for the Semiconductors Group of Siemens AG, Munich, Germany (which later became Infineon Technologies AG) where he was at the head of the Embedded Memories unit in the Design Libraries division. His research interests include various aspects of computer and processor architecture, FPGAs and reconfigurable computing, electronic design automation, and computer arithmetic. Ienne was a recipient of Best Paper Awards at the 20th, 24th, and 28th ACM/SIGDA International Symposia on Field-Programmable Gate Arrays (FPGA), in 2012, 2016 and 2020, at the 19th and 30th International Conference on Field-Programmable Logic and Applications (FPL), in 2009 and 2020, at the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES), in 2007, and at the 40th Design Automation Conference (DAC), in 2003; many other papers have been candidates to Best Paper Awards in prestigious venues. He has served as general, programme, and topic chair of renown international conferences, including organizing in Lausanne the 26th International Conference on Field-Programmable Logic and Applications (FPL) in 2016. He serves on the steering committee of the IEEE Symposium on Computer Arithmetic (ARITH) and of the International Conference on Field-Programmable Logic and Applications (FPL). Ienne has guest edited a number of special issues and special sections on various topics for IEEE and ACM journals. He is regularly member of program committees of international workshops and conferences in the areas of design automation, computer architecture, embedded systems, compilers, FPGAs, and asynchronous design. He has been an associate editor of ACM Transactions on Architecture and Code Optimization (TACO), since 2015, of ACM Computing Surveys (CSUR), since 2014, and of ACM Transactions on Design Automation of Electronic Systems (TODAES) from 2011 to 2016.
Volkan CevherVolkan Cevher received the B.Sc. (valedictorian) in electrical engineering from Bilkent University in Ankara, Turkey, in 1999 and the Ph.D. in electrical and computer engineering from the Georgia Institute of Technology in Atlanta, GA in 2005. He was a Research Scientist with the University of Maryland, College Park from 2006-2007 and also with Rice University in Houston, TX, from 2008-2009. Currently, he is an Associate Professor at the Swiss Federal Institute of Technology Lausanne and a Faculty Fellow in the Electrical and Computer Engineering Department at Rice University. His research interests include machine learning, signal processing theory, optimization theory and methods, and information theory. Dr. Cevher is an ELLIS fellow and was the recipient of the Google Faculty Research award in 2018, the IEEE Signal Processing Society Best Paper Award in 2016, a Best Paper Award at CAMSAP in 2015, a Best Paper Award at SPARS in 2009, and an ERC CG in 2016 as well as an ERC StG in 2011.
