Simon GuilloudExpertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
Expertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.
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.
Giovanni De MicheliExpertise
Technologies de conception pour les systèmes intégrés, tels que la synthèse, le codesign de HW/SW et la conception de basse puissance. Technologies de conception des systèmes sur les plateformes hétérogènes comprenant les composants électriques, et biologiques.
En savoir plus
Consulter svp http://si2.epfl.ch/~demichel/
Enseignement et PhD A dirigé les thèses EPFL de Abhishek Garg, Mohamed Haykel Ben Jamaa, Francesco Zanini, Ciprian Seiculescu, Cristina Boero, Hu Xu, Andrea Cavallini, Shashi Kanth 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
Fabrizio CarboneEnseignement et PhD Doctorant·es actuel·les Rahul Yogendra Singh, Paolo Cattaneo, Chiara Missaglia, Antoine Nicolas Andrieux A dirigé les thèses EPFL de Mathieu Julien Gino Cottet, Andreas Mann, Giulia Fulvia Mancini, Luca Piazza, Francesco Pennacchio, Simone Borroni, Gabriele Berruto, Benoît Truc, Paolo Usai, Simone Gargiulo, Veronica Leccese, Hui-Yuan Daniel Chen, Michele Caldara, Rémi Claude A co-dirigé les thèses EPFL de Edoardo Baldini, Thomas Schönenberger, Lukas Jürgen Hellbrück Cours Attosecond
Philippe ThalmannOriginaire de Malters (LU), Philippe Thalmann est né à Lausanne en 1963. Il est licencié en économie politique de l'Université de Lausanne en 1984, où il a aussi obtenu le diplôme postgrade dans la même branche en 1986. M. Thalmann est entré dans le programme doctoral en économie de l'Université Harvard (Cambridge, E.-U.) en 1986 et l'a achevé avec le doctorat (Ph.D.) en 1990. De retour en Suisse, il est nommé maître-assistant à l'Université de Genève pour y enseigner l'économie et les finances publiques, puis professeur assistant à l'Université de Lausanne en 1993, pour y enseigner l'économétrie appliquée et l'économie nationale. En 1994, M. Thalmann est nommé professeur extraordinaire à l'EPFL (aujourd'hui professeur associé). Lors de la réorganisation de l'EPFL en 2000, il réoriente sa chaire de l'économie de la construction vers l'économie de l'environnement naturel et construit.
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.
Florian Frédéric Vincent BreiderTravail en cours
My current work involves: (I) elucidating the formation mechanisms of carcinogenic/mutagenic N-nitrosamines in aquatic systems under varying environmental conditions, (II) developing new analytical tools to detect and quantify N-nitroso compounds in water and biological fluids, and (III) elucidating the role of disinfection agents in the prevalence of antibiotic resistant bacteria in wastewater
RechercheConferences Breider F., von Gunten U., (2017) Novel method for the quantification of th
Mika Tapani GöösEnseignement et PhD Doctorant·es actuel·les Valentin Imbach, Ziyi Guan, Artur Riazanov, Anastasiia Sofronova, Weiqiang Yuan A dirigé les thèses EPFL de Maystre Gilbert Théodore Cours Computational complexity CS-524 En théorie de la complexité, nous étudions les ressources nécessaires à résoudre des problèmes et les relations entre différents modèles de calcul.Ce cours donne une meilleure connaissance de la complexité informatique et aborde les questions ouvertes fondamentales.
Afficher plus