• Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby

    Denmark

20102021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Profile

I am an Associate 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/

Expertise related to UN Sustainable Devlopment Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 11 - Sustainable Cities and Communities

Keywords

  • User defined:
  • Qualitative and quantitative system modeling and analysis
  • Domain Specific Languages
  • Large-scale performance analysis
  • Formal methods
  • Model reduction

Fingerprint

Dive into the research topics where Andrea Vandin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or