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.
Francesco StellacciFrancesco Stellacci graduated in Materials Engineering at the Politecnico di Milano in 1998 with a thesis on photochromic polymers with Prof. Giuseppe Zerbi and Mariacarla Gallazzi. In 1999 he moved to the Chemistry Department of the University of Arizona for as a post-doc in the group of Joe Perry in close collaboration with the group of Seth Marder. In 2002 he moved to the Department of Materials Science and Engineering at the Massachusetts Institute of Technology as an assistant professor. He was then promoted to associate without (2006) and with tenure (2009). In 2010 he moved to the Institute of Materials at EPFL as a full Professor. He holds the Alcan EP Chair. Francesco was one of the recipients of the Technology Review TR35 "35 Innovator under 35" award in 2005, and the Popular Science Magazine "Brilliant 10" award in 2007. He has been a Packard Fellow starting 2005.
Berend SmitBerend Smit received an MSc in Chemical Engineering in 1987 and an MSc in Physics both from the Technical University in Delft (the Netherlands). He received in 1990 cum laude PhD in Chemistry from Utrecht University (the Netherlands). He was a (senior) Research Physicists at Shell Research from 1988-1997, Professor of Computational Chemistry at the University of Amsterdam (the Netherlands) 1997-2007.
In 2004 Berend Smit was elected Director of the European Center of Atomic and Molecular Computations (CECAM) Lyon France. Since 2007 he is Professor of Chemical Engineering and Chemistry at U.C. Berkeley and Faculty Chemist at Materials Sciences Division, Lawrence Berkeley National Laboratory. Since 2014 he has been director of the Energy Center at EPFL.
