Luca Cardelli

Latest

• Computing with biological switches and clocks
• Programmable chemical controllers made from DNA
• Design and analysis of DNA strand displacement devices using probabilistic model checking
• Abstractions for DNA circuit design
• A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization
• Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics
• A process model of Rho GTP-binding proteins
• A programming language for composable DNA circuits
• A Process Model of Actin Polymerisation
• Compositionality, stochasticity, and cooperativity in dynamic models of gene regulation
• Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
• A Compositional Approach to the Stochastic Dynamics of Gene Networks
• A Graphical Representation for Biological Processes in the Stochastic pi-Calculus