DTU.dk
Departments and Centers
Departments and Centres
DTU Aqua
DTU Bioengineering
DTU Biosustain
Centre for Oil and Gas - DTU
DTU Chemical Engineering
DTU Chemistry
DTU Civil Engineering
DTU Compute
DTU Diplom
DTU Electrical Engineering
DTU Energy
DTU Entrepreneurship
DTU Environment
National Food Institute
DTU Fotonik
DTU Health Tech
DTU Learn for Life
DTU Management
DTU Mechanical Engineering
DTU Nanolab
DTU Physics
DTU Space
DTU Wind Energy
Research groups
Research groups
Shortcuts
Phonebook
Directions/map
Supplier information (CVR and EAN)
For admitted students
Course base
Programme specifications
Internship and Project Bank
CampusNet (login)
Job and Career
DTU Alumni
DTU Inside
(intranet)
Webshop
DTU Library
DTU Orbit (Research database)
Contact
Dansk
DTU Compute
Persons
Publications
Projects
Teaching
Research
PhD
Cooperation
Employees
About us
Forside
PhD
Current PhD projects
Algorithms, Logic and Graphs
Forside
PhD
Current PhD projects
Algorithms, Logic and Graphs
Share on Facebook
Share on Twitter
Share on Linkedin
Algorithms, Logic and Graphs
Alexander Birch Jensen
Asta Halkjær From
Amirhossein Rajabi
Andrés Occhipinti Liberman
Max Harry Rishøj Pedersen
Rikke Marie Langhede
Teresa Anna Steiner
Cognitive Systems
Cyber Security
Dynamical Systems
Embedded Systems
Formal Methods
Image Processing and Computer Graphics
Mathematics
Scientific Computing
Software and Process Engineering
Statistics and Data Analysis
PhD projects affiliated with DTU Compute
Current PhD projects in Algorithms, Logic and Graphs
Logical Foundations of AI Algorithms
Alexander Birch Jensen: Formal verification can be used to develop more reliable AI algorithms
Formally Correct Deduction Methods for Computational Logic
Asta Halkjær From: Reasonable Reasoning
Efficient and Self-tuning Nature-inspired Algorithms
Amirhossein Rajabi; Efficient and Self-tuning Nature-inspired Algorithms
Action model learning for multi-agent systems
Andrés Occhipinti Liberman: The aim of this PhD project is to build artificial agents (e.g. robots) that can learn autonomously, through observation and communication...
Adaptive Compressed Computation
Max Harry Rishøj Pedersen: Running Algorithms on Compressed Data
Flows and colourings
Rikke Marie Langhede: Graph coloring is a major subfield in graph theory, which started in the middle of the 19th century with the famous 4-Color Problem.
Differential Privacy and Approximation Algorithms
Teresa Anna Steiner: Efficient Algorithmic Strategies for Protecting Personal Data
Updated on 20 January 2019
Updated on 20 January 2019