2011

Claudio Orlandi, Secure Computation in Untrusted Environments, April 2011

Thomas Greve Kristensen, TBA

Karen Johanne Kortbek, TBA

Pooya Davoodi, TBA

Gert Læssøe Mikkelsen, TBA

Nikolaj Gandrup Borchhorst, TBA

Jesper Nielsen, TBA

Kontantinos Tsakalidis, TBA

2010

Jacob Andersen, Medical Sensor Network Infrastructures, March 2010

Miroslava Sotáková, On the Power of Two-Party Quantum Cryptography, March 2009

Allan Grønlund Jørgensen, Data Structures: Sequence Problems, Range Queries and Fault Tolerance,  April 2010

Simon Tjell, Formal Requirements Modeling, April 2009

Rasmus Engholm, Adaptive Picture Enhancement, May 2010

Martin Joakim Bittel Geisler,  Cryptographic Protocols: Theory and Implentation, May 2010

Brian Bunch Christensen, Efficient Algorithms for Controllable Fluid Simulations and High-Resolution Level Set Deformations, May 2010

Mikkel Krøigaard, On the Computational Overhead of Secure Multiparty Computation, June 2010

Anders Bach Madsen, Initializing and Evaluation of Nested Class Structures, August 2010

Bjarke Hammersholt Roune, Monomial Ideal Algorithms: Connections to Numerical Semigroups and Scarf's Theory of Bodies, August 2010

Karl Klose, On the Expressiveness of Declarative Meta-Languages, September 2010

Mads Darø Kristensen. Empowering Mobile Devices Through Cyber Foraging: The Development of Scavenger, an Open, Mobile Cyber Foraging System, September 2010

Peter Dueholm Justesen, Distinct Candidates Optimization: A Novel Approach to Applied Evolutionary Multi- and Many-objective Optimization, September 2010

Michael Achenbach, An Engineering Approach to Dynamic Program Analysis by Layering Language Abstractions, October 2010

Christian Hofer, Embedded programming Languages and Their Representation, October 2010

Rocio Santillan, Existence and Computation of Equilibria in Auction Games, October 2010

Carolin Lunemann, Cryptographic Protocols under Quantum Attacks, November 2010

2009

Jonathan B. Bunde-Pedersen, Distributed Interaction for Activity-Based Computing, April 2009

Martin Mogensen, Infrastructure Support for Collaborative Pervasive Computing Systems, April 2009

Janus Dam Nielsen, Languages for Secure Multiparty Computation and Towards Strongly Typed Macros, May 2009

Rune Ivan Thorbek, Linear Integer Secret Sharing, September 2009

Clemens Nylandssted Klokmose, On Human-Computer Interaction in Complex Artefact Ecologies, October, 2009

Karsten Noe, Deformable Image Registration for Use in Radiotherapy, October, 2009

Klas Olof Daniel Andersson, Perfect-Information Games with Cycles,  October, 2009

Thomas Mølhave, Handling Massive Terrains and Unreliable Memory,  October, 2009

Martin Olsen, Link Building, November, 2009

Kristian Ellebæk Kjær, Participatory Middleware Design, December 2009