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.
Anders MeibomAnders Meibom obtained his PhD in physics from the University of Southern Denmark in 1997. This was followed by two and a half years of PostDoc work at the Hawaii Institute for Geophysics and Planetology, where he conducted mineralogical studies of primitive chondritic meteorites. From 2000 to 2005, he was Research Associate in the Geological & Environmental Sciences, Stanford University, where he represented Stanford in the USGS-Stanford ion microprobe laboratory. In 2005, he became proifessor at the Muséum National dHistoire Naturelle in Paris. From 2006 to 2011 he was the director of the French national NanoSIMS laboratory. Since January 2012, he is professor at the EPFL in the School of Architecture, Civil and Environmental Engineering (ENAC). From April 2014, he is professor ad personam at the Institute of Earth Sciences, University of Lausanne.
Wulfram GerstnerWulfram Gerstner is Director of the Laboratory of Computational Neuroscience LCN at the EPFL. His research in computational neuroscience concentrates on models of spiking neurons and spike-timing dependent plasticity, on the problem of neuronal coding in single neurons and populations, as well as on the link between biologically plausible learning rules and behavioral manifestations of learning. He teaches courses for Physicists, Computer Scientists, Mathematicians, and Life Scientists at the EPFL. After studies of Physics in Tübingen and at the Ludwig-Maximilians-University Munich (Master 1989), Wulfram Gerstner spent a year as a visiting researcher in Berkeley. He received his PhD in theoretical physics from the Technical University Munich in 1993 with a thesis on associative memory and dynamics in networks of spiking neurons. After short postdoctoral stays at Brandeis University and the Technical University of Munich, he joined the EPFL in 1996 as assistant professor. Promoted to Associate Professor with tenure in February 2001, he is since August 2006 a full professor with double appointment in the School of Computer and Communication Sciences and the School of Life Sciences. Wulfram Gerstner has been invited speaker at numerous international conferences and workshops. He has served on the editorial board of the Journal of Neuroscience, Network: Computation in Neural Systems', Journal of Computational Neuroscience', and `Science'.
Patrick JermannAfter studies in Geneva (TECFA) and Pittsburgh (LRDC) I joined EPFL in 2003 to coordinate eLearning projects and conduct research in the field of Computer Supported Collaborative Learning (CSCL). Starting 2013 I am responsible for MOOCs production at the Center for Digital Education (CEDE).Former Associate Editor for the IEEE Transactions on Learning Technologies and former Member of the Editorial Board for the International Journal of Computer Supported Collaborative Learning (iJCSCL). Specialties: Interaction analysis, research methods, statistical methods, prototyping, software development, pedagogical design.
Dieter DietzDieter Dietz has been educated at the Swiss Federal Institute of Technology in Zurich and has studied at the Cooper Union in New York City with Diller/Scofidio. He has received his degree in architecture in 1991 at ETH Zurich. He has worked with Diane Lewis Architects in New York and with Herzog & de Meuron in Basel. With partner architect Urs Egg he was a founding member of UNDEND Architecture in Zurich in 1997, an architectural practice with award winning entries in national and international competitions. Currently he is building up dieterdietz.org, a firm engaging in projects in urban design, media and architecture. From 1996 to 1999 Dieter Dietz has taught as Junior Faculty with Professor Marc Angélil at ETH Zurich. Since 2006 Dieter Dietz is Associate Professor for Architectural Design at EPFL in Lausanne and director of the ALICE laboratory in the ENAC faculty. He collaborates with the ALICE team on research projects at diverse scales with labs inside and outside EPFL. His teaching activities include the direction of the first year architectural design course as well as projects at master and thesis level.
