World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
45
Citations
10286
World Ranking
7109
National Ranking
156

Overview

Vincent Danos is affiliated with the École Normale Supérieure in France and conducts research primarily in the field of Computer Science. Their work spans multiple subfields including Molecular Biology, Artificial Intelligence, Management Science and Operations Research, Economics and Econometrics, and Information Systems.

The scientist's research topics include:

  • DNA and Biological Computing
  • Gene Regulatory Network Analysis
  • Stochastic Gradient Optimization Techniques
  • Advanced Database Systems and Queries
  • COVID-19 epidemiological studies
  • Complex Systems and Time Series Analysis
  • Simulation Techniques and Applications

Vincent Danos has contributed to several scholarly publications. Notable papers include:

  • "The Born supremacy: quantum advantage and training of an Ising Born machine" (2020), published in npj Quantum Information
  • "Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems" (2020), published in HAL (Le Centre pour la Communication Scientifique Directe)
  • "Compositional modelling of immune response and virus transmission dynamics" (2022), published in Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
  • "Front Matter, Table of Contents, Preface, Conference Organization" (2020), published by Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • "Rule-based epidemic models" (2021), published in Journal of Theoretical Biology

The frequent coauthors associated with Vincent Danos are Julien Prat, Andrea Canidio, Nicolas Behr, Ilias Garnier, and William Waites.

Publication venues that have frequently featured Vincent Danos's work include:

  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Technische Universität Berlin - Universitätsbibliothek
  • arXiv (Cornell University)
  • npj Quantum Information
  • HAL (Le Centre pour la Communication Scientifique Directe)

Best Publications

  • Disjunctive Tautologies as Synchronisation Schemes

    Vincent Danos;Jean-Louis Krivine

  • Formal molecular biology

    Vincent Danos;Cosimo Laneve

  • The structure of multiplicatives

    Vincent Danos;Laurent Regnier

  • Mechanistic links between cellular trade-offs, gene expression, and growth.

    Andrea Y. Weiße;Diego A. Oyarzún;Vincent Danos;Peter S. Swain

  • Rule-based modelling of cellular signalling

    Vincent Danos;Jérôme Feret;Walter Fontana;Russell Harmer

  • Reversible communicating systems

    Vincent Danos;Jean Krivine

  • Transactions in RCCS

    Vincent Danos;Jean Krivine

  • Internal coarse-graining of molecular systems

    Jérôme Feret;Vincent Danos;Jean Krivine;Russ Harmer

  • Scalable simulation of cellular signaling networks

    Vincent Danos;Jérôme Feret;Walter Fontana;Jean Krivine

  • Modeling and querying biomolecular interaction networks

    Nathalie Chabrier-Rivier;Marc Chiaverini;Vincent Danos;François Fages

  • The measurement calculus

    Vincent Danos;Elham Kashefi;Prakash Panangaden

  • A new deconstructive logic: linear logic

    Vincent Danos;Jean-Baptiste Joinet;Harold Schellinx

  • Probabilistic game semantics

    Vincent Danos;Russell S. Harmer

  • The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

    Vincent Danos;Vincent Danos;Vincent Danos;Jean-Baptiste Joinet;Jean-Baptiste Joinet;Harold Schellinx;Harold Schellinx

  • Determinism in the one-way model

    Vincent Danos;Elham Kashefi

  • The Born supremacy: quantum advantage and training of an Ising Born machine

    Brian Coyle;Daniel Mills;Vincent Danos;Vincent Danos;Elham Kashefi;Elham Kashefi

  • Game Semantics & Abstract Machines.

    Vincent Danos;Hugo Herbelin;Laurent Regnier

  • Probabilistic coherence spaces as a model of higher-order probabilistic computation

    Vincent Danos;Thomas Ehrhard

  • Linear logic and elementary time

    Vincent Danos;Jean-Baptiste Joinet

  • LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication

    Vincent Danos;Jean-Baptiste Joinet;Harold Schellinx

  • Abstract interpretation of cellular signalling networks

    Vincent Danos;Jérôme Feret;Walter Fontana;Jean Krivine

  • Formal Molecular Biology Done in CCS-R

    Vincent Danos;Jean Krivine

Frequent Co-Authors

Prakash Panangaden
Prakash Panangaden McGill University
Gordon Plotkin
Gordon Plotkin University of Edinburgh
Glynn Winskel
Glynn Winskel University of Cambridge
Reiko Heckel
Reiko Heckel University of Leicester
Jamie A. Davies
Jamie A. Davies University of Edinburgh
Maurice Herlihy
Maurice Herlihy Brown University
François Laviolette
François Laviolette Université Laval

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens up various online degree options and career paths. Many aspiring professionals start with an online associate degree in computer science, which provides foundational skills and can be completed quickly and affordably.

For those seeking higher credentials, pursuing one of the most valuable masters degrees can lead to advanced careers in fields like artificial intelligence, software engineering, or cybersecurity. Admission to graduate programs can be competitive, but some online graduate programs that accept 2.0 gpa make career advancement possible for students with lower undergraduate GPAs.

Cost is a common concern when considering further education. Fortunately, students can find cheap online colleges that offer quality computer science programs without a high price tag. These flexible, accessible online pathways help students of all backgrounds pursue rewarding careers in tech.

Best Scientists Citing Vincent Danos

Trending Scientists

Recently Published Articles