TUD Logo

TUD Home » ... » Chair of Foundations of Programming » Research » Ph.D. graduates

Chair of Foundations of Programming

Ph.D. graduates

  • Dr.rer.nat. Matthias Büchse (DFG Projekt Nr. VO 1011/6-1): Algebraic decoder specification: coupling formal-language theory and statistical machine translation
    date of defence: December 18, 2014, Technische Universität Dresden.
  • Dr.rer.nat. Torsten Stüber: Multioperator Weighted Monadic Datalog
    date of defence: February 10, 2011, Technische Universität Dresden.
  • Dr.rer.nat. Andreas Maletti (scholarship holder of DFG-Graduiertenkolleg 334): The Power of Tree Series Transducers
    date of defence: June 15, 2006, Technische Universität Dresden.
  • Jun.-Prof. Dr. rer. nat. habil. Janis Voigtländer (DFG Projekt Nr. KU 1290 / 2-1, 2-3 und 2-4): Tree Transducer Composition as Program Transformation
    date of defence: January 24, 2005, Technische Universität Dresden.
  • Dr.rer.nat. Björn Borchardt (scholarship holder of DFG-Graduiertenkolleg 334): The Theory of Recognizable Tree Series
    date of defence: December 17, 2004, Technische Universität Dresden.
  • Dr.rer.nat. Claus Jürgensen (scholarship holder of DFG-Graduiertenkolleg 334): Categorical semantics and composition of tree transducers
    date of defence: January 30, 2004, Technische Universität Dresden.
  • Prof. Dr.rer.nat.habil. Petra Hofstedt: Cooperation and Coordination of constraint solvers
    date of defence: July 2, 2001, Technische Universität Dresden.
  • PD Dr.rer.nat. Daniel Kirsten (scholarship holder of DFG-Graduiertenkolleg 334): On decision problems of recognizable trace languages
    date of defence: November 29, 1999, Technische Universität Dresden.
  • Dr.-Ing. Armin Kühnemann: Berechnungsstärke von Teilklassen primitiv-rekursiver Programmschemata
    date of defence: Juli 03, 1997, Technische Universität Dresden.
  • Dr.-Ing. Heinrich Fassbender: E-Unifikation für Primitiv-Rekursive Baumfunktionen - Semantik und Implementierung
    date of defence: Mai 12, 1995, Universität Ulm.
Last modified: 28th Jul 2015, 9.06 AM
Author: Dipl.-Inf. Toni Dietze