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
PhD
Current PhD projects
Algorithms, Logic and Graphs
Front page
PhD
Current PhD projects
Algorithms, Logic and Graphs
Share on Facebook
Share on Twitter
Share on Linkedin
Algorithms, Logic and Graphs
Aleksander Bjørn Grodt Christiansen
Emil Toftegaard Gæde
Asta Halkjær From
Frederik Krogsdal Jacobsen
Katrine Bjørn Pedersen Thoft
Max Harry Rishøj Pedersen
Tord Joakim Stordalen
Cognitive Systems
Cybersecurity Engineering
Dynamical Systems
Embedded Systems Engineering
Formal Methods
Mathematics
Scientific Computing
Software and Process Engineering
Software Systems Engineering
Statistics and Data Analysis
Visual Computing
y
PhD projects affiliated with DTU Compute
Current PhD projects in Algorithms, Logic and Graphs
Dynamic Graph Algorithms
Aleksander Bjørn Grodt Christiansen: Algorithms for Dynamic Problems
Graph Algorithms with Geometric Applications
Formally Correct Deduction Methods for Computational Logic
Asta Halkjær From: Reasonable Reasoning
User-Friendly Formal Methods
Frederik Krogsdal Jacobsen: User-friendly formal methods for safer, cheaper, and faster software development
Logical Approaches to Dynamical Structures in AI
Katrine Bjørn Pedersen Thoft: Logical Approaches to Dynamical Structures in AI
Adaptive Compressed Computation
Max Harry Rishøj Pedersen: Running Algorithms on Compressed Data
Algorithms for Modern Vector Processor Architectures
Tord Joakim Stordalen: Unlocking the Full Potential of Modern Computers with Vector Processors
Updated on 17 May 2022
Updated on 17 May 2022