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.
Rachid GuerraouiRachid Guerraoui has been affiliated with Ecole des Mines of Paris, the Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms.
He co-authored a book on Transactional Systems (Hermes) and a book on reliable distributed programming (Springer). He was appointed program chair of ECOOP 1999, ACM Middleware 2001, IEEE SRDS 2002, DISC 2004 and ACM PODC 2010.
His publications are available at http://lpdwww.epfl.ch/rachid/papers/generalPublis.html Marc TroyanovDoctorat en mathématiques à l'Université de Genève (1987) - Postdoc à Paris et Salt-Lake City, puis professeur assistant à l'UQAM (Montréal). Venu en 1993 à l'EPFL comme professeur assistant, nommé MER en 1999 puis professeur titulaire en 2005. Domaine de recherche : géométrie différentielle, analyse sur les variétés et sur les espaces métriques.
Jean-François MolinariProfessor J.F. Molinari is the director of the Computational Solid Mechanics Laboratory (http://lsms.epfl.ch) at EPFL, Switzerland. He holds an appointment in the Civil Engineering institute, which he directed from 2013 to 2017, and a joint appointment in the Materials Science institute. He started his tenure at EPFL in 2007, and was promoted to Full Professor in 2012. He is currently an elected member of the Research Council of the Swiss National Science Foundation in Division 2 (Mathematics, Natural and Engineering Sciences), and co editor in chief of the journal Mechanics of Materials. J.F. Molinari graduated from Caltech, USA, in 2001, with a M.S. and Ph.D. in Aeronautics. He held professorships in several countries besides Switzerland, including the United States with a position in Mechanical Engineering at the Johns Hopkins University (2000-2006), and France at Ecole Normale Supérieure Cachan in Mechanics (2005-2007), as well as a Teaching Associate position at the Ecole Polytechnique de Paris (2006-2009). The work conducted by Prof. Molinari and his collaborators takes place at the frontier between traditional disciplines and covers several length scales from atomistic to macroscopic scales. Over the years, Professor Molinari and his group have been developing novel multiscale approaches for a seamless coupling across scales. The activities of the laboratory span the domains of damage mechanics of materials and structures, nano- and microstructural mechanical properties, and tribology. Christos ComninellisChristos Comninellis, of Greek origin, born in 1945, received his Bachelor of Science in chemistry (distinction with honor) in 1970 from the University of Alexandria.
From 1971 to 1975, he worked as a chemist at the Institute of chemical engineering at the EPFL, where he achieved his PhD in technical sciences in 1979 for his research on the electrochemical fluorination of organic compounds in anhydrous hydrogen fluoride.
Appointed professor in 1996, he teaches at the Faculty of Basic Sciences (FSB) of the Swiss Federal Institute of Technology, Lausanne (EPFL)
Applied Chemistry.
Transport Phenomena.
Chemical and Electrochemical Technologies Related to the Environment.
Electrochemical Engineering.
He also holds a teaching position at the Haute Ecole Valaisanne Sion (HEVs).
His research work is focused on environmental electrochemistry, electrocatalysis, fuel cell and electrochemical promotion in catalysis. An applied research for the utilization of electrochemical techniques in industry for the protection of the environment is a constant concern within his activities. As a result, the collaboration with the industry enabled the development of oxidation processes with regeneration of the oxidant using a new type of bipolar electrochemical reactor.
Christos Comninellis has published over 170 scientific papers, directed 17 doctoral theses and holds 14 patents. He has participated in over 130 international symposia, giving five plenary lectures during the last five years. He has been president of the Evaluation Committee of the FSB since the beginning of 2004 and is member of the jury of the EPFL prize for outstanding PhD-thesis.
Olivier MartinOlivier J.F. Martin received the M.Sc. and Ph.D. degrees in physics in 1989 and 1994, respectively, from the Swiss Federal Institute of Technology, Lausanne (EPFL), Switzerland. In 1989, he joined IBM Zurich Research Laboratory, where he investigated thermal and optical properties of semiconductor laser diodes. Between 1994 and 1997 he was a research staff member at the Swiss Federal Institute of Technology, Zurich (ETHZ). In 1997 he received a Lecturer fellowship from the Swiss National Science Foundation (SNSF). During the period 1996-1999, he spent a year and a half in the U.S.A., as invited scientist at the University of California in San Diego (UCSD). In 2001 he received a Professorship grant from the SNSF and became Professor of Nano-Optics at the ETHZ. In 2003, he was appointed Professor of Nanophotonics and Optical Signal Processing at the Swiss Federal Institute of Technology, Lausanne (EPFL), where he is currently head of the Nanophotonics and Metrology Laboratory and Director of the Microengineering Section.
