DTU.dk
Departments and Centers
Research groups
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
Former members
Front page
Research
Research sections
Formal Methods
Former members
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
Former members, Alumni and Guests
Former staff members / Alumni
Omar Almousa
Zaruhi Aslanyan
Rasmus Birkedal
Lars Bonnichsen
Laust Brock-Nannestad
Alessandro Bruni
Mikael Buchholtz
Aufeef Chauhan
Piotr Filipuik
Han Gao
Rene Rydhof Hansen
Alejandro Mario Hernández
Marieta Ivanova
Nicklas Bo Jensen
Erisa Karafili
Jörg Kreiker
Ximeng Li
Hugo Andrés López
Sebastian Nanz
Christoffer Rosenkilde Nielsen
Henrik Pilegaard
Christian Probst
Jose Quaresma
Matthieu Queva
Carroline Ramli
Nataliya Skrypnyuk
Michael Smith
Mikael Terepeta
Terkel Tolstrup
Lars Wolos
Fan Yang
Ender Yüksel
Fuyuan Zhang
Lijun Zhang
Ye Zhang
Kebin Zheng
Roberto Vigo
Guests
Marina Andric
Alessandro Beggiato
Vitaly Buralev
Xinyu Feng
Chris Hankin
Holger Herman
Anna Ingolfsdottir
Diego Latella
Michele Loreti
Andrea Margheri
Mieke Massink
Alan Mycroft
Alessandra di Pierro
Geguang Pu
Helmut Seidl
Shuling Wang
Xi Wu
Min Zhang
Huibiao Zhu
Updated on 31 January 2019
Updated on 31 January 2019