Former Scholarship Holders

2022

• Frederic Dörband
  • Topic: Characterisation Theorems for Weighted Tree Automaton Models
  • Supervisors: Prof. Dr. Vogler, Prof. Dr. Droste
  • Date of defense: 12.07.2022
• Simon Jantsch
  • Topic: Explications for Probabilistic Model Checking
  • Supervisors: Prof. Dr. Baier, PD. Dr. Quaas
  • Date of defense: 06.07.2022
• Jakub Rydval
  • Topic: Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
  • Supervisors: Prof. Dr. Baader, Prof. Dr. Bodirsky
  • Date of defense: 27.06.2022

2021

• Jakob Piribauer
  • Topic: On Non-Classical Stochastic Shortest Path Problems
  • Supervisors: Prof. Dr. Baier, Prof. Dr. Baader
  • Date of defense: 15.06.2021

2020

• Sven Dziadek
  • Topic: Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
  • Supervisors: Prof. Dr. Droste, Prof. Dr. Baader
  • Date of defense: 21.12.2020

• Luisa Herrmann
  • Topic: Weighted Automata with Storage
  • Supervisors: Prof. Dr. Vogler, Prof. Dr. Droste
  • Date of defense: 29.09.2020 
• Erik Paul
  
  • Topic: The structure of weighted automata on trees and tree-like graphs
  • Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler
  • Date of defense: 15.07.2020
• Caterina Viola
  
  • Topic: Valued Constraint Satisfaction Problems over Infinite Domains
  • Supervisors: Prof. Dr. Bodirsky, PD. Dr. Quaas
  • Date of defense: 17.06.2020
• Shima Asaadi
  
  • Topic: Compositional Matrix-Space Models: Learning Methods and Evaluation
  • Supervisors: Prof. Dr. Rudolph, Prof. Dr. Vogler
  • Date of defense: 08.06.2020

2019

• Maximilian Pensel
  
  • Topic: Qualitative and Quantitative Approaches to Reasoning in Defeasible Description Logics
  • Supervisors: PD. Dr. Turhan, Prof. Dr. Brewka, Prof. Dr. Baader
  • Date of defense: 28.10.2019

• Pavlos Marantidis
  
  • Topic: Quantitative Variants of Language Equations and their Applications to Description Logics
  • Supervisors: Prof. Dr. Baader, Prof. Dr. Rudolph
  • Date of defense: 25.07.2019

• Markus Ulbricht
  
  • Topic: Answer Set Optimization
  • Supervisors: Prof. Dr. Brewka, Prof. Dr. Rudolph, Prof. Dr. Baader
  • Date of defense: 04.07.2019

2018

• David Müller
  
  • Topic: Alternative Automata-based Approaches to Probabilistic Model Checking
  • Supervisors: Prof. Dr. Baier, Prof. Dr. Vogler, Dr. Quaas
  • Date of defense: 10.12.2018

• Antoine Mottet
  
  • Topic: Dichotomies in Constraint Satisfaction: Canonical Functions and Numeric CSPs
  • Supervisors: Prof. Dr. Bodirsky, Prof. Dr. Droste
  • Date of defense: 14.08.2018

• Daniel Gburek
  
  • Topic: Stochastic transition systems: bisimulation, logic, and composition
  • Supervisors: Prof. Dr. Baier, Prof. Dr. Bodirsky
  • Date of defence: 27.03.2018

2017

• Stefan Dück
  
  • Topic: Weighted Automata and Logics on Hierarchical Structures and Graphs
  • Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler
  • Date of defence: 21.11.2017
• Markus Teichmann
  
  • Topic: Expressing Context-Free Tree Languages by Regular Tree Grammars
  • Supervisors: Prof. Dr. Vogler, Prof. Dr. Droste
  • Date of defence: 12.04.2017
• Parvaneh Babari Ghorghi
  • Topic: Quantitative Automata and Logic for Pictures and Data Words
  • Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler
  • Date of defence: 03.03.2017

2016

• Andreas Ecke
  
  • Topic: Quantitative Methods for Similarity in Description Logics
  • Supervisors: Prof. Dr. Baader, Prof. Dr. Baier, Dr. Turhan
  • Date of defence: 14.06.2016
    
    
• Oliver Fernandez Gil
  
  • Topic: Adding Threshold Concepts to the Description Logic EL
  • Supervisors: Prof. Dr. Brewka, Prof. Dr. Baader
  • Date of defence: 18.05.2016
    
    
• Shiguang Feng
  
  • Topic: The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
  • Supervisors: Prof. Dr. Lohrey, Prof. Dr. Droste
  • Date of defence: 19.04.2016
    
    

2015

• Claudia Carapelle
  
  • Topic: On the Satisfiability of Temporal Logics with Concrete Domains
  • Supervisors: Prof. Dr. Lohrey, Prof. Dr. Baader
  • Date of defence: 04.11.2015
    
    
• Vitaly Perevoshchikov
  
  • Topic: Multi-weighted Automata Models and Quantitative Logics
  • Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler
  • Date of defence: 28.04.2015
    
    

2014

• Daniel Borchmann
  
  • Topic: Learning Terminological Knowledge with High Confidence from Erroneous Data
  • Supervisors: Prof. Dr. Baader, Prof. Dr. Ganter, Prof. Dr. Brewka
  • Date of defence: 09.09.2014
    
    

2013

• Ignasi Abio Roig
  
  • Topic: Solving hard industrial problems with SAT
  • Supervisors: Prof. Dr. Baader, Prof. Dr. Baier
  • Date of defence: 15.05.2013
    
    

Former Associated Doctoral Students

2019

• Linda Herrmann
  
  • Topic: Compositionality in Probabilistic Model Checking
  • Supervisors: Prof. Dr. Baier, Prof. Dr. Baader
  • Date of defence: 05.04.2019

2018

• Johannes Osterholzer
  
  • Topic: New Results on Context-Free Tree Languages
  • Supervisors: Prof. Dr. Vogler, Prof. Dr. Baier
  • Date of defence: 04.05.2018

2017

• Doreen Götze
  
  • Topic: Weighted Automata Models over Discrete Structures
  • Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler
  • Date of defence: 14.03.2017

2016

• Thomas Weidner
  • Topic: Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
  • Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler
  • Date of defence: 21.05.2016

2014

• Marcel Lippmann
  
  • Topic: Temporalised Description Logics for Monitoring Partially Observable Events
  • Supervisor: Prof. Dr. Baader
  • Date of defence: 01.07.2014
    
    
• Stefan Borgwardt
  
  • Topic: Fuzzy Description Logics with General Concept Inclusions
  • Supervisor: Prof. Dr. Baader
  • Date of defence: 23.05.2014
    
    

2013

• Mike Behrisch
  
  • Topic: Relational Structure Theory—A Localisation Theory for Algebraic Structures
  • Supervisors: Prof. Dr. Pöschel, Prof. Dr. Ganter
  • Date of defence: 17.07.2013