Concept
Démonstration formelle
Personnes associées (23)
Jean-Pierre Hubaux
Jean-Pierre Hubaux is a full professor at EPFL and head of the Laboratory for Data Security. Through his research, he contributes to laying the foundations and developing the tools for protecting privacy in today’s hyper-connected world. He has pioneered the areas of privacy and security in mobile/wireless networks and in personalized health. He is the academic director of the Center for Digital Trust (C4DT). He leads the Data Protection in Personalized Health (DPPH) project funded by the ETH Council and is a co-chair of the Data Security Work Stream of the Global Alliance for Genomics and Health (GA4GH). From 2008 to 2019 he was one of the seven commissioners of the Swiss FCC. He is a Fellow of both IEEE (2008) and ACM (2010). Recent awards: two of his papers obtained distinctions at the IEEE Symposium on Security and Privacy in 2015 and 2018. He is among the most cited researchers in privacy protection and in information security. Spoken languages: French, English, German, Italian
Viktor Kuncak
Viktor 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.
Christian Enz
Christian C. Enz (M84, S'12) received the M.S. and Ph.D. degrees in Electrical Engineering from the EPFL in 1984 and 1989 respectively. From 1984 to 1989 he was research assistant at the EPFL, working in the field of micro-power analog IC design. In 1989 he was one of the founders of Smart Silicon Systems S.A. (S3), where he developed several low-noise and low-power ICs, mainly for high energy physics applications. From 1992 to 1997, he was an Assistant Professor at EPFL, working in the field of low-power analog CMOS and BiCMOS IC design and device modeling. From 1997 to 1999, he was Principal Senior Engineer at Conexant (formerly Rockwell Semiconductor Systems), Newport Beach, CA, where he was responsible for the modeling and characterization of MOS transistors for the design of RF CMOS circuits. In 1999, he joined the Swiss Center for Electronics and Microtechnology (CSEM) where he launched and lead the RF and Analog IC Design group. In 2000, he was promoted Vice President, heading the Microelectronics Department, which became the Integrated and Wireless Systems Division in 2009. He joined the EPFL as full professor in 2013, where he is currently the director of the Institute of Microengineering (IMT) and head of the Integrated Circuits Laboratory (ICLAB).He is lecturing and supervising undergraduate and graduate students in the field of Analog and RF IC Design at EPFL. His technical interests and expertise are in the field of very low-power analog and RF IC design, semiconductor device modeling, and inexact and error tolerant circuits and systems.He has published more than 200 scientific papers and has contributed to numerous conference presentations and advanced engineering courses. Together with E. Vittoz and F. Krummenacher he is one of the developer of the EKV MOS transistor model and the author of the book "Charge-Based MOS Transistor Modeling - The EKV Model for Low-Power and RF IC Design" (Wiley, 2006). He has been member of several technical program committees, including the International Solid-State Circuits Conference (ISSCC) and European Solid-State Circuits Conference (ESSCIRC). He has served as a vice-chair for the 2000 International Symposium on Low Power Electronics and Design (ISLPED), exhibit chair for the 2000 International Symposium on Circuits and Systems (ISCAS) and chair of the technical program committee for the 2006 European Solid-State Circuits Conference (ESSCIRC). Since 2012 he has been elected as member of the IEEE Solid-State Circuits Society (SSCS) Administrative Commmittee (AdCom). He is also Chair of the IEEE SSCS Chapter of Switzerland.
Yves Bellouard
Dr. Yves Bellouard is Associate Professor in Microengineering at Ecole Polytechnique Fédérale de Lausanne (EPFL) in Switzerland, where he heads the Galatea lab and the Richemont Chair in micromanufacturing. He received a BS in Theoretical Physics and a MS in Applied Physics from Université Pierre et Marie Curie in Paris, France in 1994-1995 and a PhD in Microengineering from Ecole Polytechnique Fédérale de Lausanne (EPFL) in Lausanne, Switzerland in 2000. For his PhD work, he received the Omega Scientific prize (2001) for outstanding contribution in the field of microengineering for his work on Shape Memory Alloys. Before joining EPFL in 2015, he was Associate Professor at Eindhoven University of Technologies (TU/e) in the Netherlands and prior to that, Research Scientist at Rensselaer Polytechnic Institute (RPI) in Troy, New York for about four years where he started working on femtosecond laser processing of glass materials. From 2010 until 2013, Yves Bellouard initiated and coordinated the Femtoprint project, a European research initiative aiming at investigating a table-top printer for microsystems ('3D printing of microsystems'). In 2013, he received a prestigious ERC Starting Grant (Consolidator-2012) from the European Research Council and a JSPS Fellowship from the Japan Society for the Promotion of Science. His current research interests are on new paradigms for system integration at the microscale and in particular laser-based methods to tailor material properties for achieving higher level of integration in microsystems, like for instance integrating optics, mechanics and fluidics in a single monolith. These approaches open new opportunities for direct-write methods of microsystems (3D printing). Personal website
Hubert Girault
Education: 1979 - Engineering diploma from Grenoble Institute of Technology. FRANCE. 1982 - PhD- Department of Chemistry, University of Southampton. Thesis entitled : Interfacial studies using drop image processing techniques. Positions : 1982 - 1984 SERC Research Fellow. University of Southampton. 1984 - 1985 CNRS Research Fellow. University of Southampton. 1985 - 1992 Lecturer in Physical Chemistry, University of Edinburgh. 1992 - Professor of Physical Chemistry, Ecole Polytechnique Fédérale de Lausanne. 2011 - 2014 Dean of Bachelor and Master studies Hubert Girault is the author of 2 textbooks, the co-author of about 600 scientific publications with more than 20'000 citations and the co-inventor of more than 15 patents. During his academic career, he has supervised 70 PhD students. 30 alumni of his laboratory are now Professors. Honours: Faraday medal 2006, Royal Society of Chemistry, Fellow of the International Society of Electrochemistry 2007, Reilley Award 2015. Fellow of the Electrochemical Society (USA), Shikata International medal, Polarography Society of Japan. Associate editor of Chemical Science
Nico de Rooij
Nico de Rooij is Professor Emeritus of EPFL and previous Vice-President of CSEM SA. He was Professor of Microengineering at EPFL and Head of the Sensors, Actuators and Microsystems Laboratory (
SAMLAB
) from 2009 to 2016. At
CSEM SA
he was responsible for the EPFL CSEM coordination from 2012 to 2016. His research activities include the design, micro fabrication and application of miniaturized silicon based sensors, actuators, and microsystems. He authored and coauthored over 400 published
journal papers
in these areas.
He was Professor at the University of Neuchatel and Head of the Sensors, Actuators and Microsystems Laboratory (SAMLAB) from 1982 to 2008. Since October 1990 till October 1996 and again from October 2002 until June 2008, he has been the director of the Institute of Microtechnology of the University of Neuchatel (IMT UniNE). He lectured at the Swiss Federal Institute of Technology, Zurich (ETHZ), and since 1989, he has been a part-time professor at the Swiss Federal Institute of Technology, Lausanne (EPFL). He has been appointed Vice-President of the CSEM SA in February 2008 and headed the newly created Microsystems Technology Division of CSEM SA, from 2008 until 2012. He was Director of EPFL's Institute of Microengineering (EPFL STI IMT) from 2009 to 2012, following the transfer of IMT Uni-NE to EPFL.
Dr. de Rooij is a Fellow of the IEEE and Fellow of the Institute of Physics (UK). He recieved the IEEE
Jun-Ichi Nishizawa Gold Medal
, the Schlumberger Prize as well as the
MNE Fellow Award 2016
. He was awarded a Visiting Investigatorship Program (VIP) in MEMS/NEMS Systems by the
A*STAR Science and Engineering Council (SERC)
, Singapore, hosted by
SIMTech
, for the period 2005-2008.
Prof. de Rooij is Corresponding Member of the
Royal Netherlands Academy of Arts and Sciences
and Individual Member of the
Swiss Academy of Engineering Sciences
.
He has been serving on the Editorial Boards of the
IEEE/ASME Journal of Microelectromechanical Systems (IEEE JMEMS)
,
the IEEE proceedings
,
the Journal of Micromechanics and Microengineering, JM & M,
,
the Sensors and Actuators
,and
Sensors and Materials
. He was Member of the Information and Communication technology jury of the BBVA Foundation Frontiers of Knowledge Awards from 2009 to 2012.
Dr. de Rooij is (or was) Member of numerous international steering committees of conference series as well as
technical paper review panels including the steering committee of the International Conference on Solid-State
Sensors and Actuators and of Eurosensors. He acted as European Program Chairman of Transducers '87 and General Chairman of Transducers '89, Montreux, Switzerland.
He has supervised more than 70 Ph.D. students, who have successfully completed their
Ph.D. thesis.
He received his M.Sc. degree in physical chemistry from the State University of Utrecht, The Netherlands, in 1975, and a Ph.D. degree from Twente University of Technology, The Netherlands, in 1978. From 1978 to 1982, he worked at the Research and Development Department of Cordis Europa N.V., The Netherlands.
Ali H. Sayed
Ali H. Sayed est doyen de la Faculté des sciences et techniques de l’ingénieur (STI) de l'EPFL, en Suisse, où il dirige également le laboratoire de systèmes adaptatifs. Il a également été professeur émérite et président du département d'ingénierie électrique de l'UCLA. Il est reconnu comme un chercheur hautement cité et est membre de la US National Academy of Engineering. Il est également membre de l'Académie mondiale des sciences et a été président de l'IEEE Signal Processing Society en 2018 et 2019.
Le professeur Sayed est auteur et co-auteur de plus de 570 publications et de six monographies. Ses recherches portent sur plusieurs domaines, dont les théories d'adaptation et d'apprentissage, les sciences des données et des réseaux, l'inférence statistique et les systèmes multi-agents, entre autres.
Ses travaux ont été récompensés par plusieurs prix importants, notamment le prix Fourier de l'IEEE (2022), le prix de la société Norbert Wiener (2020) et le prix de l'éducation (2015) de la société de traitement des signaux de l'IEEE, le prix Papoulis (2014) de l'Association européenne de traitement des signaux, le Meritorious Service Award (2013) et le prix de la réalisation technique (2012) de la société de traitement des signaux de l'IEEE, le prix Terman (2005) de la société américaine de formation des ingénieurs, le prix de conférencier émérite (2005) de la société de traitement des signaux de l'IEEE, le prix Koweït (2003) et le prix Donald G. Fink (1996) de l'IEEE. Ses publications ont été récompensées par plusieurs prix du meilleur article de l'IEEE (2002, 2005, 2012, 2014) et de l'EURASIP (2015). Pour finir, Ali H. Sayed est aussi membre de l'IEEE, d'EURASIP et de l'American Association for the Advancement of Science (AAAS), l'éditeur de la revue Science.
Luc Thévenaz
De nationalité suisse et né à Genève, Luc Thévenaz a obtenu en 1982 le diplôme de physicien, mention astrophysique, de l'Université de Genève et le doctorat ès sciences naturelles, mention physique, en 1988 de l'Université de Genève. C'est durant ces années de thèse qu'il a développé son domaine d'excellence, en l'occurrence les fibres optiques et leurs applications. En 1988, Luc Thévenaz a rejoint l'Ecole Polytechnique Fédérale de Lausanne (EPFL), où il dirige actuellement un groupe de recherche en photonique, notamment en optique dans les fibres et dans les capteurs. Ses domaines de recherche couvrent les capteurs à fibre optique basés sur la diffusion Brillouin, l'optique non-linéaire dans les fibres, la lumière lente et rapide et la spectroscopie laser dans les gaz. Ses réalisations principales sont: - l'invention d'une configuration innovante pour les capteurs répartis Brillouin, basée sur l'emploi d'une seule source laser, ce qui lui donne une grande stabilité intrinsèque et qui a permis de réaliser les premières mesures hors laboratoire avec ce type de capteur; - le développement d'un capteur de gaz à l'état de traces, basé sur une détection photoacoustique et utilisant une source laser à semi-conducteur dans le proche infra-rouge, pouvant détecter une concentration du gaz au niveau du ppb; - la première démonstration expérimentale de lumière lente et rapide dans les fibres optiques qui puissent être contrôlées par un autre faisceau lumineux, réalisées à température ambiante et fonctionnant à n'importe quelle longueur d'onde grâce à l'exploitation de la diffusion Brillouin. La première vitesse de groupe négative dans les fibres a aussi été démontrée selon le même principe. En 1991, il a visité l'Université PUC de Rio de Janeiro au Brésil, où il a travaillé sur la génération d'impulsions picoseconde avec des diodes laser. En 1991-1992 il a travaillé à l'Université de Stanford aux USA, où il a participé au développement d'un gyroscope basé sur un laser Brillouin à fibre. Il a rejoint en 1998 l'entreprise Orbisphere Laboratories SA à Neuchâtel en Suisse en tant qu'expert scientifique, avec pour tâche de développer des capteurs de gaz à l'état de traces, basés sur la spectroscopie laser photoacoustique. En 1998 and 1999 il a visité le Korea Advanced Institute of Science and Technology (KAIST) à Daejon en Corée du Sud, où il a travaillé sur des capteurs de courant électrique utilisant un laser à fibre optique. En 2000 il a été un des co-fondateurs de l'entreprise Omnisens SA à Morges en Suisse, qui développe et commercialise de l'instrumentation et des capteurs optiques de pointe. En 2007 il a visité l'Université de Tel Aviv, où il a étudié le contrôle tout-optique de la polarisation de la lumière dans les fibres optiques. Durant l'hiver 2010, il a séjourné à l'Université de Sydney en Australie (CUDOS: Centre for Ultrahigh bandwidth Devices for Optical Systems) où il a étudié les apllications de la diffusion Brillouin stimulée dans les guides d'onde à base de verres chalcogénures. En 2014, il a séjourné à L'Université Polytechnique de Valence en Espagne, où il a travaillé sur les applications photoniques pour les micro-ondes exploitant la diffusion Brillouin stimulée. Il a été membre du Consortium formé pour le projet européen FP7 GOSPEL "Gouverner la vitesse de la lumière", a été Président de l'Action Européenne COST 299 "FIDES: Les fibres optiques pour relever les nouveaux défis de la société de l'information" et est auteur ou co-auteur de quelques 480 publications et 12 brevets. Il est actuellement Coordinateur du projet H2020 Marie Skłodowska-Curie Innovative Training Networks FINESSE (FIbre NErve Systems for Sensing). Il est co-Editeur-en-Chef de la revue "Nature Light: Science & Applications" et Membre du Comité Editorial (Editeur Associé) de la revues suivantes: "APL Photonics" et "Laser & Photonics Reviews". Il a été élevé au rang de "Fellow" par l'IEEE, ainsi que par la Société Optique (OSA).