DTU.dk
Departments and Centers
Close

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 Learn for Life
  • DTU Management
  • DTU Mechanical Engineering
  • DTU Nanolab
  • DTU Physics
  • DTU Skylab
  • DTU Space
  • DTU Wind and Energy Systems

Research groups

  • Research groups
Shortcuts
Close

  • 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
DTU
  • 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
  • Mathematics
  • Scientific Computing
  • Software Systems Engineering
  • Statistics and Data Analysis
  • Visual Computing
  • 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

In this issue

Read Magasinet Dynamo #68
Luk
Magasinet Dynamo
#68
DTU Compute

DTU Compute

DTU Compute is an internationally unique academic environment spanning the scientific disciplines mathematics, statistics, computer science, and engineering. Our interdisciplinary research areas are big data and data science, artificial intelligence (AI), internet of things (IoT), smart and secure societies, smart manufacturing and life sciences.

Richard Petersens Plads
Building 324
DK-2800 Kgs. Lyngby

Send an e-mail to DTU Compute

Tel 4525 3031
CVR 30 06 09 46
EAN 5798000428515

Accessibility

Follow us on

twitter twitter YouTube YouTube LinkedIn LinkedIn
DTU.dk
Departments and Centers
Close

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 Learn for Life
  • DTU Management
  • DTU Mechanical Engineering
  • DTU Nanolab
  • DTU Physics
  • DTU Skylab
  • DTU Space
  • DTU Wind and Energy Systems

Research groups

  • Research groups
Shortcuts
Close

  • 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
https://www.compute.dtu.dk/english/phd/current-phd/phd-algolog
31 MARCH 2023