Prof. Dr. rer. nat. habil. Bernhard Ganter


Institut for Algebra
Department of Mathematics
Faculty for Science
(Comprising Biology, Chemistry, Mathematics, Physics and Psychology)
Technische Universität Dresden

Associate Member of QuantLA from 01.10.2012 to 30.09.2015

Email:

Prof. Dr. rer. nat. habil. Markus Lohrey


Department für Elektrotechnik und Informatik
Universität Siegen

Associate Member of QuantLA from 01.10.2012 to 30.09.2015

Telefon: +49-271-740-2826
Email: lohrey at eti dot uni-siegen dot de

Dr. rer. nat. Ingmar Meinecke

Universität Leipzig

Associate Member of QuantLA from 01.10.2012 to 28.02.2013


 

 

Former Scholarship Holders of QuantLA


Shima Asaadi


Technische Universität Dresden

 

Topic: Compositional Matrix-Space Models: Learning Methods and Evaluation
Supervisors: Prof. Dr. Rudolph, Prof. Dr. Vogler

Scholarship Holder from 15.12.2015 to 14.12.2018
Associated Doctoral Student from 15.12.2018 to 08.06.2020
Date of defence: 08.06.2020


Parvaneh Babari Ghorghi


Universität Leipzig

 

Topic: Quantitative Automata and Logic for Pictures and Data Words
Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler

Scholarship Holder of QuantLA from 11.12.2012 to 10.12.2015
Associated Doctoral Student from 11.12.2015 to 03.03.2017
Date of defence: 03.03.2017


Daniel Borchmann

Technische Universität Dresden

Topic: Learning Terminological Knowledge with High Confidence from Erroneous Data
Supervisors: Prof. Dr. Baader, Prof. Dr. Ganter, Prof. Dr. Brewka

Scholarship Holder of QuantLA from 01.10.2012 to 31.09.2014
Date of defence: 09.09.2014


Claudia Carapelle


Universität Leipzig

Topic: On the Satisfiability of Temporal Logics with Concrete Domains
Supervisors: Prof. Dr. Lohrey, Prof. Dr. Baader

Scholarship Holder of QuantLA from 01.10.2012 to 30.09.2015
Associated Doctoral Student from 01.10.2015 to 04.11.2015
Date of defence: 04.11.2015

 


Frederic Dörband


Technische Universität Dresden

 

Topic: Characterisation Theorems for Weighted Tree Automaton Models
Supervisors: Prof. Dr. Vogler, Prof. Dr. Droste

Scholarship Holder of QuantLA from 01.03.2019 to 30.06.2022
Date of defence: 12.07.2022


Stefan Dück

Universität Leipzig

Topic: Weighted Automata and Logics on Hierarchical Structures and Graphs
Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler

Scholarship Holder of QuantLA from 01.10.2014 to 30.09.2017
Date of defence: 21.11.2017




Sven Dziadek


Universität Leipzig

 

Topic: Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words 
Supervisors: Prof. Dr. Droste, Prof. Dr. Baader

Associated Doctoral Student from 01.10.2016 to 30.09.2017
Scholarship Holder of QuantLA from 01.10.2017 to 21.12.2020
Date of defence: 21.12.2020


Andreas Ecke


Technische Universität Dresden

 

Topic: Quantitative Methods for Similarity in Description Logics
Supervisors: Prof. Dr. Baader, Prof. Dr. Baier, Dr. Turhan

Scholarship Holder of QuantLA from 01.10.2012 to 30.09.2015
Associated Doctoral Student from 01.10.2015 to 14.06.2016
Date of defence: 14.06.2016


Shiguang Feng


Universität Leipzig

 

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

Scholarship Holder of QuantLA from 01.10.2012 to 30.09.2015
Associated Doctoral Student from 01.10.2015 to 07.01.2016
Date of defence: 19.04.2016


Daniel Gburek (geb. Krähmann)


Technische Universität Dresden


Topic: Stochastic Hybrid Systems
Supervisors: Prof. Dr. Baier, Prof. Dr. Bodirsky

Associated Doctoral Student from 01.03.2014 to 30.09.2017
Scholarship Holder from 01.10.2017 to 31.03.2018
Date of defence: 27.03.2018


Oliver Fernandez Gil


Universität Leipzig

 

Topic: Adding Threshold Concepts to the Description Logic EL
Supervisors: Prof. Dr. Brewka, Prof. Dr. Baader

Scholarship Holder of QuantLA from 08.10.2012 to 07.10.2015
Associated Doctoral Student from 08.10.2015 to 18.05.2016
Date of defence: 18.05.2016


Luisa Herrmann


Technische Universität Dresden


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

Scholarship Holder from 01.10.2015 to 31.01.2020
Associated Doctoral Student from 01.02.2020 to 29.09.2020
Date of defence: 29.09.2020


Lisa Hutschenreiter


Technische Universität Dresden


Topic: Parametrization in Probabilistic Model Checking
Supervisors: Prof. Dr. Baier, Prof. Dr. Bodirsky

Scholarship Holder from 01.11.2015 to 30.09.2017


Simon Jantsch


Technische Universität Dresden

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

Associated Doctoral Student from 10.10.2018 to 30.06.2022
Date of defence: 06.07.2022


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 from 01.10.2018 to 25.07.2019
Date of defence: 25.07.2019


