| Department of Computer Science - Daimi |
|
| Home | Contact | Research | Courses | Curriculum | Library | Local | Search |
| Select Decade | Search |
| Name: | Thomas Troels Hildebrandt | Graduated: | 2000-02-10 |
| Supervisor: | Glynn Winskel | ||
| Evaluation Committee: | Alex Simpson, Univ. of Edinburgh, UK Luca Aceto, Univ. of Aalborg, DK Mogens Nielsen |
||
| Title: | Categorical Models for Concurrency: Independence, Fairness and Dataflow | ||
| Name: | Anders Bækgaard Sandholm | Graduated: | 2000-02-18 |
| Supervisor: | Michael I. Schwartzback | ||
| Evaluation Committee: | Anindya Banerjee, Stevens Inst. of Technology, USA Henrik Reif Andersen, The IT Univ. of Copenhagen, DK Erik Meineche Schmidt |
||
| Title: | Programming Languages: Design, Analysis, and Semantics | ||
| Name: | Theis Rauhe | Graduated: | 2000-03-06 |
| Supervisor: | Sven Skyum | ||
| Evaluation Committee: | Faith E. Fich, Univ. of Toronto, CA Arne Andersson, Uppsala Univ., S Erik Meineche Schmidt |
||
| Title: | Complexity of Data Structures | ||
| Name: | Christian Nørgaard Storm Pedersen | Graduated: | 2000-03-09 |
| Supervisor: | Sven Skyum | ||
| Evaluation Committee: | Alberto Apostolico, Univ. of Padova, IT Anders Krogh, Technical Univ. of Denmark, DK Erik Meineche Schmidt |
||
| Title: | Algorithms in Computational Biology | ||
| Name: | Rune Bang Lyngsø | Graduated: | 2000-03-09 |
| Supervisor: | Ole Caprani | ||
| Evaluation Committee: | Alberto Apostolico, Univ. of Padova, IT Anders Krogh, Technical Univ. of Denmark, DK Erik Meineche Schmidt |
||
| Title: | Computational Biology | ||
| Name: | Lars Michael Kristensen | Graduated: | 2000-03-29 |
| Supervisor: | Kurt Jensen | ||
| Evaluation Committee: | Rüdiger Valk, Univ. of Hamburg, D Kim Guldstrand Larsen, Univ. of Aalborg, DK Mogens Nielsen |
||
| Title: | State Space Methods for Coloured Petri Nets | ||
| Name: | Jakob Vogdrup Hansen | Graduated: | 2000-04-18 |
| Supervisor: | Brian H. Mayoh | ||
| Evaluation Committee: | Lars Kai Hansen, Technical Univ. of Denmark, DK Tom Heskes, Univ. of Nijmegen, NL Erik Meineche Schmidt |
||
| Title: | Combining Predictors - Meta Machine Learning Methods and Bias/Variance & Ambiguity Decompositions | ||
| Name: | Jesper Gulmann Henriksen | Graduated: | 2000-05-26 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Antoine Petit, CNRS, Ecole Normale Supèrieure, FR Henrik Reif Andersen, The IT Univ. of Copenhagen, DK Erik Meineche Schmidt |
||
| Title: | Logics and Automata for Verification: Expressiveness and Decidability Issues | ||
| Name: | Kresten Krab Thorup | Graduated: | 2000-11-17 |
| Supervisor: | Ole Lehrmann Madsen | ||
| Evaluation Committee: | Ole Agesen, VMware Inc., USA Kasper østerbye, IT Univ. of Copenhagen, DK Mogens Nielsen |
||
| Title: | Discourse on Genericity in Object-Oriented Programming Languages | ||
| Name: | Marcin Jurdzinski | Graduated: | 2000-12-18 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Julian Bradfield, Univ. of Edinburgh, UK Henrik Reif Andersen, The IT Univ. of Copenhagen, DK Erik Meineche Schmidt |
||
| Title: | Games for Verification: Algorithmic Issues | ||
| Name: | Stefan Dziembowski | Graduated: | 2001-01-19 |
| Supervisor: | Ivan Bjerre Damgård | ||
| Evaluation Committee: | Ran Canetti, IBM, T.J. Watson Research Center, USA Peter Landrock, Chryptomatic, DK Erik Meineche Schmidt |
||
| Title: | Multiparty Computations - Information-Theoretically Secure against an Adaptive Adversary | ||
| Name: | Niels Olof Bouvin | Graduated: | 2001-03-09 |
| Supervisor: | Kaj Grønbæk | ||
| Evaluation Committee: | Hugh C. Davis, Univ. of Southampton, UK Uffe Kock Wiil, Aalborg Univ. Esbjerg, DK Ole Lehrmann Madsen |
||
| Title: | Augmenting the Web through Open Hypermedia - The Development of the Arakne Environment, a Collaborative Open Hypermedia System for Web Augmentation | ||
| Name: | Jakob Pagter | Graduated: | 2001-03-27 |
| Supervisor: | Erik Meineche Schmidt | ||
| Evaluation Committee: | Arne Andersson, Uppsala Univ., S Kim Skak Larsen, Univ. of Southern Denmark, DK Mogens Nielsen |
||
| Title: | Time-Space Trade Offs | ||
| Name: | Thomas Seidelin Hune | Graduated: | 2001-03-27 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Wang Yi, Uppsala Univ. S Vladimiro Sassone, Univ. of Sussex, UK Erik Meineche Schmidt |
||
| Title: | Analyzing Real-Time Systems: Theory and Tools | ||
| Name: | Morten Rhiger | Graduated: | 2001-08-17 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | Helmut Schwichtenberg, Ludwig-Maximilians-Universität, D Peter Sestoft, Royal Veterinary and Agricultural Univ., DK Mogens Nielsen |
||
| Title: | Higher-Order Program Generation | ||
| Name: | Daniel Damian | Graduated: | 2001-08-17 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | Olin Shivers, Georgia Institute of Technology, USA Torben Mogensen, Univ. of Copenhagen, DK Mogens Nielsen |
||
| Title: | On Static and Dynamic Control-Flow Information in Program Analysis and Transformation | ||
| Name: | Bernd Grobauer | Graduated: | 2001-08-31 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | Peter Dybjer, Chalmers Technical Univ., S Neil Jones, Univ. of Copenhagen, DK Mogens Nielsen |
||
| Title: | Topics in Semantics-based Program Manipulation | ||
| Name: | Lasse Reichstein Nielsen | Graduated: | 2001-08-31 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | Julia L. Lawall, Univ. of Copenhagen, DK Fritz Henglein, IT Univ. of Copenhagen, DK Mogens Nielsen |
||
| Title: | A Study of Defunctionalization and Continuation-Passing Style | ||
| Name: | Mads Torgersen | Graduated: | 2001-09-14 |
| Supervisor: | Ole Lehrmann Madsen | ||
| Evaluation Committee: | Gilad Bracha, SUN Microsystems, USA Kasper østerbye, The IT Univ. of Copenhagen, DK Mogens Nielsen |
||
| Title: | Unifying Abstractions | ||
| Name: | Niels Damgaard | Graduated: | 2001-10-01 |
| Supervisor: | Michael I. Schwartzbach | ||
| Evaluation Committee: | Anders Peter Ravn, Aalborg Univ., DK Vladimiro Sassone, Univ. of Sussex, UK Mogens Nielsen |
||
| Title: | Using Theory to Make Better Tools | ||
| Name: | Aino Cornils | Graduated: | 2001-11-01 |
| Supervisor: | Jørgen Lindskov Knudsen | ||
| Evaluation Committee: | Linda Rising, USA Görel Hedin, Lund Institute of Technology, S Ole Lehrmann Madsen |
||
| Title: | Patterns in Software Development | ||
| Name: | Flemming Friche Rodler | Graduated: | 2001-11-16 |
| Supervisor: | Brian H. Mayoh | ||
| Evaluation Committee: | Chandrajit Bajaj, Univ. of Texas, USA Jens Damgaard Andersen, Univ. of Copenhagen, DK Erik Meineche Schmidt |
||
| Title: | Compression With Fast Random Access | ||
| Name: | Mikkel Thomas Jensen | Graduated: | 2001-11-23 |
| Supervisor: | Brian H. Mayoh | ||
| Evaluation Committee: | Christian Prins, Univ. de Technologie de Troyes, FR Jens Clausen, Techical Univ. of Denmark, DK Erik Meineche Schmidt |
||
| Title: | Robust and Flexible Scheduling with Evolutionary Computation | ||
| Name: | Christina Nielsen | Graduated: | 2002-03-19 |
| Supervisor: | Susanne Bødker | ||
| Evaluation Committee: | Yngve Sundblad, Royal institute of Technology, S Peter Carstensen, IT Univ. of Copenhagen, DK Ole Lehrmann Madsen |
||
| Title: | Designing to support Mobile Work with Mobile Devices | ||
| Name: | M. Oliver Möller | Graduated: | 2002-04-19 |
| Supervisor: | Kim G. Larsen, Aalborg Univ. and Mogens Nielsen | ||
| Evaluation Committee: | Ernst-Rüdiger Olderog, Carl V. Ossietzsky Univ., D Hans Henrik Løvengreen, Technical Univ. of Denmark, DK Ole Lehrmann Madsen |
||
| Title: | Structure and Hierarchy in Real-Time Systems | ||
| Name: | Stefan Stoyanov Dantchev | Graduated: | 2002-05-10 |
| Supervisor: | Søren Riis, Queen Mary's College, Univ. of London, UK and Erik Meineche Schmidt | ||
| Evaluation Committee: | Jan Krajicek, Academy of Sciences of the Czech Republic, CZ Pavel Pudlak, Academy of Sciences of the Czech Republic, CZ Mogens Nielsen |
||
| Title: | On Resolution Complexity of Matching Principles | ||
| Name: | Riko Jacob | Graduated: | 2002-05-31 |
| Supervisor: | Gerth Stølting Brodal | ||
| Evaluation Committee: | Pankaj K. Agerwal, Duke Univ., UK Mark de Berg, Utrecht Univ., NL Mogens Nielsen |
||
| Title: | Dynamic Planar Convex Hull | ||
| Name: | Klaus Marius Hansen | Graduated: | 2002-05-31 |
| Supervisor: | Ole Lehrmann Madsen | ||
| Evaluation Committee: | Bent Bruun Kristensen, University of Southern Denmark, Denmark Wendy Mackay, Institut National de Recherche en Informatique et Automatique, France Ole Caprani |
||
| Title: | Experimantal Object-Oriented Modelling | ||
| Name: | Jakob Fredslund | Graduated: | 2002-06-19 |
| Supervisor: | Ole Caprani | ||
| Evaluation Committee: | John Hallam, University of Edinburgh, UK Chris Melhuish, University of West England, UK Ivan Bjerre Damgård, University of Aarhus, Denmark |
||
| Title: | Simplicity Applied in Projects Involving Embodied, Autonomous Robots | ||
| Name: | Lisa Wells | Graduated: | 2002-08-28 |
| Supervisor: | Søren Christensen | ||
| Evaluation Committee: | W.M.P van der Aalst, Eindhoven Univ. of Technology, The Netherlands Wlodek Zuberek, Memorial University of Newfoundland, Canada Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Performance Analysis Using Coloured Petri Nets | ||
| Name: | Bo Lindstrøm | Graduated: | 2002-08-29 |
| Supervisor: | Søren Christensen | ||
| Evaluation Committee: | W.M.P van der Aalst, Eindhoven Univ. of Technology, The Netherlands Wlodek Zuberek, Memorial University of Newfoundland, Canada Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Facilitating the Practical Use of Coloured Petri Nets | ||
| Name: | Louise Elgaard | Graduated: | 2002-08-30 |
| Supervisor: | Søren Christensen | ||
| Evaluation Committee: | Kim Guldstrand Larsen, University of Aalborg, Denmark Rüdiger Valk, University of Hamburg, Germany Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | The Symmetry Method for Coloured Petri Nets | ||
| Name: | Anders Møller | Graduated: | 2002-09-30 |
| Supervisor: | Michael I. Schwartzbach | ||
| Evaluation Committee: | Laurie Hendren, McGill University, Canada Fritz Henglein, IT University of Copenhagen, Denmark Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Program Verification with Monadic Second-Order Logic & Languages for Web Service Development | ||
| Name: | Rasmus Pagh | Graduated: | 2002-10-11 |
| Supervisor: | Peter Bro Miltersen | ||
| Evaluation Committee: | Martin Dietzfelbinger, Technical University of Ilmenau, Germany Arne Andersson, Uppsala University, Sweden Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Hashing, Randomness and Dictionaries | ||
| Name: | Michael Thomsen | Graduated: | 2002-10-29 |
| Supervisor: | Ole Lehrmann Madsen | ||
| Evaluation Committee: | Görel Hedin, Lund Institute of Technology, Sweden Alan Borning, University of Washington, USA Ole Caprani, University of Aarhus, Denmark |
||
| Title: | Malleable Software Development - Supporting Collaboration and Iteration in Object-Oriented Software Development | ||
| Name: | Claus Brabrand | Graduated: | 2003-01-24 |
| Supervisor: | Michael I. Schwartzbach | ||
| Evaluation Committee: | Henrik Reif Andersen, The IT University of Copenhagen, Denmark Peter Thiemann, University of Freiburg, Germany Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Domain Specific Languages for Interactive Web Services | ||
| Name: | Marianne Graves Petersen | Graduated: | 2003-01-29 |
| Supervisor: | Susanne Bødker | ||
| Evaluation Committee: | Yngve Sundblad, Royal institute of Technology, Sweden Peter Carstensen, IT University of Copenhagen, Denmark Ole Lehrmann Madsen |
||
| Title: | Designing for Learning in Use of Everyday Artefacts | ||
| Name: | Frank D. Valencia Posso | Graduated: | 2003-02-05 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Ugo Montanari, University of Pisa, Italy Luca Aceto, Reykjavik University, Iceland Ivan Bjerre Damgård, University of Aarhus, Denmark |
||
| Title: | Temporal Concurrent Constraint Programming | ||
| Name: | Christian Heide Damm | Graduated: | 2003-03-19 |
| Supervisor: | Ole Lehrmann Madsen | ||
| Evaluation Committee: | Michel Beaudouin-Lafon, Universite de Paris-Sud, France Eric Jul, University of Copenhagen, Denmark Ole Caprani, University of Aarhus, Denmark |
||
| Title: | Collaborative Software Development - Design and Implementation of Tools for Object-Oriented Modelling | ||
| Name: | Jiri Srba | Graduated: | 2003-04-14 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Colin Sterlin, University of Edinburgh, United Kingdom Petr Jancar, Technical University of Ostrava, Czech Republic Ivan Bjerre Damgård, University of Aarhus, Denmark |
||
| Title: | Decidability and Complexity Issues for Infinite-State Processes | ||
| Name: | Thomas Mailund | Graduated: | 2003-04-28 |
| Supervisor: | Søren Christensen | ||
| Evaluation Committee: | Kim Guldstrand Larsen, University of Aalborg, Denmark Karsten Schmidt, Humboldt-Universitaet zu Berlin, Germany Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Sweeping the State Space - A Sweep-Line State Space Exploration Method | ||
| Name: | Federico Grazzolara | Graduated: | 2003-05-15 |
| Supervisor: | Glynn Winskel | ||
| Evaluation Committee: | Joshua Guttman, MITRE Corporation, USA Hans Hüttel, University of Aalborg, Denmark Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Language, Semantics, and Methods for Security Protocols | ||
| Name: | Giuseppe Milicia | Graduated: | 2003-06-16 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Michele Bugliese, Universitá Cà Foscari de Venezia, Italy Jens Christian Godskesen, IT University of Copenhagen, Denmark Ivan Bjerre Damgård, University of Aarhus, Denmark |
||
| Title: | Applying Formal Methods to Programming Language Design and Implementation | ||
| Name: | Rasmus Kjær Ursem | Graduated: | 2003-06-20 |
| Supervisor: | Thiemo Krink | ||
| Evaluation Committee: | Gusz Eiben, Vrije University Amsterdam, The Netherlands David Corne, University of Reading, UK Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Models for Evolutionary Algorithms and Their Applications in System Identification and Control Optimization | ||
| Name: | Mario Josè Càccamo | Graduated: | 2003-06-23 |
| Supervisor: | Glynn Winskel | ||
| Evaluation Committee: | Lars Birkedal, IT University of Copenhagen, Denmark Edmund Robinson, Queen Mary and Westfield College, UK Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | A Formal Calculus for Categories | ||
| Name: | Jesper Buus Nielsen | Graduated: | 2003-08-07 |
| Supervisor: | Ivan Bjerre Damgård | ||
| Evaluation Committee: | Ran Canetti, IBM - T.J. Watson Research Center, USA Rafail Ostrovsky, Telcordia Technologies Inc., USA Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | On Protocol Security in the Cryptographic Model | ||
| Name: | Mads Johan Jurik | Graduated: | 2003-08-07 |
| Supervisor: | Ivan Bjerre Damgård | ||
| Evaluation Committee: | Berry Schoenmakers, Technical University Eindhoven, The Netherlands Jan Camenisch, IBM Zurich Research Laboratory, Switzerland Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Extensions to the Paillier Cryptosystem with Applications to Cryptological Protocols | ||
| Name: | Serge Fehr | Graduated: | 2003-08-08 |
| Supervisor: | Ivan Bjerre Damgård | ||
| Evaluation Committee: | Donald Beaver, Seagate Research, USA Yuval Ishai, Technion, Israel Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Secure Multi-Player Protocols: Fundamentals, Generality, and Efficiency | ||
| Name: | Maciej Koprowski | Graduated: | 2003-08-08 |
| Supervisor: | Ivan Bjerre Damgård | ||
| Evaluation Committee: | Matt Franklin, UC Davis, USA Moti Yung, Columbia University USA Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Cryptographic Protocols Based on Root Extracting | ||
| Name: | Paulo Borges Oliva | Graduated: | 2003-09-26 |
| Supervisor: | Ulrich Kohlenbach | ||
| Evaluation Committee: | Dag Normann, University of Oslo, Norway Thierry Coquand, Chalmers University of Technology, Sweden Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Proof Mining in Subsystems of Analysis | ||
| Name: | Mikkel Nygaard | Graduated: | 2003-11-21 |
| Supervisor: | Glynn Winskell | ||
| Evaluation Committee: | Pierre-Louis Curien, Universite Denis Diderot, France Guy McCusker, University of Sussex, UK Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Domain Theory for Concurrency | ||
| Name: | Daniele Varacca | Graduated: | 2003-11-24 |
| Supervisor: | Glynn Winskell | ||
| Evaluation Committee: | Vincent Danos, Universite Denis Diderot, France Michael W. Mislove, Tulane University, USA Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Probability, Nondeterminism and Concurrence: Two Denotational Models for Probabilistic Computation | ||
| Name: | Bartosz Klin | Graduated: | 2004-05-28 |
| Supervisor: | Peter Mosses | ||
| Evaluation Committee: | Jan Rutten, Centre for Mathematics and Computer Science, CWI, The Netherlands Marcelo Fiore, Computer Laboratory, Cambridge University, UK Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics | ||
| Name: | Rene Thomsen | Graduated: | 2004-05-31 |
| Supervisor: | Thiemo Krink | ||
| Evaluation Committee: | David Corne, University of Exeter, UK Gusz Eiben, Vrije Universiteit Amsterdam, The Netherlands Ole Caprani, University of Aarhus, Denmark |
||
| Title: | Evolutionary Algorithms and their Application in Bioinformatics | ||
| Name: | Bjarke Skjernaa | Graduated: | 2004-11-26 |
| Supervisor: | Peter Bro Miltersen | ||
| Evaluation Committee: | Fedor Fomin, University of Bergen, Norway Thore Husfeldt, Lund University, Sweden Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Exact Algorithms for Variants of Satisfiability and Colouring Problems | ||
| Name: | Jesper Makholm Byskov | Graduated: | 2004-11-11 |
| Supervisor: | Peter Bro Miltersen | ||
| Evaluation Committee: | Edward Hirsch, Steklov Institute of Mathematics at St. Petersburg, Russia Gerhard Woeginger, Eindhoven University of Technology, The Netherlands Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Exact Algorithms for Graph Colouring and Exact Satisfiability | ||
| Name: | Pawel Sobocinski | Graduated: | 2004-12-03 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Lars Birkedal, IT University of Copenhagen, Denmark Ugo Montanari, University of Pisa, Italy Ivan Damgaard, University of Aarhus, Denmark |
||
| Title: | Deriving process congruences from reaction rules | ||
| Name: | Alex Rune Berg | Graduated: | 2004-07-07 |
| Supervisor: | Erik Meineche Schmidt | ||
| Evaluation Committee: | Hal Gabow, University of Colorado, USA Lars Døvling Andersen, Aalborg University, Denmark Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Rigidity of frameworks and connectivity of graphs | ||
| Name: | Jannie Friis Kristensen | Graduated: | 2004-10-08 |
| Supervisor: | Kaj Grønbæk | ||
| Evaluation Committee: | Lone Malmborg, Malmö University, Sweden Peter Carstensen, IT University of Copenhagen, Denmark Ole Lehrmann Madsen, University of Aarhus, Denmark |
||
| Title: | Interaction through Negotiation - Interaction design in a pervasive computing perspective | ||
| Name: | Jens Groth | Graduated: | 2004-10-15 |
| Supervisor: | Ivan Damgård | ||
| Evaluation Committee: | Ronald Cramer, CWI, Amsterdam, The Netherlands Christian Cachin, IBM Research Zürich, Switzerland Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Honest Verifier Zero-knowledge Arguments applied | ||
| Name: | Esben Skovenborg | Graduated: | 2005-02-10 |
| Supervisor: | Ole Caprani | ||
| Evaluation Committee: | Dr. Jürgen Herre, Fraunhofer ISS, Audio & Multimedia, Germany Senior Technology Specialist Søren Bech, Bang & Olufsen, Denmark Professor Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Perceptual Features of Music and Speech - Measured by Listening Experiments, and Computer Modelled from Signal Analysis | ||
| Name: | Kirill Morozov | Graduated: | 2005-03-11 |
| Supervisor: | Ivan Damgård | ||
| Evaluation Committee: | Andreas Winter, University of Bristol, UK Joe Kilian, NEC Laboratories America, USA Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | On Cryptographic Primitives Based on Noisy Channels | ||
| Name: | Jørgen Iversen | Graduated: | 2005-05-12 |
| Supervisor: | Mogens Nielsen / Peter Mosses | ||
| Evaluation Committee: | Neil Jones, DIKU, Denmark Paul Klint, CWI, The Netherlands Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Formalisms and tools supporting Constructive Action Semantics | ||
| Name: | Ole Sejer Iversen | Graduated: | 2006-02-20 |
| Supervisor: | Susanne Bødker | ||
| Evaluation Committee: | Yngve Sundblad, Royal Institue of Technology in Stockholm, Sweden Finn Kensing, IT-University of Copenhagen, Denmark Ole Caprani, University of Aarhus, Denmark |
||
| Title: | Participatory Design Beyond Work Practices - Designing with Children | ||
| Name: | Bolette Ammitzbøll Madsen | Graduated: | 2005-09-09 |
| Supervisor: | Peter Bro Miltersen | ||
| Evaluation Committee: | Thore Husfeldt, Lund's University, Sweden Gerhard Woeginger, Eindhoven University of Technology, The Netherlands Mogens Nielsen, University of Aarhus |
||
| Title: | Exact Algorithms and Exact Satisfiability | ||
| Name: | Jesus Fernando Almansa Guerra | Graduated: | 2005-09-12 |
| Supervisor: | Ivan Damgård | ||
| Evaluation Committee: | Stefan Dziembowski, Institute of Informatics, Poland Ran Canetti, IBM T.J. Watson Research Center, USA Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | A Study for Cryptologic Protocols | ||
| Name: | Saurabh Agarwal | Graduated: | 2005-10-28 |
| Supervisor: | Gudmund Frandsen | ||
| Evaluation Committee: | Eric Bach, University of Wisconsin, USA Ronald Cramer, CWI, The Netherlands Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | GCD Algorithms for Quadratic Number Rings | ||
| Name: | Marco Carbone | Graduated: | 2005-06-30 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Ilaria Castellani, INRIA, France Thomas Hildebrandt, ITU, Denmark Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Trust and Mobility | ||
| Name: | Dariusz Biernacki | Graduated: | 2005-12-15 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | Neil Jones, University of Copenhagen, Denmark Yukiyoshi Kameyama, University of Tsukuba, Japan Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | The Theory and Practice of Programming Languages with Delimited Continuations | ||
| Name: | Kasper Dupont | Graduated: | 2005-12-12 |
| Supervisor: | Ivan Damgård | ||
| Evaluation Committee: | Jan Camenisch, IBM Zürich Research Laboratory, Switzerland Serge Fehr, CWI, The Netherlands Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Disk Encryption, Group Identification, Byzantine Agreement, and Threshold RSA | ||
| Name: | Henning Korsholm Rohde | Graduated: | 2005-12-19 |
| Supervisor: | Olivier Danvy and Andrzej Filinski | ||
| Evaluation Committee: | Yoshihiko Futamura, Futamura Institute Inc, USA Peter Sestoft, The Royal Veterinary and Agricultural University, Denmark Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Formal Aspects of Partial Evaluation | ||
| Name: | Thomas Brochmann Pedersen | Graduated: | 2006-01-23 |
| Supervisor: | Louis Salvail | ||
| Evaluation Committee: | Harry Buhrman, CWI, The Netherlands Claude Crépeau, McGill University, Canada Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Quantum Encryption Minimising Key Leakage unider Known Plaintext Attacks | ||
| Name: | Malgorzata Biernacka | Graduated: | 2006-01-27 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | Peter Sestoft, The Royal Veterinary and Agricultural University, Denmark Pierre-Louis Curien, Université Paris 7, France Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | A Derivational Approach to the Operational Semantics of Functional Languages | ||
| Name: | Mads Sig Ager | Graduated: | 2006-01-30 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | Neil Jones, University of Copenhagen, Denmark Olin Shivers, Georgia Institute of Technology, USA Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Partial Evaluation of String Matchers & Constructions of Abstract Machines | ||
| Name: | Philipp Gerhardy | Graduated: | 2006-05-29 |
| Supervisor: | Ulrich Kohlenbach | ||
| Evaluation Committee: | Thierry Coquand, Chalmers University of Technology, Sweden Fernando Ferreira, University of Lisbon, Portugal Ole Lehrmann Madsen, University of Aarhus, Denmark |
||
| Title: | Applications of Proof Interpretations | ||
| Name: | Jonas Martin Thomsen | Graduated: | 2006-06-08 |
| Supervisor: | Søren Christensen | ||
| Evaluation Committee: | Boris Magnusson, Lund University, Sweden Henrik Schiøler Aalborg University, Denmark Ole Lehrmann Madsen, University of Aarhus, Denmark |
||
| Title: | Home Appliance Integration by Pervasive Computing | ||
| Name: | Christian Kirkegaard | Graduated: | 2006-10-04 |
| Supervisor: | Michael Schwartzbach | ||
| Evaluation Committee: | Erik Meijer, Microsoft, USA Bent Thomsen, Aalborg University, Denmark Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Programming with XML | ||
| Name: | Simon Bo Larsen | Graduated: | 2006-10-12 |
| Supervisor: | Ole Lehrmann Madsen | ||
| Evaluation Committee: | Jørgen P. Bansler, Technical University of Denmark Stig Kjær Andersen, Aalborg University, Denmark Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Pervasive Home Care - Technological support for treatment of diabetic foot ulcers at home | ||
| Name: | Aske Simon Christensen | Graduated: | 2006-05-04 |
| Supervisor: | Michael Schwartzbach | ||
| Evaluation Committee: | John Gallagher, Roskilde University, Denmark Peter Thiemann, University of Freiburg, Germany Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Something to do with Java | ||
| Name: | Branimir Zdravkov Lambov | Graduated: | 2006-03-31 |
| Supervisor: | Ulrich Kohlenbach | ||
| Evaluation Committee: | Martin Escardo, University of Birmingham, UK Peter Hertling, University Bunderwehr Muenchen, Germany Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Topics in the Theory and Practice of Computable Analysis | ||
| Name: | Jakob Svaneborg Vesterstrøm | Graduated: | 2006-03-31 |
| Supervisor: | Christian Storm Nørgaard Pedersen | ||
| Evaluation Committee: | Richard Goldstein, The National Institute for Medical Research, UK Jotun Hein, Oxford University, UK Ole Caprani, University of Aarhus, Denmark |
||
| Title: | Heurestic Algorithms in Bioinformatics | ||
| Name: | Jesper Mosegaard | Graduated: | 2006-11-03 |
| Supervisor: | Peter Møller-Nielsen | ||
| Evaluation Committee: | Mark Harris, NVIDIA Ltd., UK Peter Johansen, University of Copenhagen, Denmark Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Cardiac Surgery Simulation | ||
| Name: | Kristoffer Arnsfelt Hansen | Graduated: | 2006-11-13 |
| Supervisor: | Peter Bro Miltersen | ||
| Evaluation Committee: | Eric Allender, Rutgers, USA Harry Buhrman, CWI, The Netherlands Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Constant Width and Constant Depth Computation | ||
| Name: | Karl Kristian Krukow | Graduated: | 2006-11-17 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Marta Kwiatkowska, University of Birmingham, UK Fabio Martinelli, National Research Council, Italy Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Towards a Theory of Trust for the Global Ubiquitous Computer | ||
| Name: | Frank Allan Hansen | Graduated: | 2006-12-04 |
| Supervisor: | Kaj Grønbæk | ||
| Evaluation Committee: | Leslie Carr, University of Southampton, UK Uffe Kock Wiil, University of Southern Denmark Susanne Bødker, University of Aarhus, Denmark |
||
| Title: | Context-aware Mobile Hypermedia: Concepts, Framework, and Applications | ||
| Name: | Michael Bang Nielsen | Graduated: | 2006-12-05 |
| Supervisor: | Kaj Grønbæk | ||
| Evaluation Committee: | Ross Whitaker, University of Utah, USA Niels Jørgen Christensen, Technical University of Denmark Susanne Bødker, University of Aarhus, Denmark |
||
| Title: | Efficient and High Resolution Level Set Simulations - Data Structures, Algorithms and Applications | ||
| Name: | Mads Ingstrup | Graduated: | 2006-12-15 |
| Supervisor: | Morten Kyng | ||
| Evaluation Committee: | Görel Hedin, Lund Institue of Technology, Sweden Birger Møller-Pedersen, University of Olso, Norway Ole Lehrmann Madsen, University of Aarhus, Denmark |
||
| Title: | Towards Distributed Declarative Architectural Reflection | ||
| Name: | Thomas Riisgaard Hansen | Graduated: | 2006-12-18 |
| Supervisor: | Jakob Bardram | ||
| Evaluation Committee: | Wendy Mackay, INRIA, France Lars Erik Holmquist, Victoria Institute, Sweden Susanne Bødker, University of Aarhus, Denmark |
||
| Title: | Pervasive Interaction - Designing interactive pervasive systems for complex work environments | ||
| Name: | Jooyong Lee | Graduated: | 2007-02-26 |
| Supervisor: | Mogens Nielsen and Olivier Danvy | ||
| Evaluation Committee: | Dave Schmidt, Kansas State University, USA Kim Guldstrand Larsen, Aalborg University, Denmark Susanne Bødker, University of Aarhus, Denmark |
||
| Title: | Program Validation by Symbolic and Reverse Execution | ||
| Name: | Christian Schaffner | Graduated: | 2007-04-27 |
| Supervisor: | Louis Salvail | ||
| Evaluation Committee: | Andreas Winter, University of Bristol, UK Stefan Wolf, ETH, Switzerland Susanne Bødker, University of Aarhus, Denmark |
||
| Title: | Cryptography in the Bounded-Quantum-Storage Model | ||
| Name: | Michael Edelgaard Caspersen | Graduated: | 2007-05-31 |
| Supervisor: | Ole Lehrmann Madsen | ||
| Evaluation Committee: | Owen Astrachan, Duke University, USA Mark Guzdial, Georgia Institute of Technology, USA Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Educating Novices in the Skills of Programming | ||
| Name: | Kevin Scott Millikin | Graduated: | 2007-05-01 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | Peter Thiemann, Universität Freiburg, Germany Julia Lawall, University of Copenhagen, Denmark Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | A Structured Approach to the Transformation, Nomalization and Execution of Computer Programs | ||
| Name: | Anders Torp Brodersen | Graduated: | 2007-06-27 |
| Supervisor: | Kaj Grønbæk | ||
| Evaluation Committee: | David Breen, Drexel University, USA Niels Jørgen Christensen, Technical University of Denmark Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Flexible Methods for Geometric Texturing - From Terrain Visualization to Geometric Texture Mapping | ||
| Name: | Tomas Toft | Graduated: | 2007-07-06 |
| Supervisor: | Ivan Damgård | ||
| Evaluation Committee: | Ronald Cramer, CWI, The Netherlands Yuval Ishai, Technion, Israel Mogens Nielsen, University of Aarhus, Denmark |
||
| Title: | Primitives and Applications for Multi-party Computation | ||
| Name: | Jan Midtgaard | Graduated: | 2007-06-20 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | John Gallagher, Roskilde University, Denmark Charles Consel, ENSEIRB, France Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Transformation, Analysis, and Interpretation of Higher-Order Procedural Programs | ||
| Name: | Gabriel Moruz | Graduated: | 2007-09-07 |
| Supervisor: | Gerth Stølting Brodal | ||
| Evaluation Committee: | Giuseppe Italiano, Università de Roma, Italy Ulrich Meyer, Johann Wolfgang Goethe-Universität, Germany Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Hardware-Aware Algorithms and Data Structures | ||
| Name: | Kristian Støvring | Graduated: | 2007-10-24 |
| Supervisor: | Olivier Danvy | ||
| Evaluation Committee: | Pierre-Louis Curien, Université Paris Diderot, France Peter Dybjer, Chalmers University of Technology, Sweden Olivier Danvy, University of Aarhus, Denmark |
||
| Title: | On Reasoning Equationally: Lambda Calculi and Programs with Computational Effects | ||
| Name: | Johan Peter Nilsson | Graduated: | 2007-10-15 |
| Supervisor: | Gerth Stølting Brodal | ||
| Evaluation Committee: | Tibor Jordan, Eötvös Loránd University, Hungary Lars Døvling Andersen, University of Aalborg, Denmark Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Combinatorial algorithms for partially ordered sets | ||
| Name: | Michael Westergaard | Graduated: | 2007-10-23 |
| Supervisor: | Kurt Jensen | ||
| Evaluation Committee: | Ekkart Kindler, Technical University of Denmark Karsten Wolf, University of Rostock, Germany Anders Møller, University of Aarhus, Denmark |
||
| Title: | Looking Good, Behaving Well - Behavioural Verification and Visualisation of Formal Models of Concurrent Systems | ||
| Name: | Kari Rye Schougaard | Graduated: | 2007-12-12 |
| Supervisor: | Ole Lehrmann Madsen | ||
| Evaluation Committee: | Professor Birger Møller-Petersen, University of Oslo, Norway Professor Eric Jul, University of Copenhagen, Denmark Lektor Lars Michael Kristensen, University of Aarhus, Denmark |
||
| Title: | Programming with Location from Conceptualization to Language Design | ||
| Name: | Bent Otto Guldbjerg Christensen | Graduated: | 2008-03-11 |
| Supervisor: | Kaj Georg Grønbæk | ||
| Evaluation Committee: | Professor David C De Roure, University of Southhampton, UK Professor Uffe Kock Wiil, SDU, Denmark Lektor Lars Michael Kristensen, University of Aarhus, Denmark |
||
| Title: | Mobile P2P in Ad Hoc Networks: Framework and Applications | ||
| Name: | Martin Brynskov | Graduated: | 2008-03-31 |
| Supervisor: | Kaj Georg Grønbæk | ||
| Evaluation Committee: | Associate Professor Yasmin Kafai, UCLA, USA Lektor Lone Malmborg, ITU, Denmark Professor Susanne Bødker, University of Aarhus, Denmark |
||
| Title: | Tools for Social Construction: A Framework for Pervasive Media for Children | ||
| Name: | Troels Bjerre Sørensen | Graduated: | 2008-03-10 |
| Supervisor: | Peter Bro Miltersen | ||
| Evaluation Committee: | Professor Bernhard von Stengel, London School of Economics, UK Assistant Professor Vincent Conitzer, Duke University, USA Professor Ivan Damgård, University of Aarhus, Denmark |
||
| Title: | Computing Equilibria of Two Player Games | ||
| Name: | Michael Østergaard Pedersen | Graduated: | 2008-05-30 |
| Supervisor: | Ivan Damgård | ||
| Evaluation Committee: | Assistant Professor Anna Lysyanskaya, Brown University, USA Associate Professor Serge Fehr, CWI, Holland Lektor Anders Møller, Datalogisk Institut, AU (formand) |
||
| Title: | Authentication and Privacy with Application to Pervasive Computing | ||
| Name: | Mikkel Baun Kjærgaard | Graduated: | 2008-09-08 |
| Supervisor: | Klaus Marius Hansen | ||
| Evaluation Committee: | Professor Bernt Schiele, TU Darmstadt, Tyskland Associate Professor Henrik Schiøler, Aalborg University, Danmark Professor Susanne Bødker, Datalogisk Institut, AU (formand) |
||
| Title: | Indoor Positioning with Radio Location Fingerprinting | ||
| Name: | Jeppe Rørbæk Brøndsted | Graduated: | 2008-09-12 |
| Supervisor: | Klaus Marius Hansen | ||
| Evaluation Committee: | Professor Boris Magnusson, Lund Institute of Technology, Sverige Associate Professor Ulrik Pagh Schultz, DSDU, Danmark Professor Ole Lehrmann Madsen, Datalogisk Institut, AU |
||
| Title: | Vehicle to Vehicle Services. Service oriented architecture for pervasive computing systems with emphasis on vehicle to vehicle applications | ||
| Name: | Kristian Bisgaard Lassen | Graduated: | 2008-10-21 |
| Supervisor: | Søren Christensen | ||
| Evaluation Committee: | Professor Marlon Dumas, University of Tartu, Estonia Lektor Thomas T. Hildebrandt, ITU, Danmark Lektor Anders Møller, Datalogisk Institut, AU |
||
| Title: | Using Formal Behavioral Models in Software Development: From Real-World Problems to Software Systems | ||
| Name: | Søren Besenbacher | Graduated: | 2008-10-31 |
| Supervisor: | Christian Nørgaard Storm Pedersen | ||
| Evaluation Committee: | Professor Jotun Hein, Oxford University , UK. Professor David Balding, Imperial College, UK Lektor Anders Møller, Datalogisk Institut, AU |
||
| Title: | Challenges in whole-genome association mapping | ||
| Name: | Doina Bucur | Graduated: | 2008-11-21 |
| Supervisor: | Mogens Nielsen | ||
| Evaluation Committee: | Professor Vladimiro Sassone, University of Southampton, UK Lektor Arne Skou, Aalborg Universitet, Damnark Lektor Anders Møller, Datalogisk Institut, AU |
||
| Title: | On Context awareness in Ubiquitous Computing | ||
| Name: | Rune Ivan Thorbek | Graduated: | 2009-09-15 |
| Supervisor: | Ivan Bjerre Damgård | ||
| Evaluation Committee: | Torben Pedersen, Cryptomatic, DK Associate Professor Kristian Gjøsteen, NTNU, N Associate Professor Anders Møller, AU |
||
| Title: | Linear Integer Secret Sharing | ||
| Name: | Simon Tjell | Graduated: | 2009-04-28 |
| Supervisor: | Søren Christensen | ||
| Evaluation Committee: | Research Professor Anders P. Ravn, AAU, DK Research Fellow Jozef Hooman, TU Eindhoven, NL Lektor Anders Møller, Datalogisk Institut, AU |
||
| Title: | Formal Requirements Modeling | ||
| Name: | Miroslava Sotáková | Graduated: | 2009-03-20 |
| Supervisor: | Louis Salvail | ||
| Evaluation Committee: | Professor Alain Tapp, DIRO, Canada Professor Stefan Wolf, Institute of Theoretical Computer Science, Schwitzerland Lektor Anders Møller, Datalogisk Institut , AU |
||
| Title: | On the Power of Two-Party Quantum Cryptography | ||
| Name: | Martin Mogensen | Graduated: | 2009-04-15 |
| Supervisor: | Jakob Bardram | ||
| Evaluation Committee: | Associate Professor W. Keith Edwards, GVU Center Georgia Tech, USA Professor Eric Jul, Københavs Universitet, DK. Professor Susanne Bødker, Datalogisk Institut, AU |
||
| Title: | Infrastructure Support for Collaborative Pervasive Computing Systems | ||
| Name: | Janus Dam Nielsen | Graduated: | 2009-05-28 |
| Supervisor: | Michael I. Schwartzbach | ||
| Evaluation Committee: | Professor Dr. Peter Thiemann, Universität Freiburg, Germany Lektor Bent Thomsen, AAU, DK Lektor Anders Møller, Datalogisk Institut, AU |
||
| Title: | Languages for Secure Multiparty Computation and Towards Strongly Typed Macroes | ||
| Name: | Jonathan Bunde-Pedersen | Graduated: | 2009-04-16 |
| Supervisor: | Jakob Bardram | ||
| Evaluation Committee: | Associate Professor W. Keith Edwards, GVU Center Georgia Tech, USA. Associate Professor Dag Svanæs, Norwegian University of Science and Technology, NO Professor Susanne Bødker, Datalogisk Institut, AU |
||
| Title: | Distributed Interaction for Activity-Based Computing | ||
| Name: | Karsten Østergaard Noe | Graduated: | 2009-10-01 |
| Supervisor: | Ole Østerby, Thomas Sangild, Cai Grau og Kari Tanderup | ||
| Evaluation Committee: | Dr. Markus Alber, University Tübingen, DE Professor Jens Clausen, DTU, DK Associate Professor Anders Møller, AU |
||
| Title: | Deformable Image Registration for Use in Radiotherapy, Using GPU Acceleration | ||
| Name: | Clemens Nylandsted Klokmose | Graduated: | 2009-10-22 |
| Supervisor: | Susanne Bødker | ||
| Evaluation Committee: | Professor Dag Svanæs, NTNU, N Professor Kristina Höök, Stockholm University, SE Associate Professor Anders Møller, AU |
||
| Title: | On Human-Computer Interaction in Complex Artefact Ecologies | ||
| Name: | Klas Olof Daniel Andersson | Graduated: | 2009-10-31 |
| Supervisor: | Peter Bro Miltersen | ||
| Evaluation Committee: | Professor Uri Zwick, Tel Aviv University, IL Reader Kousha Etessami, University of Edinburgh, UK Professor Ivan Damgård, AU |
||
| Title: | Perfect-Information Games with Cycles | ||
| Name: | Martin Olsen | Graduated: | 2009-11-09 |
| Supervisor: | Gerth Stølting Brodal | ||
| Evaluation Committee: | Professor Christos Zaroliagis, Patras University, GR Professor Jeanette Janssen, Dalhousie University, CA Professor Lars Arge, AU |
||
| Title: | Link Building | ||
| Name: | Kristian Ellebæk Kjær | Graduated: | 2009-12-17 |
| Supervisor: | Klaus Marius Hansen | ||
| Evaluation Committee: | Associate Professor Bent Thomsen, AAU, DK Professor Boris Magnusson, Lund University, SE Associate Professor Anders Møller, AU, |
||
| Title: | Participatory Middleware Design | ||