PhD students of Achim Jung

• Anna Laura Suarez
  Dissertation (2021): Pointfree spaces and pointfree subspaces
  Examiners: M. Andrew Moshier and Martín Escardó
• Tomáš Jakl
  Dissertation (2018): d-Frames as Algebraic Duals of Bitopological Spaces
  Examiners: Jorge Picado and Steve Vickers
• Xiaodong Jia
  Dissertation (2018): Meet-Continuity and Locally Compact Sober Dcpos
  Examiners: Jean Goubault-Larrecq and Martín Escardó
• Liang-Ting Chen
  Dissertation (2014): On a Purely Categorical Framework for Coalgebraic Modal Logic
  Examiners: Clemens Kupke and Paul Levy
• Olaf Klinke
  Dissertation (2012): A Bitopological Point-Free Approach to Compactification
  Examiners: Andrea Schalk and Martín Escardó
• Mohamed El-Zawawy
  Dissertation (2007): Semantic Spaces in Priestley Form
  Examiners: Andrea Schalk and Steve Vickers
• Amin Farjudian
  Dissertation (2004): Sequentiality in Real Number Computation
  Examiners: Abbas Edalat and Martín Escardó
• Paola Maneggia
  Dissertation (2004): Models of Linear Polymorphism
  Examiners: Martin Hyland and Eike Ritter
• Pawel Waszkiewicz
  Dissertation (2002): Quantitative Continuous Domains
  Examiners: Michael Huth and Martín Escardó
• Michal Konečný
  Dissertation (2000): Many-valued Real Functions Computable by Finite Transducers Using IFS-Representations
  Examiners: Martín Escardó and Eike Ritter
• Mathias Kegelmann
  Dissertation (1999): Continuous Domains in Logical Form
  Examiners: Edmund Robinson and Eike Ritter
• Hermann Puhlmann
  Dissertation (1995): Die Snack-Potenzkonstruktion: Grundlage einer Semantik genesteter Datenbanken (The Snack-Powerdomain: Basis for a Semantics of Nested Databases).

I was second advisor to:

• Julie Wilks
  Dissertation (1998): Representing, Querying and Updating Incomplete Data in Constrain Deductive Databases.
• Philipp Sünderhauf
  Dissertation (1994): Discrete Approximation of Spaces
• Andrea Schalk
  Dissertation (1993): Algebras for Generalized Power Constructions