Vincent Danos is Directeur de Recherches at CNRS, Departement d'Informatique of ENS, Chair of Computational Systems Biology at the University of Edinburgh (on sabbatical), and a member of the Board of the Centre de Recherches Interdisciplinaires (CRI) in Paris. He works on clean and scalable domain-specific modeling/programming languages, mostly, but not only, for systems and synthetic biology. He has a research interest in cross-disciplinary activities and convergence on algorithmic/mathematical structures for modeling (social systems, economical systems, climate, multi-scale plant growth, etc).
- Logical Structures in Computation, Fall 2016. Visiting Scientist.