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.
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
Jeremy Luterbacher
- Masters degree in Chemical Engineering obtained in 2007 at the Swiss Federal Institute of Technology, Lausanne (EPFL) (enrolled fall 2005, currently in 3rd semester). Relevant courses: Advanced Separation Processes, Advanced Chemical Reaction Engineering, Process Development and Polymer Chemistry and Macromolecular Engineering. - Bachelors degree in Chemistry and Chemical Engineering obtained in 2005 at the Swiss Federal Institute of Technology, Lausanne (EPFL). Relevant courses: Transport phenomena, Separation processes, Process command, Applied Energetics, Chemical Reaction Engineering, Chemical Kinetics, Quantum chemistry and Thermodynamics. - High school Maturity completed at the Nyon High School, 2002 (major subjects: biology-chemistry, advanced math, and Latin). Maturity essay completed 12-2001 with distinction - Secondary School certificate obtained in 1999 at the Gland secondary School, Latin-Greek section
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.
Christian HeinisEnseignement et PhD Doctorant·es actuel·les Thomas Julien Denis Emel, Alessandro Scapozza, Nathan Moïse De Sadeleer, Florian Handel, Hugo André Clerc, Frédéric Brantschen, Grégoire Menoud, Ines Michrafy, Jonathan Schmitt, Laura Elena Massaad A dirigé les thèses EPFL de Jeremy Touati, Shiyu Chen, Sophie Venet-Bonnot, Lisa Pollaro, Inmaculada Rentero Rebollo, Philippe Diderich, Charlotte Urech-Varenne, Silvia Bellotto, Davide Bertoldo, Alessandro Zorzi, Camille Villequey, Jonas Alfred Karl Wilbs, Grigory Ka
Christian Ludwig2005 - today: Adjunct Professor at EPFL in the field of Solid Waste Treatment and head of the Chemical Processes and Materials research group (CPM) at Paul Scherrer Institute (PSI). Joint EPFL-PSI Professorship on Solid Waste Treatment. 2000 - today: Head, Group of Chemical Processes and Materials (CPM) at Paul Scherrer Institut (PSI). In 2009 the LEM unit was closed and the CPM group is now affiliated to the Bioenergy and Catalysis Laboratory (LBK) of the Energy and Environment Research Division (ENE). Since June 2002 permanent position ("tenure"). 1997 - 1999: Senior Scientist. Paul Scherrer Institut (PSI), General Energy Research Department, Element Cycles Section. 1995 - 1997: Research Fellow. Swiss Federal Institute for Environmental Science and Technology (EAWAG), Department of Resource and Waste Management. 1993 - 1995: Post-doc Fellow. University of California Davis, Department of Land, Air, and Water Resources (LAWR). 1990 - 1993: PhD Student. University of Berne, Department of Inorganic, Analytical, and Physical Chemistry. 1989 - 1990: Master Student. University of Berne, Department of Inorganic, Analytical, and Physical Chemistry.
Arnaud MagrezEducation
PhD., Materials Science, summa cum laude, Université de Nantes, 2002
M.S., Chemistry, Université des Sciences et Technologies de Lille, 1999
Academic positions
Head of the Crystal Growth Facility, EPFL, 2012-present
Research Associate, Laboratoire de Physique de la Matière Complexe, EPFL, 2003-2012
Research Fellow, Peter Grunberg Institute, FZ-Juelich, 2002-2003
Administrative positions at EPFL
Scientific staff member, EPFL Assembly, 2015-present
Scientific staff member, School Council SB, 2014-present
Member of the IPHYS office 2016-present
Member of the ICMP office 2012-2015
Member of the safety committee of ICMP 2010-2015
Afficher plus