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