Babak FalsafiEnseignement et PhD Doctorant·es actuel·les Yuanlong Li, Simla Burcu Harma, Shashwat Shrivastava, Alexandros Poupakis, Shanqing Lin, Ayan Chakraborty, Pooria Poorsarvi Tehrani, Ali Ansari A dirigé les thèses EPFL de Pejman Lotfi Kamran, Sotiria Fytraki, Dejan Novakovic, Stavros Volos, Djordje Jevdjic, Ilknur Cansu Kaynak, Yusuf Onur Koçberber, Javier Picorel Obando, Alexandros Daglis, Mario Paulo Drumond Lages De Oliveira, Arash Pourhabibi Zarandi, Mark Johnathon Sutherland, Siddharth Gupta, Ognjen Glamoc
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.
Pascal FrossardTeaching & PhD PhD Students Yiming Qin, Alba Carballo Castro, Elisa Messori, Ke Wang, Sevda Ögüt, Tuna Alikasifoglu, William Cappelletti, Manuel Madeira, Mahdi Amiri, Ortal Yona Senouf, Vasiliki Rizou, Cem Bilaloglu, Abdellah Rahmani, Amel Abdelraheem, Jérémy Jean Philippe Baffou, Adam Hazimeh, Vincent Jung, Yike Zhao Past EPFL PhD Students Dan Jurca, Jean-Paul Wagner, Ivana Radulovic, Ivana Tosic, Effrosyni Kokiopoulou, Zafer Arican, Vijayaraghavan Thirumalai, Tamara Tosic, Eirina Bourtsoulatze, Elif Vur
Patrick ThiranPatrick Thiran is a full professor in network and systems theory at the School of Computer and Communication Sciences at EPFL. He holds an electrical engineering degree from the Université Catholique de Louvain, Louvain-la-Neuve, Belgium, an M.Sc. degree in electrical engineering from the University of California at Berkeley, USA, and he received the PhD degree from EPFL, in 1996. He became an adjunct professor in 1998, an assistant professor in 2002, an associate professor in 2006 and a full professor in 2011. He was with Sprint Advanced Technology Labs in Burlingame, California, in 2000-01.
His research interests are in communication and social networks, performance analysis and stochastic models. He is currently active in the analysis and design of wireless and PLC networks (scaling laws, medium access control), in network monitoring (network tomography, multi-layer networks), and data-driven network science. He also contributed to network calculus and to the theory of locally coupled neural networks and self-organizing maps.
He served as an associate editor for the IEEE Transactions on Circuits and Systems in 1997-99 and for the IEEE/ACM Transactions on Networking in 2006-10. He is currently on the editorial board of the IEEE Journal on Selected Areas in Communication. He is/was on the program committee of different conferences in networking, including ACM Sigcomm, Sigmetrics, IMC, CoNext and IEEE Infocom. He was TPC chair of AMC IMC 2011 and CoNext 2012. He is a Fellow of the Belgian American Educational Foundation and of the IEEE. He received the 1996 EPFL Doctoral Prize and the 2008 Crédit Suisse Teaching Award.
Roger HerschRoger D. Hersch is professor of Computer Science and head of the Peripheral Systems Laboratory at EPFL. He received his engineering degree from ETHZ in 1975, worked in industry from 1975 to 1980, and obtained his PhD degree from EPFL in 1985. He directed the widely known
Visible Human Web Server project
, which offers a number of services for the visualization of human anatomy.
His current research focuses on color reproduction, spectral color prediction models, moiré imaging, and visual document security. Recent achievements include the PhotoProtect technology, which incorporates text as chromatic differences in order to protect identity photographs (Swiss driving license), microstructure imaging, which is used by railways companies (SNCF, RENFE) and festival organizers (Paleo) to print tickets at home and the band moire imaging technology for the protection of security documents.
Martin RajmanMartin Rajman is the EPFL Ambassador to digitalswitzerland (https://digitalswitzerland.com/), a Swiss-wide, multi-stakeholder initiative coordinating the contributions of its over 200 members to strengthen Switzerland’s position as a leading digital player.Until 2017, Martin Rajman has served as Executive Director of Nano-Tera.ch, a large Swiss Research Program funding collaborative multi-disciplinary projects for the engineering of complex systems in Health and the Environment. Since 2008, the Nano-Tera.ch program started more than 100 research projects for a total public funding of more than 95 Mo CHF (~100 Mo USD). Before being appointed as Nano-Tera.ch Executive Director, Martin Rajman was Director of the EPFL Global Computing Center (CGC), an association of research groups and laboratories of the School of Computer and Communication Sciences fostering interdisciplinary research in the general area of internet computing and distributed information systems. In this position, he was managing more than 20 European projects. In parallel with his research management activities, Martin Rajman is senior researcher at EPF Lausanne, Switzerland (EPFL). His research interests include Artificial Intelligence, Computational Linguistics and Data-driven Probabilistic Machine Learning.Martin Rajman has also been active in various large scale industry-research collaborations with majors economic players. In particular, he has been involved in the improvement of the product ranking technology used by e-Bay and collaborated with Elsevier on enhanced article recommendation techniques. Martin Rajman is author or co-author of more than 100 publications and former Director of the Computer Science Series of EPFL-Press (PPUR). Michael Christoph GastparMichael Gastpar is a (full) Professor at EPFL. From 2003 to 2011, he was a professor at the University of California at Berkeley, earning his tenure in 2008. He received his Dipl. El.-Ing. degree from ETH Zürich, Switzerland, in 1997 and his MS degree from the University of Illinois at Urbana-Champaign, IL, USA, in 1999. He defended his doctoral thesis at EPFL on Santa Claus day, 2002. He was also a (full) Professor at Delft University of Technology, The Netherlands. His research interests are in network information theory and related coding and signal processing techniques, with applications to sensor networks and neuroscience. He is a Fellow of the IEEE. He is the co-recipient of the 2013 Communications Society & Information Theory Society Joint Paper Award. He was an Information Theory Society Distinguished Lecturer (2009-2011). He won an ERC Starting Grant in 2010, an Okawa Foundation Research Grant in 2008, an NSF CAREER award in 2004, and the 2002 EPFL Best Thesis Award. He has served as an Associate Editor for Shannon Theory for the IEEE Transactions on Information Theory (2008-11), and as Technical Program Committee Co-Chair for the 2010 International Symposium on Information Theory, Austin, TX.
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.
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.
Ayberk OzkirliExpertise
Magnetic resonance imaging (MRI), visual crowding, serial dependence, population receptive field (pRF) mapping, data analysis, machine learning, age-related macular degeneration, neuroengineering, clinical neuroscience
Expertise
Magnetic resonance imaging (MRI), visual crowding, serial dependence, population receptive field (pRF) mapping, data analysis, machine learning, age-related macular degeneration, neuroengineering, clinical neuroscience
Bryan Alexander FordEnseignement et PhD Doctorant·es actuel·les Shailesh Mishra A dirigé les thèses EPFL de Eleftherios Kokoris Kogias, Kirill Nikitin, Cristina Basescu, Enis Ceyhun Alp, Simone Colombo, Pasindu Nivanthaka Tennage, Louis-Henri Manuel Jakob Merino A co-dirigé les thèses EPFL de David Froelicher, Ludovic Barman, Georgia Fragkouli Cours Decentralized systems engineering CS-438 Un système est décentralisé lorsque son fonctionnement et sa sécurité ne dépendent d'aucune partie. Ce cours enseigne les
Benoît Jean Dominique FerrariBiologiste et biochimiste de formation, Benoît J.D. Ferrari a obtenu son diplôme de doctorat en Ecotoxicologie à lUniversité de Lorraine (Metz, France) en 2000 en travaillant sur le développement dune approche dévaluation du danger écotoxique des déchets solides utilisant une batterie de bioessais dans le cadre dun projet interdisciplinaire suivi par lAgence de lEnvironnement et de la Maîtrise de lEnergie (ADEME). Après avoir passé presque 7 années à Irstea (anciennement Cemagref) à Lyon en France (périodes 2000-2002 et 2008-2013) et avoir occupé un poste de Maitre-assistant à lInstitut F.A. Forel à Genève (2002-2008), il a acquis au travers des projets franco-suisses et européens quil a (co-)pilotés une expérience forte dans le domaine de lécotoxicologie et dans les approches pluridisciplinaires. En Octobre 2013, il rejoint le Centre Suisse dEcotoxicologie Appliquée (Centre Ecotox Eawag/EPFL) en tant que responsable du groupe Sol et Sédiment. Sintéressant à létude de lécodynamique des contaminants et leurs effets sur lécophysiologie des organismes, ses compétences et ses thématiques de recherche appliquée couvrent aujourdhui :
Le développement dindicateurs écotoxicologiques dexposition et deffets pour évaluer le stresse chimique
Lintégration des indicateurs écotoxicologiques dans des approches de laboratoire et de terrain pour le diagnostic de la qualité des écosystèmes
Le développement de bioessais adaptés pour le biomonitoring actif
Le transfert de compétence vers la sphère opérationnelle (formation).
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
Martin VetterliMartin Vetterli a été nommé Président de l'École polytechnique fédérale de Lausanne (EPFL) par le Conseil fédéral à l’issue d’un processus de sélection mené par le Conseil des EPF - qui l'a désigné à l'unanimité.
Né à Soleure le 4 octobre 1957, Martin Vetterli a suivi sa scolarité et effectué sa maturité dans le canton de Neuchâtel. Ingénieur en génie électrique de l’ETHZ (1981), diplômé de l’Université de Stanford (1982) et docteur en sciences de l’EPFL (1986), Martin Vetterli a enseigné à Columbia University comme professeur assistant puis associé. Il a ensuite été nommé professeur ordinaire au département du génie électrique et des sciences de l’informatique de l’Université de Berkeley, avant de revenir à l’EPFL en tant que professeur ordinaire à l’âge de 38 ans. Il a également enseigné à l’ETHZ et à l’Université de Stanford.
Ses activités de recherche centrées sur le génie électrique, les sciences de l’informatique et les mathématiques appliquées lui ont valu de nombreuses récompenses nationales et internationales, parmi lesquelles le Prix Latsis National, en 1996. Il est Fellow de l’Association for Computing Machinery et de l'Institute of Electrical and Electronics Engineers et membre de la National Academy of Engineering (NAE) notamment. Martin Vetterli a publié plus de 170 articles et trois ouvrages de référence.
Ses travaux sur la théorie des ondelettes, utilisées dans le traitement du signal, sont reconnus par ses pairs comme étant d’une portée majeure, et ses domaines de prédilection, comme la compression des images et vidéos ou les systèmes de communication auto-organisés, sont au cœur du développement des nouvelles technologies de l’information. En tant que directeur fondateur du Pôle de Recherche National Systèmes mobiles d’information et de communication, le professeur Vetterli est un fervent défenseur de la recherche transdisciplinaire.
Martin Vetterli connaît l’EPFL de l’intérieur. Alumnus de l’Ecole, il y enseigne depuis 1995, a été le vice-président chargé des relations internationales puis des affaires institutionnelles de l’Ecole entre 2004 à 2011, et doyen de la Faculté Informatique et Communication en 2011 et 2012. En parallèle à sa fonction de président du Conseil national de la recherche du Fonds national suisse qu’il a occupé de 2013 à 2016, il dirige le Laboratoire de Communications Audiovisuelles (LCAV) de l’EPFL depuis 1995.
Martin Vetterli a accompagné plus de 60 doctorants en Suisse et aux Etats-Unis pendant leur thèse et se fait un point d’honneur de suivre l’évolution de leur parcours au plus haut niveau, académique ou dans le monde entrepreneurial.
L’ingénieur est l’auteur d’une cinquantaine de brevets qui ont conduit à la création de plusieurs startups issues de son laboratoire, comme Dartfish ou Illusonic, ainsi qu’à des transferts de technologie par le biais de vente de brevets (Qualcomm). Il encourage activement les jeunes chercheurs à poursuivre ces efforts et commercialiser les résultats de leurs travaux.
