Vincent Danos

Professor, University of Edinburgh

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).

Program Visits

Proofs, Consensus, and Decentralizing Society, Fall 2019, Visiting Scientist
Logical Structures in Computation, Fall 2016, Visiting Scientist