- All Talks
- Presentations
- Summaries
Talks
- Sequenceable Event Recorders
- Integrated Scientific Modeling and Lab Automation
- [PDF] Applied Systems Biology Course at Pázmány Péter Catholic University, September 27, 2022.
- [PDF] SPLASH 2021 Keynote, October 21, 2021. https://2021.splashcon.org/
- [PDF] QAVAS Group talk, Oxford, September 28, 2021.
- [PDF] DNA 27 Keynote, Oxford, September 15, 2021. http://dna27.iopconfs.org/oral-programme
- [PDF] IMT Lucca, June 17, 2021.
- [PDF] University of Washington, May 13, 2021.
- [PDF] [Video] APLAS 2020, Virtual, November 30, 2020.
- [PDF] [Video] CMSB 2020, Virtual, September 25, 2020.
- [PDF] Biocompute Club, Virtual, May 15, 2020.
- [PDF] IWBDA Workshop, Cambridge, July 9, 2019.
- Molecular Programming / Telling Molecules What To Do
- [PDF] Applied Systems Biology School, Budapest, September 21, 2021.
- [PDF] ACM Summer School on HPC for AI, Barcelona, August 30, 2021.
- [PDF] IMT Lucca, June 17, 2021.
- [PDF] UPTEC Future of Computing, Porto, July 4, 2019.
- [PDF] UPTEC Future of Computing, Porto, June 26, 2018.
- [PDF] Edinburgh, Milner Lecture, May 31, 2017.
- [PDF] University of Pisa, April 3, 2017.
- [PDF] Distinguished Lecture, Lisbon, September 28, 2016.
- [PDF] IMT Lucca, November 25, 2015.
- [PDF] Winton Symposium, Cambridge, September 28, 2015.
- [PDF] University of Sussex, April 17, 2015.
- [PDF] ECOOP Keynote, July 30, 2014.
- [PDF] Microsoft Redmond, June 22, 2013.
- [PDF] Hasselt, May 15, 2013.
[PDF]
Microsoft Engineering Excellence Talk, Redmond, December
6, 2012.
- Programming with Chemical Reactions
- IMT Lucca Lecture Series
- [PDF] Molecular Programming (Lucca), March 28, 2017.
- [PDF] Abstract Machines of SysBio (Lucca), March 29, 2017.
- [PDF] Programming with Chemical Reactions (Lucca), March 30, 2017.
- [PDF] Biochemical Algorithms (Lucca), March 30, 2017.
- [PDF] Synthetic Biology (Lucca), March 30, 2017.
- St Andrews Distinguished Lecture
Series
- [PDF] Molecular Programming, November 25, 2014.
- [PDF] The Cell Cycle Switch Computes Approximate Majority, November 25, 2014.
- [PDF] Morphisms of Reaction Networks, November 25, 2014.
- Noise Reduction in Complex
Biological Switches
- [PDF] Simons Foundation Conference on Theory and Biology, New York, April 22, 2016.
- [PDF] NETADIS Statistical Physics Approaches to Networks Across Disciplines, London, October 23, 2015.
- Morphisms of Reaction Networks
- [PDF] Beilstein Symposium, June 6, 2018.
- [PDF] Computational Methods in Systems Biology, Invited Talk, Cambridge, September 22, 2016.
- [PDF] Rockefeller University, New York, April 21, 2016.
- [PDF] HSB Madrid, Fourth International Workshop on Hybrid Systems Biology, Invited Talk, September 4, 2015.
- [PDF] London Mathematical Society, October 29, 2014.
- [PDF] VEMDP Vienna, July 17, 2014.
- [PDF] Molecular Robotics Workshop, Oxford, July 15, 2014.
- [PDF] IMT Lucca, July 8, 2014.
- [PDF] BIRS Programming with CRNs, Banff, June 11, 2014.
- Challenges in Massive
Concurrency
- [PDF] Oxford, January 15, 2014.
- Stochastic
Pi-Calculus Revisited
- [PDF] ICTAC'13, Shanghai, September 5, 2013.
- The Cell Cycle Switch Computes
Approximate Majority
- [PDF] Caltech General Biology Seminar, 2015-06-02.
- [PDF] Universita' Ca' Foscari, 2015-04-08.
- [PDF] Computers and Molecules Workshop, Weizmann Institute of Science, Tel Aviv, 2015-03-02.
- [PDF] CANES launch event, King's College, London 2014-10-08.
- [PDF] MSR Workshop on Algorithms and Data Science, Cambridge 2014-05-15.
- [PDF] MSRC Technical Advisory Board, Cambridge 2014-05-12.
- [PDF] Iowa State University, Robert Stewart Distinguished Lecture, May 1, 2014. Robert Stewart Distinguished Lectures
- [PDF] Northwestern University, CS+X Colloquium, April 29, 2014. CS+X Colloquium - Norwestern News
- [PDF] Middlesex Algorithms Day, March 14, 2014.
- [PDF] UCSF Center for Systems and Synthetic Biology, March 3, 2014.
- [PDF] Oxford, February 14, 2014.
- [PDF] Warwick, January 9, 2014.
- [PDF] Aalborg, August 7, 2013.
- [PDF] Anchorage, June 17, 2013.
- [PDF] Princeton, May 21, 2013.
- [PDF] Edinburgh, November 6, 2012.
- [PDF] Liverpool, July 16, 2012.
- [PDF] MSRC TAB, Cambridge, June 12, 2012.
- [PDF] Dublin, May 25, 2012.
- [PDF] ISAT Workshop, SRI, March 7, 2012.
- Computing
with Molecules
- [PDF] Developments in Computational Models, Cambridge, June 17, 2012.
- Biochemical Systems as Reactive
Systems
- [PDF] Applied Systems Biology Course at Pázmány Péter Catholic University, September 19, 2023. https://sites.google.com/view/applied-system-biology-course
- [PDF] Bioinformatics Master Course Lecture, Cambridge, February 20, 2012.
- [PDF] Bioinformatics Master Course Lecture, Cambridge, February 22, 2011.
- On Switches and Oscillators
- On
Speaking Languages
- [PDF] MacQueen Fest, Chicago, May 12, 2012.
- Reversible Structures
- Continuous
Markovian Logic
- [PDF] CSL'11, September 15, 2011.
- Modular
Markovian Logic
- [PDF] ICALP'11, July 7, 2011.
- Speaking
the Language of Molecules
- [PDF] Dublin, May 25, 2012.
- [PDF] ISAT Workshop, SRI, March 7, 2012.
- [PDF] INRIA Scientific Board (short), Paris, November 18, 2011.
- [PDF] Syngenta, October 12, 2011.
- [PDF] CISBIO Open Day, July 13, 2011.
- [PDF] Modelling Complex Biological Systems in the Context of Genomics, Sophia Antipolis, May 26, 2011.
- [PDF] BioBITs, Torino, May 6, 2011.
- [PDF] CSE Distinguished Lecture Series, University of Washington, November 16, 2010.
- The Measurable Space of
Stochastic Processes
- [PDF] Quantitative Evaluation of Systems '10, Williamsburg, September 17, 2010.
- Two-Domain
DNA Strand Displacement
- [PDF] MSRC TAB, Cambridge, June 14, 2011.
- [PDF] Frontiers of Multidisciplinary Research, Exeter, September 21, 2010.
- [PDF] Developments in Computational Methods '10, Edinburgh, July 9, 2010.
- [PDF] Verification over Discrete-Continuous Boundaries, Dagstuhl, July 6, 2010.
- [PDF] University of Tokyo, June 19, 2010.
- Spatial Process Algebra for Developmental Biology / Processes in Space
- Molecules as Automata, Open Lectures for PhD Students in Computer Science
- Molecular
Programming
- [PDF] MergingKnowledge, Trento, December 1, 2010.
- [PDF] Seven Keys to the Digital Future - Guest Lecture, Edinburgh, Sepember 30, 2010.
- [PDF] MSRC PhD Summer School, June 30, 2010.
- [PDF] UC'10 Invited Talk, Tokyo, June 21, 2010.
- [PDF] CS2Bio Invited Talk, Amsterdam, June 10, 2010.
- [PDF] Reactive Modeling Symposium, IST Austria, May 6, 2010.
- [PDF] Torino, March 24, 2010.
- [PDF] SimuTools Keynote, Malaga, March 16, 2010.
- [PDF] Exeter, March 10, 2010.
- [PDF] Oxford, February 12, 2010.
- [PDF] MSRC Lab Tutorial, Cambridge, February 11, 2010.
- [PDF] Caltech, January 11, 2010.
- [PDF] BIC-TA Keynote, Beijing, October 17, 2009.
- [PDF] SynBioNT Meeting, Sheffield, October 12, 2009.
- [PDF] University of Bologna, September 7, 2009.
- [PDF] University of Southampton, July 10, 2009.
- [PDF] Microsoft Redmond, June 29, 2009.
- Strand
Algebras for DNA Computing
- [PDF] University of Washington, June 30, 2009.
- [PDF] 15th International Meeting on DNA Computing and Molecular Programming, Fayetteville AR, June 10, 2009.
- [PDF] Edinburgh, October 31, 2008.
- Molecules as Automata, International Summer School on Natural Computation, BCN'08
- Termination Problems in Chemical
Kinetics
- [PDF] CONCUR'08, Toronto, August 22, 2008.
- Tools and Techniques for
Discrete Systems Analysis
- [PDF] C.elegans Modelling Workshop, Cambridge, July 7, 2008.
- On The Computational Power of Biochemistry
- Process
Rate Semantics
- [PDF] Trento, March 13, 2008.
- From
Processes to ODEs by Chemistry
- [PDF] 5th IFIP International Conference on Theoretical Computer Science, Milan, September 13, 2008.
- Living
Software
- [PDF] L'INRIA a Quarante Ans, Lille, December 10, 2007.
- Molecules
as Automata
- [PDF] Emergence in Chemical Systems 2.0, Invited talk, Anchorage AK, June 25, 2009.
- [PDF] Formal Methods in Molecular Biology, Keynote talk, Dagstuhl, February 24 2009.
- [PDF] (Overview) Molecular Programming Project Workshop, Keynote talk, Oxnard, January 8 2009.
- [PDF] Scheffield, October 24, 2008.
- [PDF] International Summer School on Natural Computation (Part 1), Bertinoro, September 21, 2008.
- [PDF] University of Western Ontario, London Ontario, August 22, 2008.
- [PDF] NSF Emerging Models and Technologies Workshop, Princeton, July 25, 2008.
- [PDF] NEWSYNBIO Workshop, Paris, June 27, 2008.
- [PDF] WADT'08 Invited Talk, Pisa, June 14, 2008.
- [PDF] DNA Computing'08 Plenary Talk, Prague, June 3, 2008.
- [PDF] Leicester, November 30, 2007.
- [PDF] Workshop on Quantitative Biology Analyzed by Mathematical Methods, Linz, November 08, 2007.
- [PDF] Doctoral Workshop, Pisa, October 26, 2007.
- [PDF] QEST 2007, Edinburgh, September 19, 2007.
- An
Accidental Simula User
- [PDF] ECOOP 2007, Dahl-Nygaard Senior Prize, August 2, 2007.
- On
Process Rate Semantics
- [PDF] MFPS'08 Invited Talk, Philadelphia, May 24, 2008.
- [PDF] University of Pennsylvania, Computer and Information Science Dept, May 30, 2007.
- Artificial
Biochemistry
- [PDF] Algorithmic Bioprocesses, Leiden. Dec 4, 2007.
- [PDF] MSRC 10th Anniversary. July 9, 2007.
- [PDF] Longo Symposium. June 29, 2007.
- [PDF] Carnegie Mellon University, POP Seminar. May 31, 2007.
- [PDF] University of Pennsylvania, Computer and Information Science Distinguished Lecture Series, May 29, 2007.
- [PDF] Newcastle School of Computing Science. May 15, 2007.
- [PDF] INRIA Sophia Antipolis. May 10, 2007.
- [PDF] BioWire 2007 Workshop, Cambridge. April 3, 2007.
- [PDF] QAPL'07 Invited Talk, Braga. March 24, 2007.
- [PDF] Centre for Computational and Systems Biology, Trento. Feb 21, 2007.
- [PDF] Emerging trends in concurrency theory. Paris. Nov 15, 2006.
- [PDF] Understanding Adaptive Multi-Component Systems. Rostock. Nov 10, 2006.
- [PDF] Santa Fe Institute, Annual Business Network & Board of Trustees' Symposium. Nov 3, 2006.
- [PDF] CMSB'06 Invited Talk, Oct 19, 2006.
- [PDF] Grand Challenges in Informatics, Sep 20, 2006.
- [PDF] Symposium for Gordon Plotkin, Sep 7, 2006.
- [PDF] Computability in Europe, Invited Talk, July 5, 2006.
- [PDF] Logic and Algorithms Program, Newton Institute, Cambridge, May 9, 2006.
- [PDF] Simulation and Verification of Dynamic Systems, Dagstuhl Seminar, April 20, 2006.
- [PDF] Scientific Opening Workshop, Centre for Computational and Systems Biology, Trento, April 3, 2006.
- Can
a Systems Biologist Fix a Tamagotchi?
- [PDF] Gilles Kahn Colloquium, Paris, January 12, 2007.
- Artificial Biochemistry
(Course)
- Artificial Biochemistry Course
- [PDF].zip(16M) University of Trento, May 22-26, 2006.
- Bitonal
Membrane Systems
- [PDF] Workshop on Membrane Computing and Biologically Inspired Process Calculi, Venice, July 9, 2006.
- A Compositional Approach to the Stochastic Dynamics of Gene Networks
- A Graphical Representation for
Stochastic π-calculus
- [PDF] BioConcur 2005, August 27, 2005.
- Where
Membranes Meet Complexes
- [PDF] BioConcur 2005, August 27, 2005.
- Biological Systems as Reactive
Systems (for biologists)
- [PDF] Birmingham, Mar 20, 2006.
- [PDF] Ludwig Maximilians Universitt Munich, Jan 26, 2006.
- [PDF] Southampton, Nov 21, 2005.
- [PDF] European Conference on Complex Systems 2005 Invited Talk, Nov 15, 2005.
- [PDF] Cambridge Anatomy Department, Jul 5, 2005.
- [PDF] Cambridge Computational Biology Institute MPhil Lecture, May 5, 2005.
- [PDF] Munich MSFB Workshop, Apr 6, 2005.
- Biological Networks in
Stochastic pi-calculus
- [PDF] Imperial College London, February 17, 2005.
- A Correct Abstract Machine for
the Stochastic pi-calculus
- [PDF] A Correct Abstract Machine for the Stochastic pi-calculus, BioConcur, August 30, 2004.
- [PDF] Simulating Biological Systems in the Stochastic pi-calculus. Microsoft Research Intern Talk, July 28, 2004.
- Abstract
Machines of Systems Biology
- [PDF] Simulation and Verification of Dynamic Systems, Dagstuhl Seminar, April 19, 2006.
- [PDF] Max Planck Institute for Software Systems, Saarbrucken, Mar 23, 2006.
- [PDF] Newton Institute, Feb 21, 2006.
- [PDF] Summer School on Biology Computation and Information, Dobbiaco, Sep 12..16, 2005.
- [PDF] Computer Science Dept. Lausanne, Jun 3, 2005.
- [PDF] Computer Science Dept. Brighton, Mar 21, 2005.
- [PDF] Computer Science Dept. York, Mar 16, 2005.
- Languages
& Notations for Systems Biology
- [PDF] Galileo Galilei School of Graduate Studies Colloquium, Pisa, December 14, 2004.
- [PDF] Computer Science Dept, Sheffield, November 12, 2004.
- [PDF] Unconventional Programming Paradigms, Invited Talk, Le Mount St.Michel, September 15, 2004.
- [PDF] NETTAB Invited Talk, Camerino, September 7, 2004.
- [PDF] University College London, May 17, 2004.
- [PDF] [Executive Abstract] FET Workshop on Simulating Emergent Properties in Complex Systems, Bruxelles, May 12, 2004.
- Membrane
Interactions
- [PDF] Logic and Systems Biology Workshop, Turku, July 18, 2004.
- [PDF] [PDF] International School on Computational Sciences for Complex Systems in Biology, Rovereto, April 23, 2004.
- [PDF] Imperial College London, March 24, 2004.
- [PDF] New University of Lisbon, November 12, 2003.
- [PDF] Queen Mary U.London, October 22, 2003.
- [PDF] BioConcur'03, September 6, 2003.
- [PDF] Microsoft Research Cambridge, August 6, 2003.
- Transitions
in Programming Models
- [PDF] ICSE'05 St.Louis, Keynote Talk, May 18, 2005
- [PDF] DISC'04 Amsterdam, Invited Talk, October 6, 2004
- [PDF] New University of Lisbon, November 13, 2003.
- [PDF] Microsoft Research European Faculty Summit, Cambridge, July 16, 2003.
- Languages
for Molecular Cell Biology
- [PDF] Microsoft Redmond Technical Advisory Board, June 23, 2003.
- From
C# to Cinfinity
- [PDF] Second Rotor Workshop, Pisa, April 23, 2003.
- Manipulating Trees with Hidden
Labels
- [PDF] FOSSACS'03, Warsaw, April 8, 2003.
- [PDF] CONCUR, Brno, August 21, 2002.
- Mobility and Spatial Logics (Minicourse)
- Computation on Wide Area Networks (Minicourse)
- Globality
- [PDF] ETAPS'01 Invited Talk, Genova, April 4 2001.
- A Query Language Based on the
Ambient Logic
- [PDF] Concoord Workshop, Invited Talk, Lipari, July 6 2001.
- Birkbeck College London, Feburary 28 2001.
- Global
Computing
- [PDF] Edinburgh, September 2000. IST FET Global Computing Consultation Workshop.
- Logics for Mobility
- Wide
Area Computation
- [PDF] Valladolid, November 2000.
- [PDF] Tokyo, August 2000.
- Secrecy
and Group Creation
- [PDF] MFCSIT'00, Cork, July 20, 2000.
- Semistructured
Computation
- [PDF] DBPL'99 Invited Talk, Kinloch Rannoch, September 2, 1999.
- Mobility
and Security (Minicourse)
- [PDF] Lectures for the Marktoberdorf School on Foundations of Secure Computation, July 28 - August 7, 1999.
- Anytime, Anywhere
- Abstractions for Mobile Computation (Tutorial)
- Mobile
Ambients
- [PDF] ETAPS'98, March 30 1998, Lisbon Portugal.
- Abstractions for Mobile
Computation
- [PDF] April 30 1997, Princeton.
- Everything
is an Object
- [PDF] Keynote Talk, ECOOP'97 Workshop on Prototype-based languages, Jyvaskyla Finland.(1997)
- Object-Based
Features
- [PDF] Berkeley Lecture, March'97.
- Objects,
Classes, Abstractions
- [PDF] FOOL'97 Invited Talk.(1997)
- Program Fragments, Linking, and
Modularization
- [PDF] POPL'97 Talk.
- A Theory of Objects
- Class-based vs Object-based
Languages (Tutorial)
- [PDF] PLDI'96 Tutorial.(1996)
- Ambit
- What is the Web's Model of
Computation?
- [PDF] WWW5 Workshop on Programming the Web: a Search for APIs, Invited Talk.(1996)
- Foundations of Object-Oriented Programming
- Obliq
- On
Subtyping and Matching
- [PDF] ECOOP'95 Invited Talk. (1995-08)
- Operationally
Sound Update
- [PDF] HOOTS'95 Talk.(1995)
- Type-Driven
Language Design (Tutorial)
- [PDF] PLDI'95 Tutorial.(1995)
- An
Imperative Object Calculus
- [PDF] FASE'95 Talk.(1995-05)
- Object
Types with Self
- [PDF] FOOL'94 Talk.(1994)
- Princeton Talk on Objects
- [PDF] ML 2000 Meeting (1994-07)
- A
Theory of Primitive Objects
- [PDF] ESOP'94 Invited Talk.(1994-05)
- Typed Foundations of Object
Oriented Programming (Tutorial)
- [PDF] POPL'92 Tutorial. (1992)
- Typeful Programming (Lecture
Series)
- IFIP State of the Art Seminar on Formal Description of Programming Concepts, Bombay, Feb 21-27, 1992.
- [PDF] IFIP State of the Art Seminar on Formal Description of Programming Concepts, CEDAV Serpro, Petropolis, Rio de Janeiro, Brazil, 18-28 April 1989.
- Semantic Methods for
Object-Oriented Languages (Tutorial)
- [PDF] OOPSLA'88 Tutorial. (1988)
- Data Abstraction,
Modularization, and Reusability (Lecture Series)
- [PDF] University of Texas Year of Programming, 1986.
- Persistence and Type Abstraction
- [PDF] Probably Appin Workshop, August 1985.
- A Semantics of Multiple
Inheritance
- [PDF] Semantics of Data Tapes 1984. Delivered by Dave MacQueen.
Presentations
- [PPT] [Full] Abstract Machines of Systems Biology
- [PPT] [Full] Biological Systems as Reactive Systems
- [PPT] 2006-09-07 Artificial Biochemistry (Edinburgh Plotkin Meeting)
- [PPT] 2006-07-20 Simulating Biological Systems (Microsoft Faculty Summit, by Andrew)
- [PPT] 2006-07-05 Artificial Biochemistry (CiE Swansea)
- [PPT] 2006-04-19 Abstract Machines of SysBio (Dagstuhl)
- [PPT] 2006-07-09 Bitonal Membrane Systems (MeCBIC Venice)
- [PPT] 2006-06-21 Artificial Biochemistry (MSRC Serious Talk)
- [PPT] 2006-04-03 Artificial Biochemistry (Trento)
- [PPT] 2006-03-23 Abstract Machines of SysBio (Max Planck ISS)
- [PPT] 2006-01-26 Biological Systems as Reactive Systems (LMU Munich)
- [PPT] 2005-11-15 Biological Systems as Reactive Systems (ECCS'05 Paris)
- [PPT] 2005-09-04 Gene Networks (Coquelles School)
- [PPT] 2005-08-25 Gene Networks (Concur)
- [PPT] 2005-05-18 Transitions in Programming Models (ICSE)
- [PPT] 2003-04-08 Manipulating Trees (Fossacs)
- [PPT] 2005-07-13 Royal Society Lecture