Concept
Tableau (structure de données)
Personnes associées (48)
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.
Jürgen Brugger
I 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.
David Atienza Alonso
David 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.
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.
Edoardo Charbon
voir version Anglaise
Martin Odersky
Martin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET.
Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.
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.