Current students:

• Mathias Schwarz (PhD student)

• Simon Holm Jensen (PhD student)

• Magnus Madsen (PhD student)

• Asger Feldthaus (PhD student)

• Esben Andreasen (PhD student)

• Casper S. Jensen (PhD student)

• Jacob H.C. Kragh (student programmer)

• Kasper Nielsen (student programmer)

• Valerio Bruno (student programmer)

• Kristoffer Just Andersen (student programmer)

• Asger Eriksen (MSc student)

Former thesis students:

• Henning Böttger (Cand. Scient., 2004):
  Improving Cooperation Between Programmers and HTML Designers Using Contracts

• Gunner Olesen (Master IT, 2004):
  System Integration with Web Services on the Business Intranet

• Torben Ruby (Cand. Scient., 2004):
  Specification, Implementation, and Verification of Web Services

• Mads Østerby Olesen (Cand. Scient., 2004):
  Static Validation of XSLT

• Alexander Harrow (Cand. IT, 2005):
  XML and Relational Databases - A Survey

• Martin Mosegaard Jensen (Cand. Scient., 2006):
  Understanding Parametric Shape Analysis

• Janus Dam Nielsen (Cand. Scient., 2006):
  Relations between Schema Languages for XML

• Søren Kuula (Cand. Scient., 2006):
  Practical Type-Safe XSLT 2.0 Stylesheet Authoring

• Christian Kirkegaard (PhD, 2006, co-supervised by Michael Schwartzbach):
  Programming with XML

• Michael Ustrup (Cand. Scient., 2006):
  Coding Conventions

• Colin Samuel Rosenthal (Cand. IT, 2007):
  Contract-Based Web Development

• Henrik Thuesen (Cand. Scient., 2007):
  Type Checking for JavaScript

• Bárður Háskor (Cand. Scient., 2007):
  Analysis of String Expressions

• Rune Simonsen &
• Rasmus Kromann-Larsen (Cand. Scient., 2007):
  Analyzing JavaScript Programs

• Rasmus Nygaard Andersen (Cand. Scient., 2007):
  Web Application Frameworks

• Jonas Krarup Dam (Cand. Scient., 2007):
  Static Analysis for Java Servlets and JSP

• Anders Jacobsen (Cand. Scient., 2007):
  Analysis of SAX Applications

• Sune Koch Hansen (Cand. Scient., 2008):
  Call-Graph Analysis for JavaScript

• Kasper Hansen (Cand. Polyt., 2008):
  Web Service Standards

• Lea Troels Møller Pedersen (Cand. Scient., 2009):
  Program Slicing for String Analysis

• Ronny Rundberg Bruus (Cand. Scient., 2009):
  Safety Analysis for Web Applications

• Simon Corfix Lykke (Cand. Scient., 2010):
  Streaming XSLT

• Jakob Benjamin Boisen Juhl (Cand. Scient., 2010):
  Scripting in OpenEngine

• Smári Viðarsson Waage (Cand. Scient., 2010):
  A Study of Trace-Based Compilation

• Anders Viskum (Cand. Scient., 2010):
  Web Application Testing

• Kristian Klüver Jensen (Cand. Scient., 2010):
  Type Checking SQL/XML

• Peder Bugge Jakobsen (Dipl. IT, 2010):
  Caching in JEE Backends

• Valerio Bruno (MSc, 2011):
  Concolic Testing with PALE

• Martin C. Thuesen (Cand. Scient., 2011):
  Contracts for jQuery

• Casper Bach Poulsen (Cand. Scient., 2011):
  Improving Automated Testing for JavaScript