Pasquale Davide SchiavoneEnseignement et PhD Cours Design technologies for integrated systems CS-472 La synthèse hardware est le processus de transformation - itérativement raffiné, détaillé et optimisé - d'une représentation faite en langage de description matérielle en un circuit. Ce cours présente les algorithmes, outils et méthodes de la compilation matérielle et de la synthèse logique.
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 Jürgen BruggerI am a Professor of Microengineering and co-affiliated to Materials Science. Before joining EPFL I was at the MESA Research Institute of Nanotechnology at the University of Twente in the Netherlands, at the IBM Zurich Research Laboratory, and at the Hitachi Central Research Laboratory, in Tokyo, Japan. I received a Master in Physical-Electronics and a PhD degree from Neuchâtel University, Switzerland. Research in my laboratory focuses on various aspects of MEMS and Nanotechnology. My group contributes to the field at the fundamental level as well as in technological development, as demonstrated by the start-ups that spun off from the lab. In our research, key competences are in micro/nanofabrication, additive micro-manufacturing, new materials for MEMS, increasingly for wearable and biomedical applications. Together with my students and colleagues we published over 200 peer-refereed papers and I had the pleasure to supervise over 25 PhD students. Former students and postdocs have been successful in receiving awards and starting their own scientific careers. I am honoured for the appointment in 2016 as Fellow of the IEEE “For contributions to micro and nano manufacturing technology”. In 2017 my lab was awarded an ERC AdvG in the field of advanced micro-manufacturing.
Georges WagnièresGeorges Wagnières a obtenu son diplôme (MSc) en physique à l'Université de Lausanne, Suisse, en 1986. Il a reçu son doctorat ès science (PhD) en physique (Optique Biomédicale) de l'Ecole Polytechnique Fédérale de Lausanne (EPFL) en 1992, et a effectué un travail de postdoctorat dans les "Wellman Laboratories of Photomedicine" (Harvard Medical School) situés à Boston, MA, USA, en 1993 et 1994. Il a aussi obtenu, en 2001, un "Master in management of technology" délivré par l'Ecole des Hautes Etudes Commerciales (HEC) de l'Université de Lausanne et l'EPFL. Depuis 1994, il gère un groupe de recherche de l'EPFL actif dans les domaines suivants: - Caractérisation et détection de lésions cancéreuses par spectroscopie et imagerie de fluorescence ainsi que par imagerie à fort grossissement. - Traitement du cancer ainsi que d'autres pathologies associées à des désordres immunologiques (maladie de Crohn, Colite ulcéreuse) ou vasculaires par thérapie photodynamique (PDT). - Développement préclinique et clinique de photosensibilisateurs, de marqueurs fluorescents et d'instruments optiques pour le photodiagnostic. - Traitement de diverses pathologies, y compris les maladies neuro-dégénératives (Parkinson, Alzheimer), par photobiomodulation. - Monitorage de la dose optique pour la PDT basée sur l'imagerie de fluorescence de photosensibilisateurs. - Induction de l'extravasation d'agent chimiothérapeutiques par PDT. - Mesure in vivo de la concentration d'oxygène dans des tissus biologiques par spectroscopie et imagerie optiques résolues en temps. - Monitorage d'un traitement au laser de la rétine par imagerie de reflectance. - Développement de distributeurs de lumière pour des applications biomédicales. - Dosimétrie de lumière / Radiométrie. - Spectroscopie et imagerie en optique biomédicale. Georges Wagnières est aussi co-fondateur et a présidé une société "spin-off" de l'EPFL: - Medlight SA, fondée en 1997, qui développe, produit et commercialise des distributeurs de lumière pour la thérapie photodynamique. Georges Wagnières est l'auteur et co-auteur de plus de 235 articles scientifiques dont 150 ont été publiés dans des revues internationales ayant un comité de relecture (review board). De plus, il est inventeur de 18 brevets. Finalement, il supervise ou a supervisé 12 doctorants et enseigne actuellement à l'EPFL l'optique biomédicale et la photomédecine au niveaux "master". Ces cours sont aussi donnés à l'Ecole doctorale (EDCH, EDSV) de l'EPFL. Finalement, il donne le cours intitulé "Physique Générale I" aux biologistes de première année inscrits à l'Ecole de Biologie de l'Université de Lausanne. PUBLICATIONS PRINCIPALES: SVP visiter: https://www.epfl.ch/labs/lifmet/wagnieres/publications/ Edouard BugnionEdouard Bugnion joined EPFL in 2012, where his focus is on datacenter systems. His areas of interest include operating systems, datacenter infrastructure (systems and networking), and computer architecture. Before joining EPFL, Edouard spent 18 years in the US, where he studied at Stanford and co-founded two startups: VMware and Nuova Systems (acquired by Cisco). At VMware from 1998 until 2005, he played many roles including CTO. At Nuova/Cisco from 2005 until 2011, he helped build the core engineering team and became the VP/CTO of Ciscos Server, Access, and Virtualization Technology Group, a group that brought to market Ciscos Unified Computing System (UCS) platform for virtualized datacenters. Prof. Bugnion is a Fellow of the ACM. Together with his colleagues, he received the ACM Software System Award for VMware 1.0 in 2009. His paper Disco: Running Commodity Operating Systems on Scalable Multiprocessors" received a Best Paper Award at SOSP '97 and was entered into the ACM SIGOPS Hall of Fame Award in 2008. At EPFL, he received the OSDI 2014 Best Paper Award for his work on the IX dataplane operating system
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 KochEnseignement et PhD Doctorant·es actuel·les Léonard Léchot, Zhekai Jiang, Hanbit Lee A dirigé les thèses EPFL de Immanuel Trummer, Aleksandar Vitorovic, Milos Nikolic, Daniel Lupei, Mohammed El Seidy, Ioannis Klonatos, Mohammad Dashti Rahmat Abadi, Amir Shaikhha, Lionel Parreaux, Sachin Basil John, Zilu Tian A co-dirigé les thèses EPFL de David Kozhaya Cours Making intelligent things A CS-358(a) Le cours vise à enseigner le prototypage d'artefacts physiques intelligents et à résoudre des d
Sébastien Jean Robert DoeraeneExpertise
Language design, compilateurs, machines virtuelles.Pédagogie en informatique.
Travail en cours
Scala.js, the dialect of Scala for JavaScript and WebAssembly
Sébastien Doeraene is a compiler/runtime systems hacker and a Scala enthusiast. Best known as the author of Scala.js, he is now lecturer at EPFL. He holds a PhD from EPFL, having worked under the supervision of Prof. Martin Odersky, and a master's degree in computer science engineering from Université catholique de Louvain in Belgium. When he
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
Marco BakkerMarco Bakker was born in Harlingen in the Netherlands and studied architecture at the TU in Delft with an intermediate year at the EPF in Lausanne. After assistances to Prof. Vincent Mangeat and Kaschka Knapkiewicz, Marco Bakker was from 2003 to 2009 teaching architecture in the Joint Master- Bern, Geneva and Fribourg. Together with Alexandre Blanc they started their office in 1992, first in Fribourg, then Biel and at the moment in Lausanne and Zurich under the name ‘BABL'. In 2009 Bakker & Blanc star
Dario FloreanoProf. Dario Floreano is director of the Laboratory of Intelligent Systems at the Swiss Federal Institute of Technology Lausanne (EPFL). Since 2010, he is the founding director of the Swiss National Center of Competence in Robotics, a research program that brings together more than 20 labs across Switzerland. Prof. Floreano holds an M.A. in Vision, an M.S. in Neural Computation, and a PhD in Robotics. He has held research positions at Sony Computer Science Laboratory, at Caltech/JPL, and at Harvard University. His main research interests are Robotics and A.I. at the convergence of biology and engineering. Prof. Floreano made pioneering contributions to the fields of evolutionary robotics, aerial robotics, and soft robotics. He served in numerous advisory boards and committees, including the Future and Emerging Technologies division of the European Commission, the World Economic Forum Agenda Council, the International Society of Artificial Life, the International Neural Network Society, and in the editorial committee of several scientific journals. In addition, he helped spinning off two drone companies (senseFly.com and Flyability.com) and a non-for-profit portal on robotics and A.I. (RoboHub.org). Books
Manuale sulle Reti Neurali, il Mulino (in Italian), 1996 (first edition), 2006 (second edition)Evolutionary Robotics, MIT Press, 2000
Bio-Inspired Artificial Intelligence, MIT Press, 2008
Flying Insects and Robots, Springer Verlag, 2010
Stefana ParaschoEnseignement et PhD Doctorant·es actuel·les Jingwen Wang, Gabriel Vallat, Maxence Grangeot, Eleni Maria Skevaki, Wenqian Yang, Megi Sinani Cours Capitalizing on Uncertainty AR-809 Digital design and making: A critical introduction AR-503 Le cours présente des méthodes de conception et de fabrication numériques en combinant des compétences techniques avec des connaissances théoriques et une réflexion critique. Les sujets incluent: la programmation pour la conception, la fabr
Damien Lambert Alain Félicien GilliardEnseignement et PhD Cours Introduction to computational architecture AR-327 Ce cours reprend les bases de la modélisation 3D pour établir les fondements de la programmation appliqué au design architectural. L'objectif principal est de développer une pensée structurante computationnelle afin de maximiser l'utilisation d'outils numériques efficace
Giordano FaviExpertise
Research: Non associative Algebra, Category Theory, Triangulated Category Theory, Balmer-Witt Theory, Quadratic Forms in Characteristic 2, Galois Theory, Essential dimension, Tensor Triangular GeometryTeaching: Algebra (Associative, Linear, Commutative or not), Differential Calculus , Algebraic Geometry/Topology, etc.
Travail en cours
Teaching: My current work at EPFL is half time dedicated to teaching mathematics for 1st year students. It is very important to give satisfactory introductory cou
David Atienza AlonsoDavid Atienza Alonso is an associate professor of EE and director of the Embedded Systems Laboratory (ESL) at EPFL, Switzerland. He received his MSc and PhD degrees in computer science and engineering from UCM, Spain, and IMEC, Belgium, in 2001 and 2005, respectively. His research interests include system-level design methodologies for multi-processor system-on-chip (MPSoC) servers and edge AI architectures. Dr. Atienza has co-authored more than 350 papers, one book, and 12 patents in these previous areas. He has also received several recognitions and award, among them, the ICCAD 10-Year Retrospective Most Influential Paper Award in 2020, Design Automation Conference (DAC) Under-40 Innovators Award in 2018, the IEEE TCCPS Mid-Career Award in 2018, an ERC Consolidator Grant in 2016, the IEEE CEDA Early Career Award in 2013, the ACM SIGDA Outstanding New Faculty Award in 2012, and a Faculty Award from Sun Labs at Oracle in 2011. He has also earned two best paper awards at the VLSI-SoC 2009 and CST-HPCS 2012 conference, and five best paper award nominations at the DAC 2013, DATE 2013, WEHA-HPCS 2010, ICCAD 2006, and DAC 2004 conferences. He serves or has served as associate editor of IEEE Trans. on Computers (TC), IEEE Design & Test of Computers (D&T), IEEE Trans. on CAD (T-CAD), IEEE Transactions on Sustainable Computing (T-SUSC), and Elsevier Integration. He was the Technical Program Chair of DATE 2015 and General Chair of DATE 2017. He served as President of IEEE CEDA in the period 2018-2019 and was GOLD member of the Board of Governors of IEEE CASS from 2010 to 2012. He is a Distinguished Member of ACM and an IEEE Fellow.
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
