2026:

• Durgesh Kumar's (MSc) thesis on Finiteness Spaces and Lefschetz Spaces and the Blute conjecture here.
  
• Florian Schwarz's (PhD) thesis (jointly supervised with Kristine Bauer) on Bundles in Categorical Geometry here
  

2025:

• Saina Daneshmandjahromi's (MSc) thesis on Universal quantification in programming Types is here
  
• Melika Norouzbeygi's (MSc) thesis on Higher-order message passing in CaMPL is here.

2022:

• Ben MacAdam's (PhD) thesis on the functorial semantics of Lie theory is here.
• Amolak Ratan Kalra's (MSc) thesis on Kirchhoff relations is here.

2021:

• Priyaa Srinivasan's (PhD) thesis on dagger linear logic and its application to quantum mechanics is here.

2019:

• Cole Comfort's (MSc) thesis characterizing the equations satisfied by the reversible logic gates CNOT and TOFFOLI is here.

2018:

• Prashant Kumar's (MSc) thesis on implementing Message Passing Language (MPL) is here.
• Jonathan Gallagher's (PhD) thesis on the differential \lambda-calculus and abstract differential geometry is here.

2017:

• Chad Nester's (MSc) thesis on Turing categories and realizability is here.
• Jean-Simon Lemay's (MSc) thesis (jointly supervised with Kristine Bauer) on Integeral Categories is here.

2014

• Brett Giles's (PhD) thesis on reversible computation, Quantum computing, and inverse categories is here.
• Subashis Chakraborty's (MSc) thesis on the type system of MPL is here.

2012: 

• Jonathan Gallagher's (MSc) thesis on Differential PCA's, is here.
• Xiuzhan Guo's (PhD) thesis on join and Cartesian restriction categories is here.
• Masuka Yeasin's (MSc) thesis on protocols in actegories is here.

2008:

• Ning Tang's (MSc) thesis on FLOEY an intermediate compiler language, is here.

2007:

• Brett Giles (MSc) thesis on L-QPL, linear quantum programming, is here.

2004:

• Xiuzhan Guo's (MSc) thesis on Range Restriction Categories is here
• Craig Pastro's (MSc) thesis on SigmaPi polycategories is here

2003:

• Min Zeng's (MSc) thesis on an impementation of Charity is here

1997:

• David Spooner's (PhD) thesis on the semantics of concurrency in span categories is here
• Charles Tuckey's (MSc) thesis on pattern matching for Charity is here
• Marc Schroeder's thesis on higher-order types for Charity is here

1996:

• Peter Vesely's thesis on categorical combinators is here

1995:

• Barry Yee's thesis on the  abstract machine for Charity is here

1993:

• Dwight Spencer's (PhD) thesis on the syntax for categorical programming is here