DTU.dk
Departments and Centers
Departments and Centres
DTU Aqua
DTU Bioengineering
DTU Biosustain
DTU Chemical Engineering
DTU Chemistry
DTU Civil Engineering
DTU Compute
DTU Electrical Engineering
DTU Energy
DTU Engineering Technology
DTU Entrepreneurship
DTU Environment
DTU National Food Institute
DTU Electro
DTU Health Tech
DTU Management
DTU Mechanical Engineering
DTU Nanolab
DTU Physics
DTU Skylab
DTU Space
DTU Wind and Energy Systems
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