Vitor Pessoa ColomboVitor grew up in São Paulo (Brazil) and studied architecture in Switzerland (B.Sc. École Polytechnique Fédérale de Lausanne, M.Sc. Accademia di Architettura di Mendrisio). Since 2016, he has conducted research on urbanization processes in cities of the global South. He has focused his research on "citizen mapping" methods that provide spatial information useful to support the improvement of vulnerable human settlements in cities marked by socio-spatial segregation. Now he conducts a PhD project at EPFL's CEAT unit to investigate how different urban morphologies relate to the occurence of diarrhoeal diseases in the context of rapid and largely informal urbanization processes.
Sean Lewis HillSean Hill is co-Director of Blue Brain, a Swiss national brain initiative, where he leads the Neuroinformatics division, based at the Campus Biotech in Geneva, Switzerland. He also directs the Laboratory for the Neural Basis of Brain States at the École Polytechnique Fédérale de Lausanne (EPFL). Dr. Hill served as the Executive Director (2011-2013) and Scientific Director (2014-2016) of the International Neuroinformatics Coordinating Facility (INCF) at the Karolinska Institutet in Stockholm, Sweden. Dr. Hill has extensive experience in building and simulating large-scale models of brain circuitry and has also supervised and led research efforts exploring the principles underlying the structure and dynamics of neocortical and thalamocortical microcircuitry. He currently serves in management and advisory roles on several large-scale clinical informatics initiatives around the world. After completing his Ph.D. in computational neuroscience at the Université de Lausanne, Switzerland, Dr. Hill held postdoctoral positions at The Neurosciences Institute in La Jolla, California and the University of Wisconsin, Madison, then joined the IBM T.J. Watson Research Center where he served as the Project Manager for Computational Neuroscience at Blue Brain until his appointment at the EPFL.
Graham KnottGraham Knott received his degree in physiology from the University of Southampton, UK, in 1990, and his PhD in neuroscience from the University of Tasmania, Australia, in 1995. He moved to the University of Lausanne in Switzerland in 1999 where he researched the plasticity of neuronal connectivity in the adult brain, developing correlative light and electron microscopy methods for the analysis of in vivo imaged neurons. In 2006 Graham joined the Ecole Polytechnique Fédérale de Lausanne, establishing the Bio Electron Microscopy Facility and has continued his research interests in brain plasticity and 3D electron microscopy.
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.
Serge VaudenaySerge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.
