Concept
Fonction (mathématiques)
Personnes associées (32)
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.
Volkan Cevher
Volkan Cevher received the B.Sc. (valedictorian) in electrical engineering from Bilkent University in Ankara, Turkey, in 1999 and the Ph.D. in electrical and computer engineering from the Georgia Institute of Technology in Atlanta, GA in 2005. He was a Research Scientist with the University of Maryland, College Park from 2006-2007 and also with Rice University in Houston, TX, from 2008-2009. Currently, he is an Associate Professor at the Swiss Federal Institute of Technology Lausanne and a Faculty Fellow in the Electrical and Computer Engineering Department at Rice University. His research interests include machine learning, signal processing theory, optimization theory and methods, and information theory. Dr. Cevher is an ELLIS fellow and was the recipient of the Google Faculty Research award in 2018, the IEEE Signal Processing Society Best Paper Award in 2016, a Best Paper Award at CAMSAP in 2015, a Best Paper Award at SPARS in 2009, and an ERC CG in 2016 as well as an ERC StG in 2011.
Johan Auwerx
Johan Auwerx is Professor at the École Polytechnique Fédérale in Lausanne, Switzerland, where he occupies the Nestle Chair in Energy Metabolism. Dr. Auwerx has been using molecular physiology and systems genetics to understand metabolism in health, aging and disease. Much of his work focused on understanding how diet, exercise and hormones control metabolism through changing the expression of genes by altering the activity of transcription factors and their associated cofactors. His work was instrumental for the development of agonists of nuclear receptors - a particular class of transcription factors - into drugs, which now are used to treat high blood lipid levels, fatty liver, and type 2 diabetes. Dr. Auwerx was amongst the first to recognize that transcriptional cofactors, which fine-tune the activity of transcription factors, act as energy sensors/effectors that influence metabolic homeostasis. His research validated these cofactors as novel targets to treat metabolic diseases, and spurred the clinical use of natural compounds, such as resveratrol, as modulators of these cofactor pathways.
Johan Auwerx was elected as a member of EMBO in 2003 and is the recipient of a dozen of international scientific prizes, including the Danone International Nutrition Award, the Oskar Minkowski Prize, and the Morgagni Gold Medal. His work is highly cited by his peers with a h-factor of over 100. He is an editorial board member of several journals, including Cell Metabolism, Molecular Systems Biology, The EMBO Journal, Journal of Cell Biology, Cell, and Science. Dr. Auwerx co-founded a handful of biotech companies, including Carex, PhytoDia, and most recently Mitobridge, and has served on several scientific advisory boards.
Dr. Auwerx received both his MD and PhD in Molecular Endocrinology at the Katholieke Universiteit in Leuven, Belgium. He was a post-doctoral research fellow in the Departments of Medicine and Genetics of the University of Washington in Seattle.
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.
Denis Duboule
Denis Duboule est né en 1955. De Nationalités Suisse et Française, il étudie la biologie à lUniversité de Genève où il reçoit un PhD dans le domaine de lembryologie des mammifères en 1984. Il passe ensuite 10 ans à létranger, dabord comme post-doc et group leader à la faculté de Médecine de Strasbourg (CNRS), puis au Laboratoire Européen de Biologie Moléculaire, à Heidelberg (Allemagne). En 1993, il est nommé Professeur ordinaire à lUniversité de Genève, où il dirige le département de Génétique et Evolution depuis 1997. En 2001 il prend la direction du pôle dexcellence NCCR aux Frontières de la Génétique et celle de la division médecine-Biologie du FNS en 2012. En 2006, il est nommé Professeur ordinaire à lEPFL, Lausanne, où il dirige le laboratoire de Génomique du Développement (UpDUB).
Ses activités de recherche sexercent dans le domaine de lembryologie, de la génétique et de la génomique du développement des mammifères, dans le contexte général de lEvolution des structures et des organes. En particulier, son laboratoire a été associé à de nombreuses recherches dans le domaine de lanalyse structurelle et fonctionnelle des gènes architectes (Hox) et de leur régulation transcriptionnelle pendant le développement précoce. Denis Duboule est également actif dans le domaine de la communication de la science. Il est membre de lAcademia Europea ainsi que dautres académies. Il est également membre de lInstitut de France (Académie des Sciences), de la Société Royale (UK) et de lAcadémie des Sciences Américaine (NAS). Il a reçu plusieurs prix et distinction, notamment le Prix Marcel Benoist, le Prix Louis-Jeantet de Médecine en 1998 et le Prix international de lINSERM en 2010. Voir également https://fr.wikipedia.org/wiki/Denis_Duboule.
David Andrew Barry
Research InterestsSubsurface hydrology, constructed wetlands, ecological engineering, in particular contaminant transport and remediation of soil and groundwater; more generally, models of hydrological and vadose zone processes; application of mathematical methods to hydrological processes; coastal zone sediment transport, aquifer-coastal ocean interactions; hydrodynamics and modelling of lakes.