Talks
Neural Predictive Monitoring
• 24 Jun 20: Invited talk at the Joint ICE-TCS@Reykjavik University/GSSI virtual seminar series (Download)
• 21 Jan 20: Invited talk at AI for Security and the Security of AI workshop, King's College London (UK)
• 11 Oct 19: Contributed talk at RV 19 conference, Porto (Portugal) (Download)
• 21 Jan 20: Invited talk at AI for Security and the Security of AI workshop, King's College London (UK)
• 11 Oct 19: Contributed talk at RV 19 conference, Porto (Portugal) (Download)
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties
• 27 Sep 17: Contributed talk at CMSB 2017 conference, TU Darmstadt (DE) (Download)
• 23 Sep 17: Invited talk at 1st meeting of Italian-American Scientists of Long Island, Stony Brook University (USA) (Download)
• 04 Jun 18: Invited talk at MathWorks Research summit, Newton MA (USA). (Watch talk) (Download)
• 23 Sep 17: Invited talk at 1st meeting of Italian-American Scientists of Long Island, Stony Brook University (USA) (Download)
• 04 Jun 18: Invited talk at MathWorks Research summit, Newton MA (USA). (Watch talk) (Download)
Syntax-guided optimal synthesis for chemical reaction networks
• 29 Aug 17: Contributed talk at SASB 2017 workshop, New York University (USA) (Download)
• 13 Jun 17: Invited talk at I(CO)2S group, Newcastle University (UK)
• 13 Jun 17: Invited talk at I(CO)2S group, Newcastle University (UK)
Model-Based Quantitative Verification of Implantable Cardiac Pacemakers
• 03 Jun 17: Invited talk at MathWorks Research summit, Newton MA (USA) (Download)
SMT-based Analysis of Biological Systems
• 08 Jun 16: Tutorial for Molecular Programming and Biological Computation reading group, University of Oxford (UK) (Download)
Building Power Consumption Models from Executable Timed I/O Automata Specifications
• 13 Apr 16: Contributed talk at HSCC 2016 conference, TU Wien (AT) (Download)
Quantitative Verification and Synthesis for Design Optimisation and Personalisation of Cardiac Pacemakers
• 16 Dec 15: Invited talk at TU Wien (AT) (Download)
HeartVerify: Model-Based Quantitative Verification of Implantable Cardiac Pacemakers
• 11 Dec 15: Talk at Valuable Artifact Prize Ceremony, University of Oxford (UK) (Download)
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques
• 05 Sep 15: Contributed talk at HSB 2015 workshop, Madrid (ES) (Download)
• 21 Jan 15: Invited talk at the Systems Biology Laboratory, Masaryk University (CZ)
• 21 Jan 15: Invited talk at the Systems Biology Laboratory, Masaryk University (CZ)
Hardware-In-the-Loop Simulation and Energy Optimization of Cardiac Pacemakers
• 28 Aug 15: Contributed talk at EMBC 2015 conference, Milano (IT) (Download)
Formal Approaches to the Synthesis of Biological Networks
• 26 Mar 15: Invited talk at METABLE training school, University of Cambridge (UK) (Download)
Precise Parameter Synthesis for Stochastic Biochemical Systems
• 17 Nov 14: Contributed talk at CMSB 2014 conference, Manchester Institute of Biotechnology (UK) (Download)
Analyzing and Synthesizing Genomic Logic Functions
• 20 Jul 14: Contributed talk at CAV 2014 conference, TU Wien (AT) (Download)
• 15 Jul 14: Invited talk at Molecular Walkers workshop, University of Oxford (UK)
• 15 Jul 14: Invited talk at Molecular Walkers workshop, University of Oxford (UK)
Formal Modelling and Validation of Rate-Adaptive Pacemakers
• 20 Jul 14: Contributed talk at ICHI 2014 conference, Università di Verona (IT) (Download)
Formal Computational Modelling of Bone Physiology and Disease Processes
• 24 Mar 14: PhD defense presentation, Università di Camerino (IT) (Download)