The Mathematical Genealogy

Martin Rasmussen (2016) - A Functional Approach to Generating Randomized Exams with Multiple Choices

Rohde Fischer (2016) - An Automated Approach to Organizing BibTeX Files

Ole Dalgaard Lauridsen (2015) - A Formalization of Cryptography with the Coq Proof Assistant

Christian Clausen (2015) - Programs, Proofs, and Tactics in the Coq Proof Assistant

Peter Urbak (2014) - A Formal Study of Moessner's Sieve

Jeppe Welling Hansen (2013) - Editorial Support for First-year Students in Programming Languages at Aarhus University

Dam Amlund Thomsen (2011) - A Trace-based Framework for Comparing String Matchers

Lene Mejlby (2010) - Why are there so few Female Students in Computer Science?

Jakob Dam (2009) - A Web-based Weather Service for Wind and Kite Surfers

Jacob Johannsen (2009) -  An Investigation of Abadi and Cardelli's Untyped Calculus of Objects

Johan Munk (2007) - A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of State