David Andrew BarryResearch 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.
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.
Pascal FuaPascal Fua received an engineering degree from Ecole Polytechnique, Paris, in 1984 and the Ph.D. degree in Computer Science from the University of Orsay in 1989. He then worked at SRI International and INRIA Sophia-Antipolis as a Computer Scientist. He joined EPFL in 1996 where he is now a Professor in the School of Computer and Communication Science and heads the Computer Vision Laboratory. His research interests include shape modeling and motion recovery from images, analysis of microscopy images, and Augmented Reality. His research interests include shape modeling and motion recovery from images, analysis of microscopy images, and machine learning. He has (co)authored over 300 publications in refereed journals and conferences. He is an IEEE Fellow and has been an Associate Editor of IEEE journal Transactions for Pattern Analysis and Machine Intelligence. He often serves as program committee member, area chair, and program chair of major vision conferences and has cofounded three spinoff companies (Pix4D, PlayfulVision, and NeuralConcept).
Charles PfisterOriginaire de Zürich, Charles-Edouard Pfister est né à Genève en 1948. Il obtient une maturité scientifique à Neuchâtel (1967). Il étudie à l'EPFZ en section de mathématiques et physique et obtient un diplôme d'Etudes supérieures de Science Physique (1972). Il poursuit sa formation à l'EPFZ en tant qu'assistant et soutient sa thèse en 1974 dans le domaine de la mécanique statistique. De 1975 à 1976 il travaille à l'Université de Bielefeld (D) comme collaborateur scientifique du Zentrum für interdisziplinäre Forschung. En 1977 il est chercheur associé du CNRS au Laboratoire de physique théorique de Marseille (F). Il rejoint ensuite le département de mathématiques de Rutgers University (N.J. USA) à partir de 1978.
Il entre à l'EPFL en octobre 1979. Il est nommé adjoint scientifique aux départements de mathématiques et de physique en 1989 et reçoit le titre de professeur en 1996. Il enseigne les méthodes mathématiques de la physique et la théorie des probabilités. Son domaine de recherche est la physique mathématique (mécanique statistique et mécanique quantique), la théorie des processus stochastiques sur réseau et les systèmes dynamiques.
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.
Martin HaslerAfter a PhD and a postdoc in theoretical physics, Martin Hasler has pursued reasearch in electrical circuit and filter theory. His current interests are the applications of nonlinear dynamics in engineering and biology. In particular, he is interested in information processing in biological and technological networks. He is most well-known for his work in communications using chaos and in synchronization of networks of dynamical systems.
He joined EPFL in 1974, became a titular professor in 1984 and a full professor in 1998. In 2002, he was acting Dean of the School of Computer and Communication Sciences. He was elected Fellow of the IEEE in 1993. He was the general chair of ISCAS 2000 in Geneva. He was Associate Editor of the IEEE Transactions in Circuits and Systems from 1991 to 1993 and Editor-in-Chief from 1993 to 1995. He was elected vice-president for Technical Activities of the IEEE Circuits and Systems Society from 2002 to 2005. He is a member of the Research Council of the Swiss National Science Foundation.
