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/
See profile and cv in DTU Orbit...