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.