Former Investigators of QuantLA

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

 

Details