Gert Smolka: Doctoral Students

Programming Systems

Gert Smolka

Teaching

Publications

Doctoral Students

28. Dominik Kirst, 2023
    Mechanized Metamathematics, An Investgation of First-Order Logic and Set Theory in Constructive Type Theory.


27. Yannick Forster, 2021
    Computability in Constructive Type Theory.


26. Kathrin Stark, 2020
    Mechanising Syntax with Binders in Coq.


25. Steven Schäfer, 2019
    Engineering of Formal Systems in Constructive Type Theory.


24. Jonas Kaiser, 2019
    Formal Verification of the Equivalence of System F and the Pure Type System L2.


23. Sigurd Schneider, 2018
    A Verified Compiler for a Linear Imperative/Functional Intermediate Language.
    (Co-supervisor: Sebastian Hack)


22. Christian Doczkal, 2016
    A Machine-Checked Constructive Metatheory of Computation Tree Logic.


21. Mark Kaminski, 2012
    Incremental Decision Procedures for Modal Logic with Nominals and Eventualities.


20. Mathias Möhl, 2010,
    Dynamic Programming based RNA Pseudoknot Alignment.


19. Guido Tack, 2009,
    Constraint Propagation -- Models, Techniques, Implementation.
    Won ACP Doctoral Research Award 2010.


18. Marco Kuhlmann, 2007,
    Dependency Structures and Lexicalized Grammars.
    Won E.W. Beth Dissertation Prize 2008.


17. Andreas Rossberg, 2007,
    Typed Open Programming.


16. Leif Kornstaedt, 2006,
    Design and Implementation of a Programmable Middleware.


15. Ralph Debusmann, 2006,
    Extensible Dependency Grammar --- A Modular Grammar Formalism Based On Multigraph Description.


14. Alexander Koller, 2004,
    Constraint-based and Graph-based Resolution of Ambiguities in Natural Language.


13. Tim Priesnitz, 2004,
    Subtype Satisfiability and Entailment.
    (Co-supervisor: Joachim Niehren)


12. Katrin Erk, 2002,
    Parallelism Constraints in Underspecified Semantics.


11. Tobias Müller, 2001,
    Constraint Propagation in Mozart.


10. Christian Schulte, 2000,
    Programming Constraint Services.


9. Michael Mehl, 1999,
   The Oz Virtual Machine: Records, Transients, and Deep Guards.


8. Ralf Scheidhauer, 1999,
   Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz.


7. Joachim Paul Walser, 1998,
   Domain-independent Local Search for Linear Integer Optimization.


6. Martin Müller, 1998,
   Set-based Failure Diagnosis for Concurrent Constraint Programming.


5. Jörg Würtz, 1998,
   Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz.


4. Martin Henz, 1997,
   Objects in Oz.


3. Joachim Niehren, 1995,
   Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen.


2. Rolf Backofen, 1994,
   Expressivity and Decidability of First-order Languages over Feature Trees.


1. Andreas V. Hense, 1994,
   Polymorphic Type Inference for Object-oriented Pogramming Languages.