Xile HuXile Hu was born in 1978 in Putian, southeastern China. He entered the Peking University in Beijing in 1996. Besides learning too little chemistry, his biggest regret in the college was not able to correct his southern accent in Mandarin. After graduated from PKU, he went to the United States and began his doctoral studies at the University of California, San Diego. In December 2004, he finished with a Ph.D. in chemistry and some fond memories of the beautiful city of San Diego. He then moved to the Los Angeles area and become a postdoctoral scholar at the California Institute of Technology. There he enjoyed numerous stimulating scientific (and other) discussions with friends and colleagues. He also made plenty of friends outside the campus and was a frequent in many local Chinese restaurants. In 2007, after two pleasant visits to Switzerland, he decided to move across the continent one more time and join the faculty of the École Polytechnique Fédérale de Lausanne (EPFL). He now directs the Laboratory of Inorganic Synthesis and Catalysis and is interested in developing chemistry for synthesis, energy and sustainability.
Thomas MountfordTeaching & PhD Past EPFL PhD Students Damien Gauthier, Samir Brahim Belhaouari, Driss Baraka, Daniel Rodrigues Valesin, Samuel Schöpfer, Kamran Kalbasi, Jacques Saliba, Hao Xue, Keming Chen Past EPFL PhD Students as codirector Guillaume Charles Woessner Courses Analysis I MATH-101(d) Study the fundamental concepts of analysis, and the differential and integral calculus of real-valued functions of one real variable. Markov chains MATH-332 The course follows the text of Norris
Dimitri RacordonExpertise
Programming language design, type systems, memory safety
I got my Ph.D. in computer science at the University of Geneva, Switzerland. I worked on model checking and developed efficient data structures to generate and explore large state spaces. SI then studied logics and type systems while trying to find new ways to teach computer science.I have always loved coding, but quickly realized I'm not so good at writing correct programs. So I thought I'd better write clever compilers to do it for me. Eve
Matthieu Alexandre BovelExpertise
PhD student, I am currently exploring support for logically qualified types support in Scala 3.Co-supervised by Viktor KunÄak and Martin Odersky.
Pascal FuaPascal Fua received an engineering degree from Ecole Polytechnique, Paris, in 1984 and the Ph.D. degree in Computer Science from the University of Orsay in 1989. He then worked at SRI International and INRIA Sophia-Antipolis as a Computer Scientist. He joined EPFL in 1996 where he is now a Professor in the School of Computer and Communication Science and heads the Computer Vision Laboratory. His research interests include shape modeling and motion recovery from images, analysis of microscopy images, and Augmented Reality. His research interests include shape modeling and motion recovery from images, analysis of microscopy images, and machine learning. He has (co)authored over 300 publications in refereed journals and conferences. He is an IEEE Fellow and has been an Associate Editor of IEEE journal Transactions for Pattern Analysis and Machine Intelligence. He often serves as program committee member, area chair, and program chair of major vision conferences and has cofounded three spinoff companies (Pix4D, PlayfulVision, and NeuralConcept).
Sébastien MarcelExpertise
image processing, pattern recognition, machine learning, biometrics
Current work
Face recognitionSpeaker recognitionMobile biometrics ( http://www.mobioproject.org )Spoofing ( http://www.tabularasa-euproject.org )Biometrics evaluation and testing ( http://www.beat-eu.org )
Sébastien Marcel is the head of the Biometrics group and senior research scientist at the Idiap Research Institute (CH), where he leads a research team and conducts research on biometrics and more particularly face recognition, Dominique BonvinDominique Bonvin is Professor and Director of the Automatic Control Laboratory of EPFL. He received his Diploma in Chemical Engineering from ETH Zürich, and his Ph.D. degree from the University of California, Santa Barbara. He worked in the field of process control for the Sandoz Corporation in Basel and with the Systems Engineering Group of ETH Zürich. He joined the EPFL in 1989, where his current research interests include modeling, control and optimization of dynamic systems. He served as Director of the Automatic Control Laboratory for the periods 1993-97, 2003-2007 and again since 2012, Head of the Mechanical Engineering Department in 1995-97 and Dean of Bachelor and Master Studies at EPFL for the period 2004-2011.
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.
Christoph KochExpertise
knows everything ;-)
Publications
My publications in Google ScholarMy publications in DBLPMy papers on EPFL's publications server (InfoScience)Prospective PhD students and postdocs please read this before contacting me.
Christoph Koch is a professor of Computer Science at EPFL, specializing in data management. Until 2010, he was an Associate Professor in the Department of Computer Science at Cornell University. Previously to this, from 2005 to 2007, he was an Associate Professor of Computer Scienc
