Andrea Vandin

Andrea Vandin

Contacts

Andrea Vandin,
DTU Compute,
Richard Petersens Plads, Building 324, Room 180,
DK-2800 Kgs. Lyngby, Denmark
Email: anvan@dtu.dk
Phone: +45 45 25 37 34
ORCID iD iconorcid.org/0000-0002-2606-7241

DBLP,  Google Scholar,  Scopus

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

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)

Selected Tools

Projects

Professional Activities

Invited Talks

Complete list of publications

Journal papers

Conference papers

Book contributions

Workshop papers

Extended abstracts