Recent Presentations

• The Needham Lecture,Tuning Systems: From Composition to Performance, The Royal Society, December 6th 2004.
• Invited presentation at LICS'05 (International Symposium on Logic in Computer Science), Process Algebras for Quantitative Analysis, Chicago, June 28th 2005.
• Invited presentation at PASM'05 (International Workshop on Practical Applications of Stochastic Modelling), Adventures in Systems Biology, Newcastle-upon-tyne, July 18th 2005.
• Invited evening lecture at ESSLLI (European Summer School on Logic, Language and Inference), Getting Performance out of Process Algebra, Heriot-Watt University, Edinburgh, August 16th 2005.
• Technical paper presented at QEST'05 (Quantitative Evaluation of Systems), Fluid Flow Approximation of PEPA Models, Torino, September 20th 2005.
• Computational Thinking Seminar Computational Thinking for Life, given within the Computational Thinking Seminar series, Edinburgh, January 11th 2006.
• Tutorial at Quantitative Evaluation of Systems Conference Quantitative Evaluation of Biological Systems, Riverside CA, September 11th 2006.
• Invited presentation at Twenty-third Conference on the Mathematical Foundations of Programming Semantics, Modelling Biochemical Pathways with Stochastic Process Algebra, New Orleans LA, April 13th 2007.
• Invited presentation at the London Hoppers Colloquium Modelling Biochemical Signalling Pathways with Stochastic Process Algebra, BCS Meeting Rooms, May 1st 2007.
• Seminar at Cambridge Modelling Biochemical Signalling Pathways with Stochastic Process Algebra, Computer Laboratory, May 9th 2007.
• Tutorial at the Bertinoro summer school on Formal Methods for Performance Modelling Stochastic Process Algebras, Bertinoro, May 27th 2007.
• Lecture at school for graduate students in systems biology at Pisa University, Calculi for Systems Biology, Pisa, Italy, 18th October 2007.
• Invited talk at International Workshop on Tools for Structured Markov Chains (SMCTools) at ValueTOOLS 2007, Quantitative Analysis of Biochemical Signalling Pathways, Nantes, France, 26th October 2007.
• Joint BCS-FACS and BCS Women Evening Seminar, Process Algebra for Collective Dynamics, London, 10th December 2007.
• CICADA Seminar at the University of Manchester, Continuous Interpretations of Process Algebra Models, 8th April 2008.
• Tutorial at the Bertinoro summer school on Formal Methods for Systems Biology Calculi for Biological Systems, Bertinoro, June 5th 2008.
• Invited talk at 6th International Conference on Computational Methods in Systems Biology (CMSB 2008) Integrated Analysis from Abstract Stochastic Process Algebra Models, Rostock, October 12th 2008.
• Invited talk at third Scottish Bio-systems Modelling Network meeting, Using stochastic process algebra to model biochemical pathways, Dundee, February 19th 2009.
• Presentation at Dagstuhl seminar 09091, "Formal Methods in Molecular Biology" (22-27 February 2009) The Bio-PEPA project, February 24th 2009.
• Invited talk at QAPL 2009 (Quantitative Aspects of Programming Languages, ETAPS workshop), Process Algebra for Collective Dynamics, March 29th 2009.
• Presentation at Strathclyde Institute of Advanced Studies Workshop on Dynamic Properties of Complex Networks Performance Modelling with Stochastic Process Algebra, March 31st 2009.
• Presentation at the International Conference on Quantitative Evaluation of Systems, QEST 2009, Budapest, The Bio-PEPA Tool Suite, 16th September 2009.
• Presentation at the International Workshop on Practical Aspects of Stochastic Modelling (PASM 2009), Imperial College Bio-PEPA for epidemiological models, 24th September 2009.
• Presentation at the Encounters discussion on Evolving complexity in the brain and computers at Inspace, 20th November 2009: Compositional Dynamic Modelling: A Computer Science Perspective.
• Seminar in Udine Bio-PEPA: A collective dynamics approach to systems biology on 30th April 2010.
• Invited presentation at AMAST 2010, Quebec City, Process Algebras for Collective Dynamics, June 25th 2010.
• Presentation at SICSA-sponsored Summer School on Formal Representation and Reasoning, Heriot-Watt University, From Milner to Markov and back: Stochastic Process Algebras, August 15th 2010.
• Invited presentation at ISCIS special session on modelling gene regulation networks, Royal Society, London, Modelling Circadian Rhythms using Stochastic Process Algebra September 22nd 2010.
• Presentation at 11th International Conference on Systems Biology, Edinburgh, Sterol biosynthesis in infection and immunity, October 13th 2010.
• The Strachey Lecture, Making stochastic process algebra count: Modelling collective dynamics, at the Computing Lab, Oxford University, 16th November 2010.
• The Computer Journal Lecture, Stochastic process algebras --- From individuals to populations, Imperial College, 24th February 2011.
• Invited presentation at the MLQA workshop 2011, Stochastic process algebras and Ordinary Differential Equations, Aachen, 5th September 2011.
• Invited presentation at the Bio-PASTA workshop 2011, Bio-PEPAd:Integrating exponential and deterministic delays, Ragusa, 20th September 2011.
• Invited presentation at the CS2Bio Workshop 2012, Bio-PEPAd:Integrating exponential and deterministic delays, Stockholm, 16th June 2012.
• Presentation at the QEST conference 2012, Fluid Approximation of CTMC with deterministic delays, London, 19th September 2012.
• Invited presentation at the ROCKS Autumn School 2012, Fluid Approximation for Stochastic Process Algebras, Bressanone, 24th October 2012.
• Invited presentation at the ROCKS Autumn School 2012, Fluid Approximation for Stochastic Model Checking, Bressanone, 24th October 2012.
• Hamming seminar, Rigorous and Random Adventures in Time and Space, Edinburgh, 21st November 2012.
• Invited presentation at TGC 2013, Challenges in Quantitative Analysis of Collective Adaptive Systems, Buenos Aires, Argentina, 31st August 2013.
• Presentation at the ValueTools 2013 conference, An Aggregation Technique for Large-Scale PEPA Models with Non-uniform Populations, Torino, Italy, 10th December 2013.
• Presentation at the ValueTools 2013 conference, Contextual Lumpability, Torino, Italy, 10th December 2013.
• Seminar presentation at PUMA, Fluid Approximation for Collective Systems, TUM, Munich, 23rd July 2014.
• Invited presentation at CONCUR 2014 and IFIP TCS 2014, The Benefits of Sometimes Not Being Discrete, Rome, Italy, 2nd September 2014.
• Invited presentation at LMS Computer Science Colloquium 2014, Embedding machine learning in formal stochastic models of biological processes, London, 29th October, 2014.
• Invited presentation at BCS CignetS meeting, Applying for an Athena SWAN Award, BCS Headquarters, London, 1st December, 2014.
• Presentation at Dagstuhl seminar 14512, Challenges for Quantitative Analysis of Collective Adaptive Systems, 15th December, 2014.
• Seminar presentation in the Maths Department of the University of Edinburgh, A Fluid Approach to Model Checking, 28th January, 2015.
• Seminar presentation in the Department of Computer Science at the University of York, Fluid Approximation for the Analysis of Collective Adaptive Systems, 11th March, 2015.
• Distinguished Lecture, Department of Informatics, Kings College London, Choosing not to be discrete --- The benefits of fluid approximations in dynamic modelling, 27th April, 2015.
• Keynote presentation at Ershov Informatics Conference, PSI'15, Kazan, Russia, Quantitative Analysis of Collective Adaptive Systems, 25th August, 2015.
• Seminar presentation to the Programming Languages Systems research group in the School of Computing at the University of Kent, entitled Quantitative Analysis of Collective Adaptive Systems, 15th February 2016.
• Seminar presentation to the Department of Mathematics at the University of Strathclyde, entitled High-level languages for fluid approximation of agent-based models, 18th April 2016.
• Collective Adaptive Systems seminar to the group of Scott Smolka at State University of New York - Stony Brook, on Quantitative Analysis of Collective Adaptive Systems, 13th October 2016.
• Logical Structures in Computation Seminar at the Simons Institute, Berkeley University, on Model checking single agent behaviours by fluid approximation, 26th October 2016.
• Invited talk at the Christopher Strachey Centenary Celebration in Oxford, A modelling language approach to defining mathematical structures via semantics, 19th November 2016.
• Keynote talk at the 10th EAI International Conference on Bio-inspired Information and Communications Techologies in Hoboken, New Jersey, Studying Smart Cities as Collective Adaptive Systems, 15th March 2017.
• Presentations at the 20th European Young Staticians Meeting, Uppsala, 16th August 2017: Formal languages for stochastic modelling and Embedding Machine Learning in Stochastic Process Algebra.
• Oxford Women in Computing Seminar, 28th November, 2017: Embedding Machine Learning in Formal Stochastic Models of Biological Processes.
• Alan Turing Institute Workshop on Logic and Learning, 11th January, 2018: Integrating Inference with Stochastic Process Algebra Models.
• Invited seminar at Newcastle University, 28th January 2018: Quantitative Analysis of Collective Adaptive Systems.
• Invited talk at SICSA workshop on Data-driven Modelling and Analysis of Complex Systems, 19th March, 2018: Moment-based Availability Prediction for Bike-Sharing Systems.
• Alan Turing Workshop on Data-driven Modelling of Complex Systems, 9th May, 2018: Moment-based Availability Prediction for Bike-Sharing Systems.
• Distinguished Lecture Series at St Andrews University, 8th April 2019: Performance Evaluation Process Algebra (PEPA), Collective Adaptive Rsource-sharing Markovian Agents (CARMA) and Probabilistic Programming for Stochastic Dynamical Systems.