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

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.

 

 

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