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.
Athanasios NenesTeaching & PhD PhD Students Berkay Dönmez, Ernest Abboud Past EPFL PhD Students Paraskevi Georgakaki, Lucile Ricard Courses Atmospheric processes: from cloud to global scales ENV-407 The main objective is to present important atmospheric processes from the local to global scales. The course will start with cloud processes, continue to synoptic phenomena like extratropical cyclones and fronts, to finally cover numerical modeling at the regional and global scales. Introduction to environme
Alain NussbaumerExpertise
Metallic structuresStructural glassFatigue and fracture mechanicsAssessment of existing structuresUltra low cycle
Teaching & PhD Past EPFL PhD Students Luís Costa Borges, Claire Acevedo, Nariman Maddah, Farshid Zamiri Akhlaghi, Manuel Santarsiero, Luca D'Angelo, Cláudio Alexandre Pereira Baptista, Albano António Sousa, Jagoda Cupac, Ardalan Hosseini, Martin Garcia, Hossein Heydarinouri, Jian Zhan Past EPFL PhD Students as codirector Marina Rocha Courses Design of steel structures CIVIL-2
Lucia Baldi Unser01/2021 - present Deputy to the Associate VP for Research / Deputy to the Associate VP for Centers & Platforms, EPFL06/2017 - 12/2020 Deputy to the Dean, School of Basic Sciences, Ecole Polytechnique Fédérale de Lausanne ;01/2015 - 11/2017 Lecturer/Communication and outreach manager at the School of Life Sciences, EPFL04/1998 - 03/2015: Research and Teaching Associate/Lecturer, Laboratory of Cellular Biotechnology, School of Life Sciences; 01/1994 - 07/1997: Visiting Fellow, Laboratory of Immunoregulation, NIAID, NIH, Bethesda, Maryland, USA;1991 - 1994: Research Fellow, Laboratory of Pediatric Oncology, G. Gaslini Scientific Institute, Genova, Italy;1987 - 1990: Research Fellow, Clinical Immunology and Immunogenetics Dept., Nat. Inst. for Cancer Research, Genova, Italy.
Igor TomicTeaching & PhD PhD Students Jakov Oreb Courses Seismic engineering CIVIL-522 This course deals with the main aspects of seismic design and assessment of buildings including conceptual design. It covers different structural design and evaluation philosophies for new and existing reinforced concrete, steel and unreinforced masonry buildings. Stone masonry: Past, present, and future PENS-232 This course introduces students to the historical, structural, and environmental aspe
Tyler SummersTeaching & PhD Courses Dynamic programming and optimal control ENG-651 This course provides an introduction to stochastic optimal control and dynamic programming (DP), with a variety of engineeringapplications. The course focuses on the DP principle of optimality, and its utility in deriving and approximating solutions to an optimalcontrol problem.
Stephan MorgenthalerACADEMIC POSITIONS
Professor of Applied Statistics, EPFL, 1988-present
Associate Professor of Statistics, Yale University, 1987-1988
Assistant Professor of Statistics, Yale University, 1983-1987
Instructor of Mathematics, Massachusetts Institute of Technology, 1983-1984