Antoine Mottet


Technische Universität Dresden


Topic: Dichotomies in Constraint Satisfaction: Canonical Functions and Numeric CSPs
Supervisors: Prof. Dr. Bodirsky, Prof. Dr. Droste

Scholarship Holder from 01.09.2015 to 31.08.2018
Date of defence: 14.08.2018


David Müller


Technische Universität Dresden

 

Topic: Alternative Automata-based Approaches to Probabilistic Model Checking
Supervisors: Prof. Dr. Baier, Prof. Dr. Vogler, Dr. Quaas

Scholarship Holder from 01.03.2013 to 29.02.2016
Associated Doctoral Student from 01.03.2016 to 10.12.2018
Date of defence: 10.12.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 from 01.10.2018 to 15.07.2020
Date of defence: 15.07.2020


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 from 18.12.2018 to 28.10.2019
Date of defence: 28.10.2019


Vitaly Perevoshchikov

Universität Leipzig

Topic: Multi-weighted automata models and quantitative logics
Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler

Scholarship Holder of QuantLA from 01.10.2012 to 30.04.2015
Date of defence: 28.04.2015


Jakob Piribauer


Technische Universität Dresden


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

Scholarship Holder of QuantLA from 01.04.2018 to 15.06.2021
Date of defence: 15.06.2021


Jakub Rydval


Technische Universität Dresden

Topic: Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Supervisor: Prof. Dr. Baader, Prof. Dr. Bodirsky

Scholarship Holder of QuantLA from 01.10.2018 to 30.06.2022
Date of defence: 27.06.2022


Ignasi Abio Roig

Technische Universität Dresden

Topic: Solving hard industrial problems with SAT
Supervisors: Prof. Dr. Baader, Prof. Dr. Baier, Dr. Turhan

Scholarship Holder of QuantLA from 01.10.2012 to 31.03.2013
Date of defence: 15.05.2013


Markus Teichmann


Technische Universität Dresden

 

Topic: Expressing Context-Free Tree Languages by Regular Tree Grammars
Supervisors: Prof. Dr. Vogler, Prof. Dr. Droste

Scholarship Holder from 01.05.2013 to 30.04.2016
Associated Doctoral Student from 01.05.2016 to 12.04.2017
Date of defence: 12.04.2017


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 05.11.2018
Associated Doctoral Student from 06.11.2018 to 04.07.2019
Date of defence: 04.07.2019


Caterina Viola


Technische Universität Dresden


Topic: Valued Constraint Satisfaction Problems over Infinite Domains
Supervisors: Prof. Dr. Bodirsky, PD. Dr. Quaas

Scholarship Holder of QuantLA from 01.03.2016 to 28.02.2019
Associated Doctoral Student from 01.03.2019 to 17.06.2020
Date of defence: 17.06.2020


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 from 01.02.2016 to 30.06.2020





Former Doctoral Students of QuantLA


Mike Behrisch

Technische Universität Dresden

Topic: Relational Structure Theory—A Localisation Theory for Algebraic Structures
Supervisors: Prof. Dr. Pöschel, Prof. Dr. Ganter, PD. Dr. Turhan

Associated Doctoral Student of QuantLA from 01.10.2012 to 17.07.2013
Date of defence: 17.07.2013


Manuela Berg

Technische Universität Dresden

Topic: Modeling and Verification of Probabilistic Systems with Quantitative Requirements
Supervisors: Prof. Dr. Baier, Prof. Dr. Baader

Associated Doctoral Student of QuantLA from 01.10.2012 to 30.06.2013


Stefan Borgwardt

Technische Universität Dresden

Topic: Fuzzy Description Logics with General Concept Inclusions
Supervisors: Prof. Dr. Baader, Prof. Dr. Baier

Associated Doctoral Student of QuantLA from 01.10.2012 to 23.05.2014
Date of defence: 23.05.2014


Doreen Götze


Universität Leipzig

 

Topic: Weighted Automata Models over Discrete Structures
Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler

Associated Doctoral Student from 01.10.2012 to 14.03.2017
Date of defence: 14.03.2017


Linda Herrmann (geb. Leuschner)


Technische Universität Dresden


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

Associated Doctoral Student from 04.06.2013 to 05.04.2019
Date of defence: 05.04.2019


Marcel Lippmann

Technische Universität Dresden

Topic: Temporalised Description Logics for Monitoring Partially Observable Events
Supervisors: Prof. Dr. Baader, Prof. Dr. Baier

Associated Doctoral Student of QuantLA from 01.10.2012 to 01.07.2014
Date of defence: 01.07.2014


Johannes Osterholzer


Technische Universität Dresden

Topic: New Results on Context-Free Tree Languages
Supervisors: Prof. Dr. Vogler, Prof. Dr. Baier

Associated Doctoral Student from 01.10.2012 to 04.05.2018
Date of defence: 04.05.2018


Danny Richter


Universität Leipzig

 

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

Associated Doctoral Student from 09.02.2018 to 30.09.2020


Thomas Weidner


Universität Leipzig

Topic: Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
Supervisors: Prof. Dr. Droste, Prof. Dr. Vogler

Associated Doctoral Student from 01.10.2012 to 21.06.2016
Date of defence: 21.06.2016