Research output per year
Research output per year
Richard Petersens Plads, 324, 180
2800 Kgs. Lyngby
Denmark
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/
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):
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review