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.
Ursula RöthlisbergerU. Röthlisberger was born in Solothurn (Switzerland). In 1988 she made her diploma in Physical Chemistry in the group of Prof. Ernst Schumacher at the University of Berne (Switzerland). Her Ph.D. thesis was done in collaboration with Dr. Wanda Andreoni at the IBM Zurich Research Laboratory in Rüschlikon. After finishing her Ph.D in 1991 she spent some time as a postdoctoral research assistant at the IBM Research Lab. From 1992-1995 she was a postdoctoral research assistant in the group of Prof. Michael L. Klein at the University of Pennsylvania in Philadelphia (USA). In 1994 she was awarded an advanced researcher fellowship (Profil 2) from the Swiss National Science Foundation. Before starting her Profile 2-fellowship she spent another year as postdoctoral research assistant in the group of Prof. Michele Parrinello at the Max-Planck-Institute for Solid State Physics in Stuttgart, Germany. In 1996 she moved as Profile 2-fellow to the ETH in Zurich, hosted by the group of Prof. Wilfred F. van Gunsteren. In 1997 she became Assistant Professor of Computer-Aided Inorganic Chemistry at the ETH Zurich.
Daniel MangeDaniel Mange received the M.S. and Ph.D. degrees from the Swiss Federal Institute of Technology in Lausanne, Switzerland. Since 1969, he has been a Professor at the Swiss Federal Institute of Technology. He held a position as Visiting Professor at the Center for Reliable Computing, Stanford University, Stanford, CA, in 1987. Dr. Mange is director of the Logic Systems Laboratory and his chief interests include firmware theory (equivalence and transformation between hardwired systems and programs), cellular automata, artificial life, and embryonics (embryonic electronics). He has authored and co-authored several scientific papers in these areas, as well as the books "Microprogrammed Systems: An Introduction to Firmware Theory" (London: Chapman & Hall, 1992) and "Bio-Inspired Computing Machines" (Lausanne: Presses polytechniques et universitaires romandes, 1998). Dr. Mange was Program Co-Chairman of the First International Conference on Evolvable Systems: From Biology to Hardware (ICES96), held in Tsukuba, Japan, General Chairman of the Second International Conference on Evolvable Systems: From Biology to Hardware (ICES98), held in Lausanne in September 1998, General Chairman of the 5th International Workshop on Information Processing in Cells and Tissues (IPCAT 2003), held in Lausanne in September 2003, and general Co-Chairman of the 1st International Workshop on Biologically Inspired Approaches to Advanced Information Theory (Bio-ADIT 2004), held in Lausanne in January 2004.
Alain WegmannAlain Wegmann joined EPFL in 1996. His interests are in techniques to better align business and IT. He developed, with his group and partners, the SEAM methods: SEAM for business (strategic thinking), SEAM for enterprise architecture (business/IT alignment) and SEAM for software (IT). The originality of SEAM is in the integration of generic systems thinking principles into discipline-specific methods. This integration has three benefits: (1) the possibility to relate the different disciplines (by having common systemic principles); (2) the capability to leverage on discipline-specific knowledge (by using the vocabulary and the heuristics of each discipline) and (3) to be more efficient in solving problems (by benefiting from the problem solving techniques developed in systems thinking). SEAM is currently applied in master courses and consulting. Consulting is done for start-ups developing their business and technology strategies and for large companies having service-oriented architecture projects.
Prior to joining EPFL, Alain Wegmann worked for 14 years with Logitech in software development/engineering management (Switzerland, Taiwan, US), manufacturing (Taiwan) and marketing (US). When he left Logitech, Alain Wegmann was engineering vice-president and marketing director for large accounts.
