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


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

 


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




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


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


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


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


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


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





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


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


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