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.
Alfio QuarteroniOf italian nationality, Alfio Quarteroni was born on May 30th 1952. He pursued his studies in mathematics at University of Pavia and at University of Paris VI. In 1986 he was nominated full professor at Catholic University of Brescia, later professor in mathematics at University of Minnesota at Minneapolis and professor in numerical analysis at Politecnico di Milano. He is designated full professor in 1997 and enters into service with EPFL in 1998. At EPFL, he teaches numerical analysis to engineers and mathematicians and holds specialized courses about mathematical modelling and scientific computing for master and PhD students. He had been scientific director of CRS4, plenary speaker of more than two hundred international conferences; he is member of the European Academy of Sciences, the Italian Academy of Sciences, the Lombard Academy of Science and Letters. He is Editor in Chief of two book series (MS&A and Unitext) by Springer, associate editor of 25 international journals. He has been plenary speaker at the International Congress of Mathematicians ICM2006. He had been responsible of several European research networks. His team has carried out the aerodynamic and hydrodynamic simulations for the optimization of Alinghi, the Swiss sailing yacht that has won two editions of the America's Cup in 2003 and 2007.