Please contribute to keeping these pages up to date, and inform Herman Geuvers of relevant changes or missing information.

• Goran Frehse (PhD.. October 2005)
  Title: Compositional Verification of Hybrid Systems using Simulation Relations, Radboud University Nijmegen,
• Artem Alimarine (PhD September 2005)
  Title: Generic Functional Programming - Conceptual Design, Implementation and Applications.

• Milad Niqui (PhD September 2004)
  Title: Formalising Exact Arithmetic: Representations, Algorithms and Proofs
• Luis Cruz Filipe (PhD April 2004)
  Title: Constructive Real Analysis: a Type-Theoretical Formalization and Applications

• Franc Grootjen (PhD ?? 2003)
  Title: ??
• Ansgar Fehnker (PhD april 2002)
  Title: Citius Vilius Melius
• Mariëlle Stoelinga (PhD april 2002)
  Title: Alea jacta est: verification of probabilistic, real-time and parameteric systems
• Bas Spitters (PhD 2002)
  Title: Constructive and intuitionistic integration theory and functional analysis.
• Venanzio Capretta (PhD april 2002)
  Title: Abstraction and Computation. Type Theory, Algebraic Structures, and Recursive Functions.

• Avgerino Arampatzis (PhD June 2001)
  Title: Adaptive and Temporally-dependent Document Filtering
• Ruud van Dael (PhD February 2001)
  Title: Iets met computers. Over beroepsvorming van de informaticus
• Marieke Huisman (PhD February 2001)
  Title: Reasoning about JAVA programs in higher order logic with PVS and Isabelle
• Pascal Serrarens (PhD January 2001)
  Title: Communication issues in distributed functional computing

• Paul Jones (PhD November 2000)
  Title: Best first search & document processing applications
• Bernd Wondergem (PhD October 2000)
  Title: Compact and tractable descriptors for information discovery
• Silvio Valentini (PhD June 2000)
  Title: Meta-mathematical aspects of Martin-Löf's type theory
• David Griffioen (PhD May 2000)
  Title: Studies in computer aided verification of protocols

• Mark Ruys (PhD June 1999)
  Title: Studies in mechanical verification of mathematical proofs
• Milena Stefanova (PhD June 1999)
  Properties of typing systems

• Jan-Willem Hubbers (PhD December 1998)
  Title: Object-oriented analysis for multi-faceted applications with distributed control and localized data
• Maurice klein Gebbinck (PhD November 1998)
  Title: Decomposition of mixed pixels in remote sensing images to improve the area estimation of agricultural fields
• Frits Berger (PhD September 1998)
  Title: Navigational query construction in a hypertext environment
• Louis Vuurpijl (PhD February 1998)
  Title: Platforms for artificial neural networks - neurosimulators and performance prediction of MIMD-parallel systems

• Frans Panken (PhD November 1997)
  Title: Design and performance evaluation of multiple-access protocols for ATM-based passice optical networks
• Hans van Halteren (PhD October 1997)
  Title: Excursions into syntactic databases.
• Frank v.d. Beuken (PhD October 1997)
  Title: A functional approach to syntax and typing
• Paul Frederiks (PhD June 1997)
  Title: Object-oriented modeling based on information grammars

• Mariangola Dezani-Ciancaglini (PhD October 1996)
  Title: Logical semantics for concurrent lambda-calculus
• Marco Kesseler (PhD April 1996)
  Title: The implementation of functional languages on parallel machines with distributed memory
• Peter Achten (PhD February 1996)
  Title: Interactive functional programs - Models, methods, and implementation
• Max Geerling (PhD February 1996)
  Title: Transformational development of data-parallel algorithms
• Mieke Massink (PhD February 1996)
  Title: Functional techniques in concurrency
• Frank Waaldijk (PhD April 1996)
  Title: Modern intuitionistic topology. Promotor: Henk Barendregt

• Patrick van Bommel (PhD October 1995)
  Title: Database optimization: An evolutionary approach
• Ron Schoenmakers (PhD September 1995)
  Title: Integrated methodology for segmentation of large optical satellite images in land applications of remote sensing
• Hugh Osborne (PhD May 1995)
  Title: Update plans - A high level low level specification language
• J.P. Draanen (PhD May 1995)
  Title: Models for simply typed lambda-calculi with fixed point combinators and enumerators
• Erik Barendsen (PhD February 1995)
  Title: Types and computations in lambda calculi and graph rewrite systems
• Adriana Compagnoni (PhD January 1995)
  Title: Higher-order subtyping with intersection types

• Mark-Jan Nederhof (PhD October 1994)
  Title: Linguistic parsing and program transformations
• Martin Wieczorek (PhD October 1994)
  Title: Locative temporal logic and distributed real-time systems - specification
• Niek van Diepen (PhD October 1994)
  Title: Modular algebraic specifications and transformational program development
• Erik Proper (PhD April 1994)
  A theory for conceptual modelling of evolving application domains
• Marc Seutter (PhD January 1994)
  Title: The development of semantic functions for a system description language with multiple interpretations
• Erik Nöcker (PhD January 1994)
  Title: Efficient functional programming - Compilation and programming techniques
• Huub van Thienen (PhD January 1994)
  Title: It's about time - Using funmath for the specification and analysis of discrete dynamic systems

• Arthur ter Hofstede (Phd September 1993)
  Title: Information modelling in data intensive domains
• Herman Geuvers (PhD September 1993)
  Title: Logics and type systems
• A.J.C. Hurkens (PhD June 1993)
  Title: Borel determinacy without the axiom of choice
• Peter Bruza (PhD April 1993)
  Title: Stratified information disclosure - A synthesis between hypermedia and information retrieval
• Sjaak Smetsers (PhD February 1993)
  Title: Graph rewriting and functional languages
• Steffen van Bakel (PhD February 1993)
  Title: Intersection type disciplines in lambda calculus and applicative term rewriting systems

• W.E. Ditters (PhD November 1992)
  Title: A formal approach to arabic syntax.
• Mark van den Brand (PhD November 1992)
  Title: Pregmatic - A generator for incremental programming environments
• Erik Meijer (PhD February 1992)
  Title: Calculating compilers
• Eerke Boiten (PhD February 1992)
  Title: Views of formal program development

• Bart Jacobs (PhD September 1991)
  Title: Categorical type theory

• Pieter Koopman (PhD December 1990)
  Title: Functional programs as executable specifications
• Sjaak Brinkkemper (PhD June 1990)
  Title: Formalisation of information systems modelling

• M.P.G. Moritz (PhD April 1989)
  Title: Description and analysis of static semantics by fixed point equations

• Marko van Eekelen (PhD December 1988)
  Title: Parallel graph rewriting - some contributions to its theory, its implementation and its application

• Hans Meijer (PhD June 1986)
  Title: Programmar: A translator generator

• Rinus Plasmeijer (PhD June 1981)
  Title: Input tools - A language model for interaction and process communciation