Michael A. Boemo

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 1

Top Topics

Automated Design

Biological Systems

Top Venues

PLoS Comput. Biol.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Michael A. Boemo, Luca Cardelli, Conrad A. Nieduszynski
The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems. PLoS Comput. Biol. 16 (3) (2020)
Michael A. Boemo, Andrew J. Turberfield, Luca Cardelli
Automated Design and Verification of Localized DNA Computation Circuits. DNA (2015)