Personal profile
Research Interests
Foundational approaches to quantitative biology; syntaxes for representing, modelling, and understanding large protein networks; concurrent and stochastic systems.
Qualifications
Biography
I am Directeur de Recherches at CNRS, Chair of Computational Systems Biology at the University of Edinburgh (under the SICSA funding scheme). I was Director of Synthsys the Centre for Synthetic and Systems Biology at Edinburgh in 2012-2013; an external faculty member of the Santa Fe Institute (2007-2009), and a visiting Professor at the Harvard Medical School (2006-2009).
I work on clean and scaleable domain-specific modeling/programming languages, mostly, but not only, for systems and synthetic biology. I am taking part in cross-disciplinary activities meeting on algorithmic/mathematical structures for modelling (social systems, economical systems, climate, multi-scale plant growth, etc) with the Edinburgh Multidisciplinary Multiscale Modelling initiative.
Fingerprint
- 1 Similar Profiles
-
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Behr, N., Danos, V. & Garnier, I., 10 Jul 2020, In: Logical Methods in Computer Science. 16, 3, p. 1-45 45 p., 3.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The Born supremacy: quantum advantage and training of an Ising Born machine
Coyle, B., Mills, D., Danos, V. & Kashefi, E., 8 Jul 2020, In: npj Quantum Information. 6, 1, 11 p., 60.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Annotations for Rule-Based Models
Cavaliere, M., Danos, V., Honorato-Zimmer, R. & Waites, W., 2019, Modeling Biomolecular Site Dynamics: Methods and Protocols. Hlavacek, W. S. (ed.). New York, NY: Humana Press, p. 271-296 26 p. (Methods in Molecular Biology; vol. 1945).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
A Genetic Circuit Compiler: Generating Combinatorial Genetic Circuits with Web Semantics and Inference
Waites, W., Misirli, G., Cavaliere, M., Danos, V. & Wipat, A., 21 Dec 2018, In: ACS Synthetic Biology. 7, 12, p. 2812-2823 12 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Borel Kernels and their Approximation, Categorically
Dahlqvist, F., Silva, A., Danos, V. & Garnier, I., 11 Dec 2018, In: Electronic Notes in Theoretical Computer Science. 341, p. 91-119 29 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Projects
- 7 Finished
-
Quantum Computing Platform for NISQ Era Commercial Applications
Kashefi, E. (Principal Investigator) & Danos, V. (Co-investigator)
1/09/20 → 31/12/23
Project: Research
-
Quantum Computing Platform for NISQ Era Commercial Applications
Kashefi, E. (Principal Investigator) & Danos, V. (Co-investigator)
UK central government bodies/local authorities, health and hospital authorities
1/09/20 → 31/08/23
Project: Research
-
Formal Decomposition of Strongly coupled Systems
Danos, V. (Principal Investigator)
UK industry, commerce and public corporations
1/07/16 → 30/06/19
Project: Research
-
SynthSys-Mammalian: Edinburgh Mammalian Synthetic Biology Research Centre
Danos, V. (Principal Investigator)
Biotechnology and Biological Sciences Research Council
14/11/14 → 31/03/22
Project: Research
-
RULE
Danos, V. (Principal Investigator) & Plotkin, G. (Co-investigator)
1/02/13 → 31/01/18
Project: Research