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 | Large-scale performance analysis | Formal methods | Model reduction

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

Visit my home page for further details: http://people.compute.dtu.dk/anvan/