Jürg Alexander SchiffmannAfter obtaining his diploma in mechanical engineering from EPFL in 1999 he co-founded a start-up company dedicated to the design of gas bearing supported rotors. In 2005 he joined Fischer Engineering Solutions where he led the development of small-scale, gas bearing supported high-speed turbomachinery for fuel cell air supplies and for domestic scale heat pumps. In parallel he worked on his PhD, which he obtained from EPFL in 2008 and for which he was awarded the SwissElectric Research Award. He then joined the Gas Turbine Lab at MIT as a postdoctoral associate where he worked on foil bearings and on the experimental investigation of radial diffusers. In 2013 he was nominated assistant professor at the Ecole Polytechnique Fédérale de Lausanne where he founds the Laboratory for Applied Mechanical Design. His current research interest are in gas lubricated bearings, in aerodynamics of small-scale compressors and turbines and in automated design and optimization methodologies.
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.
