DTU.dk
Departments and Centers
Research groups
Shortcuts
Phonebook
Directions/map
Supplier information (CVR and EAN)
Course base
Job and Career
DTU Alumni
DTU Inside
(intranet)
Webshop
DTU Library
DTU Orbit (Research database)
Contact
Dansk
DTU Compute
Persons
Publications
Projects
Teaching
PhD
Research
Continuing Education
Cooperation
Employees
About us
Front page
Research
Research sections
Formal Methods
Group members
Andrea Vandin
Front page
Research
Research sections
Formal Methods
Group members
Andrea Vandin
Share on Facebook
Share on Twitter
Share on Linkedin
Algorithms, Logic and Graphs
Cognitive Systems
Cybersecurity Engineering
Dynamical Systems
Embedded Systems Engineering
Mathematics
Scientific Computing
Software Systems Engineering
Statistics and Data Analysis
Visual Computing
Andrea Vandin
See personal
webpage
.
Updated by
Alberto Lluch Lafuente
on 13 September 2017
Contact
Andrea Vandin
External lekturer
DTU Compute
+45 45 25 37 34
anvan@dtu.dk
Updated by
Alberto Lluch Lafuente
on 13 September 2017