Samuel ChassotI am a PhD student under the supervision of Viktor KunÄak, in the LARA group at EPFL. My current research interests are in the area of formal verification. I work on and with Stainless, a verifier for Scala. One of my recent project was to formally verify a mutable hash table from the Scala standard library.
Sandy IngramExpertise
Programming Languages (C, SQL, Ruby, Rails, Java, Javascript)Recommendation algorithmsSocial media design for collaborative work
Enseignement et PhD A co-dirigé les thèses EPFL de Rania Islambouli Cours Architecture software MICRO-371 Ce cours couvre des sujets liés à l'architecture software moderne et industrielle : la gestion agile de projets, la spécification des besoins, le développement d'applications critiques, la programmation robuste, et les aspects devOps (automatisation
Marco MattavelliEnseignement et PhD A dirigé les thèses EPFL de Christophe Clerc, Ruohua Zhou, Beilu Shao, Christophe Lucarz, Richard Thavot, Ab Al Hadi Bin Ab Rahman, Endri Bezati, Simone Casale Brunet, Malgorzata Michalska, Ana Angelica Hernandez Lopez, Aurélien Bloch, Mustafa Besirli, Ünsal Öztürk A co-dirigé les thèses EPFL de Sylvain Aguirre Cours Systems and architectures for signal processing EE-555 Etude des composants essentiels eessentiels et des technologies des systèmes de traitements des signau
Martin OderskyEnseignement et PhD Doctorant·es actuel·les Matthieu Bovel, Yaoyu Zhao, Anna Herlihy, Nguyên Cao Pham, Yichen Xu A dirigé les thèses EPFL de Julie Vachon, Matthias Zenger, Michel Schinz, Philippe Altherr, Vincent Cremet, Burak Emir, Stéphane Micheloud, Iulian Dragos, Philipp Haller, Gilles Dubochet, Tiark Rompf, Ingo Maier, Lukas Rytz, Aleksandar Prokopec, Heather Miller, Vlad Ureche, Nada Amin, Manohar Jonnalagedda, Hubert Plociniczak, Vojin Jovanovic, Sandro Stucki, Eugene Burmako, Dmytro Petrashko, Séb
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.
Aude BillardExpertise
Machine LearningRoboticsMechatronicsDynamical SystemsComputational Neuroscience
Enseignement et PhD Doctorant·es actuel·les Hanli Zhang, Maximilian Schmitz, Luyin Hu, Baiyu Peng, Erfan Etesami, Sthithpragya Gupta, Kuanqi Cai A dirigé les thèses EPFL de Eric Sauser, Sylvain Calinon, Micha Hersch, Florent Günter, Biljana Petreska von Ritter-Zahony, Basilio Noris, Elena Gribovskaya, Seyed Mohammad Khansari Zadeh, Seungsu Kim, Ashwini Shukla, Klas Jonas Alfred Kronander, Luka Lukic, Miao Li, Ravin L
Sylvain CalinonExpertise
robot learning, human-robot collaboration, optimal control, model-based optimization
I am a Senior Research Scientist at the Idiap Research Institute and a Lecturer at EPFL, with research interests covering robot learning, optimal control, geometrical approaches, and human-robot collaboration. My work focuses on human-centered robotics applications in which the robots can acquire new skills from only few demonstrations and interactions. It requires the development of models that can exploit the st
Michaël UnserExpertise
Image Processing Medical Imaging Biological Imaging Wavelets Splines Multiresolution
Enseignement et PhD Doctorant·es actuel·les Youssef Haouchat, Vincent Patrick Lawrence Guillemet, Bassam El Rawas, Stanislas Ducotterd, Mehrsa Pourya, Zhiyuan Hu A dirigé les thèses EPFL de Stefan Horbelt, Jan Kybic, Maria Arrate Munoz Barrutia, Manuela Feilner, Slavica Jonic, Mathews Jacob, Michael Liebling, Michael Sühling, Muthuvel Arigovindan, François Aguet, Cédric Vonesch, Ildar Khalidov, Sathish Ramani, F
Daniel SageExpertise
Publications
Enseignement et PhD A co-dirigé les thèses EPFL de Daniel Andreas Schmitter, Anaïs Badoual, Laurène Donati Cours Bioimage informatics BIO-410 Le cours fournit une complète revue des méthodes, algorithmes et des outils logiciels utilisés en analyse d'images biologiques. Il expose les concepts fondamentaux et les solutions informatiques permettant d'extraire des informations quantitatives à partir d'images multidimensionnelles. Fundamentals of Image Analysis EE
Barbara JobstmannExpertise
Automatic synthesis and repair of reactive programsQuantitative analysis and synthesisFormal verification and modelling of systems (e.g., hardware designs, transactional memories, biological systems, business processes,...)
About me
I am a lecturer for the school of computer and communication sciences and I organise different outreach activities (for more details visit our IC Declic Summer School Webpage). In addition, I work for Cadence Design Systems.My research focused on the development of rel
Sara BonellaEnseignement et PhD Doctorant·es actuel·les Edrick Solís González, Thibault Kläy, Paula Sierra i Varela, Federica Troni A dirigé les thèses EPFL de Jérémie Marc Bertrand, Taylor James Baird Cours Computational methods in molecular quantum mechanics CH-452 Le cours enseignerait les méthodes principales pour la simulation des propriétés quantique dependant du temps pour systèmes moléculaires. Les notions de base de density functional theory seront discutés. Effects quantiques nucleaires sero
Jean-Paul Richard KneibEnseignement et PhD Doctorant·es actuel·les Oliver Pineda Suarez, Robert Daniel Kincaid, Ethan Daniel Tregidga, Belén Yu Irureta-Goyena Chang, Elisabeth Andréa Cécile Rachith, Shengyu He, Aurélien Thomas Mathieu Verdier, Timour Jestin A dirigé les thèses EPFL de Markus Rexroth, Luzius Gregor Kronig, Christoph Ernst René Schäfer, Vasileios Angelopoulos, Michaël Juillard, Amélie Tamone, Andrei Variu, Yoan Rappaz, Anne-Marlene Rüede, Jiaxi Yu, Daniel Felipe Forero Sanchez, Beauchesne Benjamin Emmanuel Nicola
Denis GilletDenis Gillet received the Diploma in Electrical Engineering from the Swiss Federal Institute of Technology in Lausanne (EPFL) in 1988, and the Ph.D. degree in Information Systems also from the EPFL in 1995. During 1992 he was appointed as Research Fellow at the Information Systems Laboratory of Stanford University in the United States. He is currently Maître d'enseignement et de recherche at the EPFL School of Engineering, where he leads the React research group. His current research interests include Technologies Enhanced Learning (TEL), Human Computer Interaction (HCI), Human Devices Interaction (HDI) and Optimal Coordination of Complex and Distributed Systems. Denis Gillet is affiliated at EPFL with the Center for Intelligent Systems and the Center for Digital Education.
Henry MarkramEnseignement et PhD Doctorant·es actuel·les Davide Bella A dirigé les thèses EPFL de Tania Rinaldi, Jean-Vincent Le Bé, Michele Pignatelli, Thomas Berger, Luca Gambazzi, Rodrigo de Campos Perin, Imad Riachi, Muhammad Asif Jan, Rajnish Ranjan, Srikanth Ramaswamy, Georges Khazen, Vincent Delattre, Mônica Favre, Shruti Muralidhar, Michael Reimann, Jean Pierre Ghobril, Renaud Luc Richardet, Marwan Abdellah, Willem Wybo, Csaba Erö, Lida Kanari, Giuseppe Chindemi, Berat Denizdurduran, Max Nolte, Taylor Howard N
Martin Alois RohrmeierEnseignement et PhD Doctorant·es actuel·les Joris Monnet, Marina Borsodi-Benson, Xinyi Guan, Xiaoxuan Wang, Zeng Ren A dirigé les thèses EPFL de Fabian Claude Moss, Daniel Harasim, Christoph Finkensiep, Johannes Hentschel, Gabriele Cecchetti, Shuxin Meng Cours Digital musicology DH-401 Ce cours a pour but de familiariser les étudiants avec les thèmes principaux en musicologie digitale, ainsi que les approches et méthodes théoriques essentielles. Dans la partie pratique, les étudiants feron
