Concept
Theory of computation
Personnes associées (30)
Michael Christoph Gastpar
Michael 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.
Rachid Guerraoui
Rachid Guerraoui has been affiliated with Ecole des Mines of Paris, the Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technology. He has worked in a variety of aspects of distributed computing, including distributed algorithms and distributed programming languages. He is most well known for his work on (e-)Transactions, epidemic information dissemination and indulgent algorithms.
He co-authored a book on Transactional Systems (Hermes) and a book on reliable distributed programming (Springer). He was appointed program chair of ECOOP 1999, ACM Middleware 2001, IEEE SRDS 2002, DISC 2004 and ACM PODC 2010.
His publications are available at http://lpdwww.epfl.ch/rachid/papers/generalPublis.html
Karl Aberer
Co-Founder of LinkAlong Sarl, 2017.Vice-president EPFL for Information Systems, 2012 –2016.Director of the Swiss National Centre for Mobile Information and Communication Systems NCCR MICS (mics.ch), 2005 -2012.Member of the Swiss Research and Technology Council SWTR, consulting the Swiss Federal government, 2004 - 2011.
Martin Vetterli
Martin 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.
Colin Neil Jones
Colin Jones is an Associate Professor in the Automatic Control Laboratory at the Ecole Polytechnique Federale de Lausanne (EPFL) in Switzerland. He was a Senior Researcher at the Automatic Control Lab at ETH Zurich until 2011 and obtained a PhD in 2005 from the University of Cambridge for his work on polyhedral computational methods for constrained control. Prior to that, he was at the University of British Columbia in Canada, where he took a BASc and MASc in Electrical Engineering and Mathematics. Colin has worked in a variety of industrial roles, ranging from commercial building control to the development of custom optimization tools focusing on retail human resource scheduling. His current research interests are in the theory and computation of predictive control and optimization, and their application to green energy generation, distribution and management.
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.