Pascal FrossardTeaching & PhD PhD Students Yiming Qin, Alba Carballo Castro, Elisa Messori, Ke Wang, Sevda Ögüt, Tuna Alikasifoglu, William Cappelletti, Manuel Madeira, Mahdi Amiri, Ortal Yona Senouf, Vasiliki Rizou, Cem Bilaloglu, Abdellah Rahmani, Amel Abdelraheem, Jérémy Jean Philippe Baffou, Adam Hazimeh, Vincent Jung, Yike Zhao Past EPFL PhD Students Dan Jurca, Jean-Paul Wagner, Ivana Radulovic, Ivana Tosic, Effrosyni Kokiopoulou, Zafer Arican, Vijayaraghavan Thirumalai, Tamara Tosic, Eirina Bourtsoulatze, Elif Vur
Olivier SchneiderAfter his thesis defense in particle physics in 1989 at University of Lausanne, Olivier Schneider joins LBL, the Lawrence Berkeley Laboratory (California), to work on the CDF experiment at the Tevatron in Fermilab (Illinois), first as a research fellow supported by the Swiss National Science Foundation, and later as a post-doc at LBL. He participates in the construction and commissioning of the first silicon vertex detector to operate successfully at a hadron collider; this detector enabled the discovery of the sixth quark, named "top". Since 1994, he comes back to Europe and participates in the ALEPH experiment at CERN's Large Electron-Positron Collider, as CERN fellow and then as CERN scientific staff. He specializes in heavy flavour physics. In 1998, he becomes associate professor at University of Lausanne, then extraordinary professor at the Swiss Institute of Technology Lausanne (EPFL) in 2003, and finally full professor at EPFL in 2010. Having worked since 1997 on the preparation of the LHCb experiment at CERN's Large Hadron Collider, which started operation in 2009, he is now analyzing the first data. He also contributes since 2001 to the exploitation of the data recorded at the Belle experiment (KEK laboratory, Tsukuba, Japan). These two experiments study mainly the decays of hadrons containing a b quark, as well CP violation, i.e. the non-invariance under the symmetry between matter and antimatter.
Ronan BoulicI come from Brittany, France, where I have completed my PhD degree in Computer Science in 1986 from the University of Rennes, France, at the INRIA-IRISA research institute. I also received the Habilitation degree from the University of Grenoble, France, in march 1995. I was hired in 1989 as First Assistant in the VRLAB, I became scientific collaborator, and senior researcher. I'm presently Senior Scientist (MER) and leader of the Immersive Interaction research Group (IIG). I'm co-author of around 150 research papers among which 43 appeared in international peer-reviewed journals. I have contributed to multiple SNF projects and EU projects. Please check iig.epfl.ch for more details.
Bruno HerbelinSince 10/09 - Scientist Laboratory of cognitive neuroscience Brain & Mind Institute, École Polytechnique Fédérale de Lausanne, Switzerland. 06/12 - 10/19 Deputy Director Center for Neuroprosthetics École Polytechnique Fédérale de Lausanne, Switzerland. 11/05 - 09/09 Assistant Professor Aalborg University Esbjerg Institute of Technology & Copenhagen Institute of Technology, Denmark. 07/01 - 09/05 Research assistant PhD student Virtual Reality Laboratory School of Computer and Communications, École Polytechnique Fédérale de Lausanne, Switzerland.
Serge VaudenaySerge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.
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.