Sven Dziadek


Universität Leipzig

 

Topic: Extended Quantitative Tree Automata
Supervisors: Prof. Dr. Droste, Prof. Dr. Baader

Associated Doctoral Student from 01.10.2016 to 30.09.2017
Scholarship Holder since 01.10.2017


Gustav Grabolle


Universität Leipzig

 

Topic: Alternating Weighted Automata
Supervisors: Prof. Dr. Droste

Associated Doctoral Student from 09.04.2018 to 30.09.2018
Scholarship Holder since 01.10.2018


Willi Hieke


Technische Universität Dresden

Topic: Computing Preferred Models in Description Logics
Supervisors: PD. Dr.-Ing. Turhan, Prof. Dr. Vogler

Scholarship Holder since 01.10.2018


Simon Knäuer


Technische Universität Dresden

Topic: Valued Constraint Satisfaction Problems over Infinite Domains
Supervisor: Prof. Dr. Bodirsky

Scholarship Holder since 01.10.2018


Jakob Piribauer


Technische Universität Dresden


Topic: Stochastic Shortest Path Problems
Supervisors: Prof. Dr. Baier, Prof. Dr. Baader

Scholarship Holder since 01.04.2018


Jakub Rydval


Technische Universität Dresden

Topic:
Supervisor: Prof. Dr. Baader

Scholarship Holder since 01.10.2018


Lena Schiffer


Universität Leipzig

Topic: Combinatory Categorial Grammars
Supervisor: Prof. Dr. Maletti

Scholarship Holder since 01.10.2018


Kevin Stier


Universität Leipzig

Topic: Weighted Tree Substitution
Supervisor: Prof. Dr. Maletti

Associated Doctoral Student from 09.04.2018 to 30.09.2018
Scholarship Holder since 01.10.2018


Scholarship Holders (2nd Generation)


Shima Asaadi


Technische Universität Dresden

 

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

Scholarship Holder since 15.12.2015


Luisa Herrmann


Technische Universität Dresden


Topic: Weighted Automata with Storage
Supervisors: Prof. Dr. Vogler, Prof. Dr. Droste

Scholarship Holder since 01.10.2015


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 since 18.12.2015


Markus Ulbricht


Universität Leipzig


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

Scholarship Holder since 06.11.2015


Caterina Viola


Technische Universität Dresden


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

Scholarship Holder since 01.03.2016