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 NenesEnseignement et PhD Doctorant·es actuel·les Berkay Dönmez, Ernest Abboud A dirigé les thèses EPFL de Paraskevi Georgakaki, Lucile Ricard Cours Atmospheric processes: from cloud to global scales ENV-407 L'objectif principal est de voir les processus atmosphériques les plus importants de l'échelle locale à l'échelle globale. Le cours démarrera avec les processus nuageux, continuera avec les phénomènes synoptiques comme les cyclones extratropicaux et fronts, pour finir par la modélisation num
Alain NussbaumerExpertise
Structures métalliquesVerre structuralFatigue et mécanique de la ruptureEvaluation de structures existantesRupture à faible nb de cycles
Mission
RECHERCHE: Responsable du domaine de recherche « fatigue et rupture des structures en acier ». Expert dans les domaines de la fatigue et rupture de structures en acier, aluminium et verre, sécurité et aptitude au service, ainsi que les éléments composés de plusieurs matériaux.Habilité à diriger des thèses de doctorat depuis 2005.ENSEIGNEMENT: Responsable
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, EPFL 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, USA1991 - 1994: Research Fellow, Laboratory of Pediatric Oncology, G. Gaslini Scientific Institute, Genova, Italy1987 - 1990: Research Fellow, Clinical Immunology and Immunogenetics Dept., Nat. Inst. for Cancer Research, Genova, Italy
Igor TomicEnseignement et PhD Doctorant·es actuel·les Jakov Oreb Cours Seismic engineering CIVIL-522 Ce cours traite des principaux aspects de la conception sismique et de l'évaluation des bâtiments, incluse la conception conceptuelle. Il couvre différentes philosophies de conception structurelle et d'évaluation pour les bâtiments nouveaux et existants béton armé, en acier et en maçonnerie non armé Stone masonry: Past, present, and future PENS-232 Ce cours présente les aspects histor
Tyler SummersEnseignement et PhD Cours Dynamic programming and optimal control ENG-651
Stephan MorgenthalerEDUCATION
Ph.D., Statistics, Princeton University, Princeton, 1983
Diplôme, Mathématiques, Ecole polytechnique fédérale de Zurich, 1979
CARRIÈRE ACADEMIQUE
Professeur de statistique appliquée, EPFL, 1991-présent
Professeur extraordinaire, statistique appliquée, EPFL, 1988-1991
Professeur associé, statistique, Yale University, 1987-1988
Professeur assistant, statistique, Yale University, 1984-1987
Instructor, mathématiques, Massachusetts Institute of Technology, 1983-1984
