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 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.
Stefano MischlerStefano Mischler obtained the diploma in materials science in 1983 at the Swiss Federal Institute of Technology ETHZ in Zurich. He accomplished his PhD thesis in the field of surface analysis and corrosion at the Materials department of the Swiss Federal Institute of Technology EPFL in Lausanne in 1988. In the years 1989-1990 he held a postdoctoral position at the United Kingdom Atomic Energy Establishment in Harwell (Oxfordshire) where he developed novel quantification procedures for Auger Electron Spectroscopy and high lateral resolution surface analytical methods for fiber reinforced ceramics. In 1991 he joined the newly created Tribology group at the Laboratory for Metallurgical Chemistry of the EPFL where he developed research activities in the field of wear-corrosion interactions (tribocorrosion) and of tribological coatings. He is currently head of the tribology group and is developing a reserach and training activity devoted to modern aspects of tribology and surface science and technology, including surface chemical effects in tribology, biotribology and biocorrosion, tribology in microfabrication processes and wear protection methods. In 2006 he spent a sabbatical leave of 3 months at the Tokyo Medical and Dental University, Institute of Biomaterials.
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
Clément Pit-ClaudelTeaching & PhD PhD Students Yawen Guan, Kacper Feliks Korban, Can Cebeci, Alexandre Pinazza, Shardul Chiplunkar Courses Interactive Theorem Proving Project CS-642 A project-focused introduction to interactive theorem proving. Interactive theorem proving CS-428 A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.Come learn how to write computer-checked proofs an
Riccardo RattazziEnseignement et PhD Doctorant·es actuel·les Filippo Nardi, Javier Reig Navarro, Ian Ishaan Le Meur, Vincenzo Vittorio Pulvirenti A dirigé les thèses EPFL de Jan Dalibor Mrazek, Alessandro Vichi, Duccio Pappadopulo, Andrea Thamm, Lorenzo Vitale, Davide Greco, Bernardo Zan, Kin Mimouni, Gabriel Francisco Cuomo, Gil Badel, Alfredo Glioti, Eren Clément Firat Cours Quantum field theory I PHYS-431 Ce cours est une introduction à la théorie des champs quantiques relativistes comme cadre théorique
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.
Thomas Emile BourgeatEnseignement et PhD Doctorant·es actuel·les Neelu Shivprakash Kalani, Jiawei Lin, Alexandre Pinazza, Jiacheng Ma, Martina Camaioni, Guokai Chen, Mohammadarman Soleimani Cours Computer security and privacy COM-301 C'est un cours d'introduction à la sécurité informatique et privée. L'objectif est de fournir aux étudiants les moyens de raisonner sur les problèmes de sécurité et de confidentialité et de leur donner les moyens de les affronter. Constructive Computer Architecture CS-62
