Current Past Me Papers Talks Artifacts Extra HotPage
  • All Talks
  • Presentations
  • Summaries
Talks
  • Morphisms of Reaction Networks
    • 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.
  • Molecular Programming
    • PDF ECOOP Keynote, July 30, 2014.
    • PDF Microsoft Redmond, June 22, 2013.
    • PDF Hasselt, May 15, 2013.
    • PPT PDF Microsoft Engineering Excellence Talk, Redmond, December 6, 2012.
  • The Cell Cycle Switch Computes Approximate Majority
    • PDF CANES launch event, King's College, London 2014-10-108.
    • 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 Bioinformatics Master Course Lecture, Cambridge, February 20, 2012.
    • PDF Bioinformatics Master Course Lecture, Cambridge, February 22, 2011.
  • On Switches and Oscillators
    • PDF MSRC, August 2, 2011.
    • PDF Oxford, May 17, 2011.
    • PDF Dept. of Computer Science, Univeristy of Torino, May 5, 2011.
  • On Speaking Languages
    • PDF MacQueen Fest, Chicago, May 12, 2012.
  • Reversible Structures
    • PDF CMSB'11, September 22, 2011.
    • PDF MeCBIC'11, August 23, 2011.
  • 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
    • PDF Computability in Europe, Ponta Delgada, July 2, 2010.
    • PDF Torino, March 23, 2010.
    • PDF Imperial College, December 4, 2009.
    • PDF MeCBIC, Bologna, September 5, 2009.
  • Molecules as Automata, Open Lectures for PhD Students in Computer Science
    • PDF Lecture 1, Warsaw, March 12, 2009.
    • PDF Lectures 2-3, Warsaw, March 12-13, 2009.
    • PDF Lectures 4-5, Warsaw, May 07-08, 2009.
    • PDF Lecture 6, Warsaw, May 08, 2009.
  • 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, AST 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
    • PDF International Summer School on Natural Computation (Part 1), Bertinoro, September 21, 2008.
    • PDF International Summer School on Natural Computation (Part 2), Bertinoro, September 21, 2008.
  • 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
    • PDF International Summer School on Natural Computation (Part 2), Bertinoro, September 21, 2008.
    • PDF Algebraic Biology '08, Linz, August 1, 2008.
    • PDF FMSB'08 Cambridge, June 5, 2008.
  • 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)
  • 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
    • PDF Interdisciplinary School on Noise and Robustness in Transcriptional Regulatory Networks, Coquelles, September 5, 2005.
    • PDF Concur 2005 Invited Talk, August 25, 2005.
  • 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.
    A Spatial Logics for Concurrency
    • PDF CONCUR, Brno, August 21, 2002.
    Spatial Logics for Distributed Systems
    • PDF FWAN Workshop, Malaga, July 12, 2002.
    • PDF Strachey Lecture, Oxford, April 23, 2002.
  • Mobility and Spatial Logics (Minicourse)
    • PDF PDF 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing, Bertinoro, April 26-30, 2005.
    • PDF PDF Ecole de Printemps 2002, Semantique des Langages de Programmation, Agay, March 24-29, 2002.
  • Computation on Wide Area Networks (Minicourse)
    • PDF PDF PDF PDF PDF International School for Computer Science Researchers, Lipari, July 2-5, 2001.
    • Cambridge University Minicourse Lectures, May 8,9,15,16 2001.
  • 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
    • PDF Cambridge, November 2000.
    • PDF Lausanne, October 2000.
    • PDF Tokyo, August 2000.
  • 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
    • PDF POPL'00
    • PDF (Informal) Microsoft
    • PDF Edinburgh
  • Abstractions for Mobile Computation (Tutorial)
    • PostScript Tutorial: "Foundations for Wide Area Systems", FMOODS'99, February 17 1999, Florence Italy.
  • 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
    • PDF University of Technology Sydney Minicourse (1997-08-04..15)
    • PDF LICS'97 Invited Talk, Warsaw (1997-06-29..02)
    • PDF ECOOP'97 Tutorial, Jyväskylä (1997-06-09..13)
    • PDF OOPSLA'96 Tutorial, San Jose (1996-10-06..10)
  • Class-based vs Object-based Languages (Tutorial)
    • PDF PLDI'96 Tutorial.(1996)
  • Ambit
    • PDF SRC Talk (1997-03)
    • PDF SRC Talk (1996-11)
  • 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
    • PDF (1996)
    • PDF Horizon Day, Indiana University (1995-10)
  • Obliq
    • PDF Distributed Mobile Computation in Obliq (1997-04)
    • PDF Obliq: A Language with Distributed Scope (1995-05)
  • 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
  •  [Full] Abstract Machines of Systems Biology
  •  [Full] Biological Systems as Reactive Systems
  •  2006-09-07 Artificial Biochemistry (Edinburgh Plotkin Meeting)
  •  2006-07-20 Simulating Biological Systems (Microsoft Faculty Summit, by Andrew)
  •  2006-07-05 Artificial Biochemistry (CiE Swansea)
  •  2006-04-19 Abstract Machines of SysBio (Dagstuhl)
  •  2006-07-09 Bitonal Membrane Systems (MeCBIC Venice)
  •  2006-06-21 Artificial Biochemistry (MSRC Serious Talk)
  •  2006-04-03 Artificial Biochemistry (Trento)
  •  2006-03-23 Abstract Machines of SysBio (Max Planck ISS)
  •  2006-01-26 Biological Systems as Reactive Systems (LMU Munich)
  •  2005-11-15 Biological Systems as Reactive Systems (ECCS'05 Paris)
  •  2005-09-04 Gene Networks (Coquelles School)
  •  2005-08-25 Gene Networks (Concur)
  •  2005-05-18 Transitions in Programming Models (ICSE)
  •  2003-04-08 Manipulating Trees (Fossacs)
  •  2005-07-13 Royal Society Lecture
Summaries
  • PDF Executive Summary 05min - Languages for SysBio
  • PDF Executive Summary 20min - Languages for SysBio
  • PDF Visitor Summary 10min - Languages for SysBio
  • PDF Visitor Summary 20min - Languages for SysBio