Associated Doctoral Students

Christian Alrabbaa


Technische Universität Dresden

Topic: Stream Reasoning using Temporalized Description Logics
Supervisors: Prof. Dr. Baader, PD. Dr.-Ing. Turhan

Associated Doctoral Student since 09.04.2018

Shima Asaadi


Technische Universität Dresden

 

Topic: Automatic Extraction of Matrix-based Models of Language
Supervisors: Prof. Dr. Rudolph, Prof. Dr. Vogler

Scholarship Holder from 15.12.2015 to 14.12.2015
Associated Doctoral Student since 15.12.2018

 Thomas Feller


Technische Universität Dresden

Topic: Model-theoretic Characteristics of Decidable Knowledge Representation Formalisms
Supervisor: Prof. Dr. Rudolph

Associated Doctoral Student since 17.12.2018

Johannes Greiner


Technische Universität Dresden

Topic: Polynomial Time Combinations of Decision Procedures for Constraint Satisfaction Problems
Supervisors: Prof. Dr. Bodirsky, Prof. Dr. Baader

Associated Doctoral Student since 01.04.2016

Linda Herrmann (geb. Leuschner)


Technische Universität Dresden


Topic: Compositionality in Probabilistic Model Checking
Supervisors: Prof. Dr. Baier, Prof. Dr. Baader

Associated Doctoral Student since 04.06.2013

Simon Jantsch


Technische Universität Dresden

Topic: Explications for Probabilistic Model Checking
Supervisor: Prof. Dr. Baier, Dr. Quaas

Associated Doctoral Student since 10.10.2018

Pavlos Marantidis


Technische Universität Dresden


Topic: Quantitative Variants of Language Equations and their Applications to Description Logics
Supervisors: Prof. Dr. Baader, Prof. Dr. Rudolph

Scholarship Holder from 01.10.2015 to 30.09.2018
Associated Doctoral Student since 01.10.2018

Erik Paul


Universität Leipzig

 

Topic: The structure of weighted automata on trees and tree-like graphs
Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler

Scholarship Holder from 01.10.2015 to 30.09.2018
Associated Doctoral Student since 01.10.2018

Maximilian Pensel


Technische Universität Dresden


Topic: Qualitative and Quantitative Approaches to Reasoning in Defeasible Description Logics
Supervisors: PD. Dr. Turhan, Prof. Dr. Brewka, Prof. Dr. Baader

Scholarship Holder from 18.12.2015 to 17.12.2018
Associated Doctoral Student since 18.12.2018

Danny Richter


Universität Leipzig

 

Topic: Verification of Counter Automata
Supervisors: Prof. Dr. Maletti, Dr. Quaas

Associated Doctoral Student since 09.02.2018

Lukas Schweizer


Technische Universität Dresden

Topic: Knowledge Representation Formalisms under Non-Standard Semantics — Computational Properties and Practical Reasoning
Supervisors: Prof. Dr. Rudolph, PD. Dr.-Ing. Turhan

Associated Doctoral Student since 01.04.2016

Florian Starke


Technische Universität Dresden

Topic:
Supervisors: Prof. Dr. Bodirsky

Associated Doctoral Student since 20.12.2018

Markus Ulbricht


Universität Leipzig


Topic: Answer Set Optimization
Supervisors: Prof. Dr. Brewka, Prof. Dr. Rudolph, Prof. Dr. Baader

Scholarship Holder of QuantLA from 06.11.2015 to 5.11.2018
Associated Doctoral Student since 6.11.2018

Caterina Viola


Technische Universität Dresden


Topic: Valued Semi-Linear Constraint Satisfaction Problems
Supervisors: Prof. Dr. Bodirsky, Dr. Quaas

Scholarship Holder of QuantLA from 01.03.2016 to 28.02.2019
Associated Doctoral Student since 01.03.2019

Sascha Wunderlich


Technische Universität Dresden

 

Topic: Weight Accumulation and Probabilistic Model Checking
Supervisors: Prof. Dr. Baier, Prof. Dr. Lohrey, Prof. Dr. Rudolph

Scholarship Holder of QuantLA from 01.02.2013 to 31.01.2016
Associated Doctoral Student since 01.02.2016

 

Details