Andrea Vandin

Andrea Vandin

Assistant Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 180

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Profile
Publications
Courses
Loading

Profile

Keywords Qualitative and quantitative system modeling and analysis | Formal methods | Model reduction

Presentation

I am an Assistant Professor within the section Formal Methods for Safe and Secure Systems at DTU Compute.

Before that I was an Assistant Professor within the SysMA research unit of IMT School for Advanced Studies Lucca, Italy, as well as a member of the European Project  QUANTICOL. In 2013-2015 I have been a Senior Research Assistant at the School of Electronics and Computer Science of  Southampton University, United Kingdom, and a Teaching Assistant at  Leicester University, United Kingdom.

I received my PhD in Computer Science and Engineering, as well as the "Doctoral Europeaus" certification from IMT School for Advanced Studies Lucca, Italy, in 2013. I graduated in Computer Science at the  University of Pisa, Italy.

Teaching & Supervision

  • At DTU
  • Outside DTU
    • Lecturer at the 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'16) [lecture notes], 2016
    • Lecturer of the PhD course "Qualitative and Quantitative Formal Methods for Computer Science", IMT School for Advanced Studies Lucca, 2015
    • Lecturer of the MSc course "Formal Modeling of Software Intensive Systems", University of Camerino, Italy, 2015
    • Lecturer and mentor at the 1st Awareness Summer School (AWASS2012), 2012
    • Teaching assistant at University of Leicester, MSc course "Distributed Systems and Applications", 2012
    • Co-supervision of a number of PhD Students at IMT School for Advanced Studies Lucca, Italy.
    • Co-supervision of a number of MSc and BSc Students at University of Pisa, Italy.

Research Interests

I am interested in the development of scalable techniques for the formal qualitative and quantitative system analysis, including state space reduction and approximation. Currently, I am investigating analysis techniques for languages provided with formal semantics based on ordinary differential equations (ODEs) or continuous time Markov chains (CTMC). These include chemical reaction networks, stochastic process algebras, and Petri nets.

I am interested in applying my research in practice, and hence I provided tool support for most of my contributions. An example is  ERODE, a fully-featured tool for the Evaluation and Reduction of ODEs. 

Furthermore, I am also investigating statistical analysis techniques, and I developed the Statistical Model Checker  MultiVeStA, which allows to easily enrich existing discrete-event simulators with distributed statistical analysis capabilities.

Selected Publications

(dblp,  Google Scholar,  Scopus,  ORCID)

  • Maximal aggregation of polynomial dynamical systems, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Proceedings of the National Academy of Sciences (PNAS), [draft]
  • BProVe: a Formal Verification Framework for Business Process Models, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin, 32nd Conference on IEEE/ACM International Conference on Automated Software Engineering (ASE'17), [draft]
  • ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 23rd Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17), Springer LNCS [draft]
  • Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 35th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'16), ACM [draft]
  • Symbolic Computation of Differential Equivalences, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 43rd Annual Symposium on Principles of Programming Languages (POPL'16), ACM [draft]
  • Efficient Syntax-driven Lumping of Differential Equations, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), Springer LNCS [draft]
  • Forward and backward bisimulations for chemical reaction networks, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 26th Conference on Concurrency Theory (CONCUR'15), LIPIcs [draft]
  • Differential Bisimulation for a Markovian Process Algebra, Giulio Iacobelli, Mirco Tribastone, Andrea Vandin, 40th International Symposium on Mathematical Foundations of Computer Science (MFCS'15), Springer LNCS [draft]
  • Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, 19th International Software Product Line Conference (SPLC'15), ACM [draft]
  • Modeling and Analyzing Adaptive Self-assembling Strategies with Maude, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, Science of Computer Programming (SCP), 2014   [draft]

Selected Tools

  •  ERODE: Evaluation and Reduction of Ordinary Differential Equations
  •  MultiVeStA: Distributed Statistical Model Checking for Discrete Event Simulators

Projects

  • Member of the European FP7-ICT STREP Project QUANTICOL (A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours), 2013-2017
  • Member of the European FP7-ICT Integrated Project ASCENS (Autonomic Service-Component Ensembles), 2010-2014.
  • Member of the Italian PRIN Project CINA (Compositionality, Interaction, Negotiation and Autonomicity for the future ICT), 2013

Professional Activities

  • AEC Member of the 44th Annual Symposium on Principles of Programming Languages (POPL'18)
  • Invited speaker of the 15th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17)
  • PC member of the 8th International Workshop on Practical Applications of Stochastic Modelling (PASM'17)
  • PC member of the 15th conference on Computational Methods for Systems Biology (CMSB'17)
  • PC member of the 21st International Systems and Software Product Line Conference (SPLC'17)
  • AEC Member of the 44th Annual Symposium on Principles of Programming Languages (POPL'17)
  • PC member of the 8th International Workshop on Practical Applications of Stochastic Modelling (PASM'16)
  • PC member of the 2nd PDP Session on Formal Approaches to Parallel and Distributed Systems (4PAD'15)
  • PC member of the 5th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS'14)
  • PC member of the 1st and PDP Session on Formal Approaches to Parallel and Distributed Systems (4PAD'14)
  • Local organizer of the 2nd Awareness Summer School (AWASS2013)
  • Reviewer for many international conferences and journals, including:
    • 2017: TCS, Acta Informatica, Journal of Systems and Software, POPL (Artifact Evaluation), QEST, SEFM, CSR, Kim Larsen Fest, CMSB, SPLC
    • 2016: CONCUR, DataMod, ICSR, IJCAI, ISOLA, LATA, PASM, SEFM
    • 2015: IJSPM, ICFEM, MFCS, RV, SCPE, SPLC, Nielson Fest
    • 2014: 4PAD, COORDINATION, Wirsing Fest, FORTE, JLAMP, LATA, MOSPAS, QEST, SBMF, SIMUTOOLS, WRLA
    • 2013: 4PAD, AWASS, CONCUR, IFM, SCP, TGC, VALUETOOLS
    • 2012: CONCUR, GRAPHITE, GT-VMT, ICE, K, WADT, WRLA
    • 2011: ASE, GT-VMT, SPIN
    • 2010: WADT

Invited Talks

  • Language-based abstractions for massively concurrent systems, DTU Compute Denmark, June 2017
  • Efficient Computation of Differential Equivalences, 15th International Workshop on Quantitative Aspects of Programming Languages (QAPL'17), Uppsala University, Sweden, April 2017
  • Language-based abstractions for dynamical systems, DTU Compute Denmark, February 2017
  • ERODE: Evaluation and Reduction of Ordinary Differential Equations, Microsoft Research Cambridge, UK, August 2016
  • Quantitative Abstractions for Collective Adaptive Systems, 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM2016), Bertinoro, Italy, June 2016
  • Forward and Backward Bisimulations for Chemical Reaction Networks, University of Camerino, Italy, December 2015
  • Ordinary Lumpability for Stochastic Process Algebras with Discrete and Continuous Semantics, University of Edinburgh, UK, May 2014
  • Specification and Analysis of Systems with Dynamic Structure, ETH Zurich, CH, September 2012
  • Self-assembly Strategies, Mentoring at Awareness Summer School AWASS2012, Edinburgh Napier University, UK, June 2012
  • Towards the Analysis of Systems with Dynamic Structure, PhD Seminars Series (PhDSeminars), University of Leicester, UK, December 2011