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
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