See a list of all research staff at DIKU including PhD students,
The PhD Programme
A PhD programme is a 3 year research programme carried out in close cooperation with researchers. The programme consists of an independent research project, participation in course work, educational activities and/or other forms of dissemination, periodic stays with another research institution or scientific environment - preferably abroad - as well as the preparation of a dissertation.
As a PhD student at Computer Science you will be associated with one of our research sections.
By acquiring a PhD you are qualified to work as a researcher, teaching at a university, and to work with research and development in industry.
Former PhD Students & Theses
Name | Supervisor(s) | Project title | Defence |
Yijie Zhang |
Principal Supervisor Christian Igel |
On Cold Posteriors of Probabilistic Neural Networks: Understanding the Cold Posterior Effect and A New Way to Learn Cold Posteriors with Tight Generalization Guarantees | 3 December 2024 |
Nora Jarrett Forbes |
Principal Supervisor Sune Darkner |
Cardiac Dose Trends & Toxicity in Radiotherapy: Evaluating Registry, Dosimetry, and Imaging Data with AI and Statistical Methods | 28 November 2024 |
Ruixiang Cui |
Principal Supervisor Anders Østerskov Søgaard |
Evaluating Language Models: From Multilingual Compositional Semantic Parsing to Human-level Complex Reasoning | 30 October 2024 |
Henrik Bjørn Axelsen |
Principal Supervisor Omry Ross |
DAOs and Blockchain for Regulated Finance - Transformative decentralization | 28 October 2024 |
Robin Bruneau |
Principal Supervisors: François Lauze & Jean-Denis Durou |
3D Reconstruction with Refraction | 16 October 2024 |
Sonja Rattay |
Principal Supervisor Irina Shklovski |
"You are doing it wrong" - The Trouble with Ethics in Practice for Designing AI | 9 October 2024 |
Jakub Tětek |
Principal Supervisor Mikkel Thorup |
Randomized Algorithms for Large Datasets - Graphs, Streams, and Sums: The Sublinear Trilogy | 7 October 2024 |
Martin Maunsback |
Principal Supervisor Kasper Anders Søren Hornbæk |
Reinventing the Haptics Lost in Mid-Air Interactions | 3 October 2024 |
Mirabelle Jones |
Principal Supervisor Jakob Grue Simonsen |
The Data is of Us But Not Us: Exploring Relations to Responsive AI Systems Through Speculative Participatory Research | 23 September 2024 |
Roberta Hunt |
Principal Supervisor Kim Steenstrup Pedersen |
Deep Learning Derived Traits for Phylogenetic Inference | 13 September 2024 |
Tor-Salve Dalsgaard |
Principal supervisor Kasper Hornbæk |
How Haptic Experiences Are Made | 21 August 2024 |
Simone Borg Bruun |
Principal Supervisor Christina Amalia Lioma, DIKU |
Learning Recommendations from Sparse and Heterogeneous Data
|
28 June 2024 |
Peidi Xu |
Principal Supervisor Sune Darkner, DIKU |
Virtual Kidney - Full-scale reconstruction and simulation of the renal nephron-vascular network |
25 June 2024 |
Zhan Su |
Principal Supervisor Jakob Grue Simonsen |
Information Propagation in Modular Language Modeling and Web Tracking |
20 June 2024 |
Vlad Paul Cosma |
Principal Supervisor Professor Thomas Troels Hildebrandt |
Declarative process models as explainable and verifiable Artificial Intelligence |
13 June 2024 |
Anna Katrine van Zee |
Principal Supervisor Anders Østerskov Søgaard |
NLP Across Social Groups | 4 June 2024 |
Lei Li |
Principal Supervisor Christian Igel
|
Contributions to deep learning for computer vision applied to environmental remote sensing and human face and pose analysis | 2 May 2024 |
Valeria Borsotti |
Professor Pernille Bjørn, DIKU |
Making Trouble: Reconfiguring Equity & Accessibility in Computer Science | 12 April 2024 |
Hubert Dariusz Zając |
Principal Supervisor: Tariq Osman Andersen |
It takes a village to raise clinical AI. Towards clinical usefulness of AI in healthcare | 12 April 2024 |
Lorenzo Beretta |
Principal Supervisor: Mikkel Thorup |
Sublinear Algorithms, Online Packing, Hashing and Clustering | 5 April 2024 |
Trine Rask Nielsen |
Principal supervisor: Co-supervisors: |
4 March 2024 | |
Thomas van Gemert |
Principal Supervisor: Joanna Bergström |
Whole-body Movement in Virtual Reality: Creating Better Experiences through Walking and Maneuvering |
27 February 2024 |
Paul Schreiner |
Principal Supervisor: Kenny Erleben Co-Supervisor: Matias Søndergaard |
8 February 2024 | |
Jon Eklöf |
Principal Supervisor: Thomas Wim Hamelryck |
AI Transformation in the Manufacturing Industry |
26 January 2024 |
Karolina Stańczak |
Principal supervisor: Isabelle Augenstein Co-supervisor: Ryan Cotterell, ETH Zurich |
24 January, 2024 | |
Andreea-Anamaria Muresan |
Principal Supervisor: Kasper Hornbæk |
Building Blocks of Future Interfaces Concept-Driven Interaction Design in Virtual Reality | 15 January 2024 |
Name | Supervisor(s) | Project title | Defence |
Mikkel Kragh Mathiesen |
Principal Supervisor Friedrich Henglein Co-Supervisor Robin Kaarsgaard |
The Programming of Algebra |
8 December 2023 |
Saeed Masoudian |
Prof. Yevgeny Seldin(Principal Supervisor) |
Best-of-Both-Worlds Learning in Bandits with Delayed Feedback | 23 November 2023 |
Concetto Emanuele Bugliarello |
Principal Supervisor Desmond Elliot |
|
20 November 2023 |
Carl Victor von Wachter |
Principal Supervisor Omri Ross |
28 September 2023 | |
Jakob Bæk Tejs Houen |
Principal Supervisor Mikkel Thorup
|
22 September 2023 | |
Abraham George Smith |
Principal Supervisor: Jens Petersen |
28 August 2023 | |
Mathias Perslev |
Principal Supervisor: Christian Igel |
21 August 2023 | |
Nils Rethmeier |
Principal Supervisor: Isabelle Augenstein |
7 August 2023 | |
Rasmus Kær Jørgensen |
Principal Supervisor Christian Igel |
23 June 2023 | |
Marloes Elisabeth Arts |
Principal Supervisor Wouter Krogh Boomsma |
14 June 2023 | |
Yi-Shan Wu |
Principal Supervisor Yevgeny Seldin |
1 June 2023 | |
Asbjørn William Ammitzbøll Flügge |
Principal Supervisor Naja Holten Møller Co-Supervisors: Thomas Hildebrandt and Henrik Palmer Olsen |
23 May 2023 | |
Philip Munksgaard |
Principal Supervisor Cosmin Oancea
|
17 May 2023 | |
Per Steffen Czolbe |
Principal Supervisor Christian Igel Former Principal Supervisor Aasa Feragen Co-supervisor Oswin Krause |
26 April 2023 | |
Ola Rønning |
Principal Supervisor Thomas Wim Hamelryck Co-supervisor Christopher Ley |
17 April 2023 | |
Andreas David Lauritzen |
Principal Supervisor Martin Lillholm
|
14 April 2023 | |
Dustin Brandon Wright | Isabelle Augenstein | 9 March 2023 | |
Yuhu Liang |
Anders Krogh |
1 February 2023 | |
Chloé Alice Florence Rouyer | Yevgeny Seldin | 26 January 2023 | |
Christian Thygesen | Thomas Wim Hamelryck | 4 January 2023 |
Name | Supervisor(s) | Project title | Defence |
Torkan Gholamalizadeh | Kenny Erleben |
|
24 November 2022 |
Pepa Kostadinova Atanasova | Isabelle Augenstein | 8 November 2022 | |
Heather Christine Lent | Anders Østerskov Søgaard | 24 October 2022 | |
Viktor Fredslund-Hansen | Christian Wulff-Nilsen | 10 October 2022 | |
Pengfei Diao | Christian Igel | 7 October 2022 |
|
Mathias Højgaard Jensen | Stefan Horst Sommer | 30 September 2022 | |
Evangelos Kipouridis | Mikkel Thorup | 17 June 2022 |
|
Renfei Liu | Kenny Erleben | 24 May 2022 | |
Faezeh Moshfeghifar | Kenny Erleben | Hip Joint Finite Element Modeling | 23 May 2022 |
José David Tascon Vidarte | Sune Darkner | 25 April 2022 | |
Lys Sanz Moreta | Thomas Wim Hamelryck | 22 April 2022 | |
Lasse Borgholt | Christian Igel | 31 March 2022 | |
Mette Bjerg Lindhøj | Jon Sporring | 25 March 2022 | |
Carl-Johannes Vincent P. Johnsen | James Emil Avery | 18 March 2022 | |
Mostafa Abdou | Anders Søgaard | Language Understanding in Humans and Artificial Neural Networks: Parallels and Contrasts | 21 February 2022 |
Kasra Arnavaz | Aasa Feragen | Segmentation of the Tubular Network in the Pancreas | 14 January 2022 |
Name | Supervisor & co-supervisor(s) |
Project title | Date of Hand-in |
Anton Mallasto | Aasa Feragen, Tome Dela Haije, Mads Nielsen | Geometric Methods in Probabilistic Modelling |
31 October 2019 |
Mareike Hartmann | Anders Søgaard | Transfer Learning for Computational Content Analysis |
October 2019 |
Stephan Sloth Lorenzen | Stephen Alstrup, Christian Igel, Mikkel Abrahamsen | Learning from Educational Data: Improving Methods and Theoretical Guarantees for Data Mining | August 2019 |
Niklas Hjuler | Stephen Alstrup | Algorithms and AI in Education | July 2019 |
Stina Matthiesen | Pernille Bjørn | Stereotyping in Globally Distributed Collaboration | 19 July 2019 |
Silas Nyboe Ørting | Marleen de Bruijne, Jens Petersen | Assessing emphysema in CT scans of the lungs | 12 March 2019 |
Paul Strohmeier | Kasper Hornbæk | Shaping Material Experiences: Designing vibrotactile feedback for active perception | 15 April 2019 |
Name | Supervisor(s) | Project title |
Date of Hand-in |
Robin Kaarsgaard | Robert Glück, Holger Bock Axelsen, Andrzej Filinski | The Logic of Reversible Computing | 22 December 2017 |
Niels Dalum Hansen | Christina Lioma, Johansen Cox, Kåre Mølbak | Web data mining for public health purposes | 13 December 2017 |
Eva Rotenberg | Mikkel Thorup, Christian Wulff-Nielsen | Algorithms and Data Structures for Graphs | 25 August 2017 |
Troels Henriksen | Cosmin Eugen Oancea, Frtiz Henglein | Design and Implementation of the Futhark Programming Language |
August 2017 |
Mikkel Abrahamsen | Mikkel Thorup, Christian Wulff-Nielsen | New Results on Classical Problems in Computational Geometry in the Plane | August 2017 |
Vivek Shah | Exploration of a Vision for Actor Database Systems | 31 July 2017 | |
Martin Dybdal | Array abstractions for GPU programming | 13 July 2017 | |
Brian Brost | Ingemar J. Cox, Christina Lioma, Yevgeny Seldin | Online Evaluation of Rankers Using Multileaving | 6 July 2017 |
Name | Supervisor(s) | Project title | Date of Defense |
Asja Fischer | Christian Igel | Traning of restricted Boltzmann Machines | 25 August 2014 |
Jens Petersen | Marleen de Bruijne, Asger Dirksen | Analysis of airways in computed tomography | 12 May 2014 |
Sarah Niebe | Kenny Erleben | General nonconvex rigid body simulation | 7 March 2014 |
Lars Lau Raket | Functional Object analysis | 13 June | |
Lene Lillemark Erleben | Mads Nielsen, Sami S. Brandt, Erik B. Dam | Shapes related to Longitudinal Studies of Disease | 9 April 2014 |
Adhish Prasoon | Mads Nielsen, Francois Lauze, Marco Loog | Deep Feature learning and Cascaded Classifier for Large Scale Data | 2 May 2014 |
Name | Supervisor(s) | Project title | Date of defense |
Dan Richter Jørgensen | Mads Nielsen, Erik B. Dam, Martin Lillholm |
Degeneration of osteoarthritic cartilage: focal or global?
|
26 June 2013 |
Joselene Marques | Mads Nielsen, Erik B. Dam | 15 March 2013 | |
Esben Warming Pedersen | Kasper Hornbæk |
Grab and Touch - Empirical Research on Tangible Computing and Touch Interaction
|
4 February 2013 |
Name | Supervisor(s) | Project title | Date of defense |
Patrick Bahr |
Fritz Henglein | Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting | 30 November 2012 |
Tariq Osman Andersen | Finn Kensing | Prototyping a Collective: On ethnography, design, and use of personal health record |
November 2012 |
Rasmus Fonseca | Pawel Winter | Reducing the Search Space in Protein Structure Prediction | 29 October 2012 |
Claus Jensen | Stephen Alstrup |
Improving the efficiency of priority-queue structures Using data-structual transformations and number systems
|
23 October 2012 |
Jonas Moll | Finn Kensing | 23 October 2012 | |
Michael Kirkedal Carøe | Robert Glück | 7 September 2012 | |
Morten Engell-Nørregaard | Kenny Erleben | 30 August 2012 | |
Sudhakar Tummala | Erik B. Dam | February 2012 |
Name | Supervisor(s) | Project title | Defense |
Karen Marie Lyng | Finn Kensing | Computerizing Clinical Practice Guidelines | 20 December 2010 |
Martin Rehr | Brian Vinter | Grid-enabling Non-Computer Resources | 8 December 2010 |
Vladlena Gorbunova | Marleen de Bruijne | Image Registration of Lung CT Scans for Monitoring Emphysema Progression | 1 November 2010 |
Lauge Sørensen | Marleen de Bruijne & Mads Nielsen | Pattern Recognition-Based Analysis of COPD in CT | 11 October 2010 |
Christian Wulff-Nilsen | Martin Zachariasen | Algorithms for Planar Graphs and Graphs in Metric Spaces | 15 June 2010 |
Glennie Helles | Martin Zachariasen | Searching for the Native Structures of Protein | 19 May 2010 |
Pechin Chien Pau Lo | Marleen de Bruijne | Segmentation of Lung Structures in CT | 1 July 2010 |
Ketut Fundana | Mads Nielsen | Variational Segmentation Problems using Prior Knowledge in Imaging and Vision | 20 May 2010 |
Jesper Andersen | Julia Jawal | Semantic Patch Inference |
25 February 2010 |
Marcus Chang | Phillippe Bonnet | From Automatic to Adaptive Data Acquisition - towards scientific sensornets |
29 January 2010 |
Aditya Tatu | - | Curve Evolution in Subspaces and Exploring the Metameric Class of Histogram of Gradient Orientation based Features using Nonlinear Projection Methods |
Name | Supervisor(s) | Project Title | Defence |
Lars Schjøth | Jon Sporring | Anisotropic Density Estimation in Global Illumination | 27 November 2009 |
Mikkel Rønne Jakobsen | Kasper Hornbæk | Information Visualization in Programming Environments | 15 October 2009 |
David Karl John Gustavsson | Mads Nielsen | On Texture and Geometry in ImageAnalysis | 12 June 2009 |
Tobias Uldall-Espersen | Erik Frøkjær | On the understanding of industrial usability work in IT-systems development | 24 February 2009 |
Rasmus Andersen | Brian Vinter | Sandboxes for Grid Computing | N/A |
Name | Supervisor(s) | Project Title | Defence |
Arish Asif Qasi | Mads Nielsen | Quantification of Structure from Medical Images | 19 December 2008 |
Mie Nørregaard Laursen | Kasper Hornbæk | - |
10 December 2008 |
Simon Spoorendonk | David Pisinger | Cut and Column Generation |
28 November 2008 |
Christian Stefansen | Fritz Henglein | (I) A Declarative Framework for ERP Systems (II) Reactors: A Data-Driven Programming Model for Distributed Applications | 20 November 2008 |
Martin Paluszewski | Pawel Winter | Algorithms for Protein Structure Prediction |
10 November 2008 |
Jens Egeblad | Davis Pisinger | Heuristics for Multidimensional Packing Problems | 29 September 2008 |
Dan Erik Petersen | Stig Skelboe | Block Tridiagonal Matrices in Electronic Structure Calculations | 25 August 2008 |
Martin Leopold | Philippe Bonnet | Sensor Network Motes: Portability & Performance | 2 June 2008 |
Benny Kjær Nielsen | Martin Zachariasen | Nesting Problems and Steiner Tree Problems | 11 February 2008 |
Jacob Gorm Hansen | Eric Jul | Virtual Machine Mobility with Self-Migration | 31 January 2008 |
Jacob Raundahl | Mads Nielsen | Mammographic Pattern Recognition | 9 January 2008 |
Name | Supervisor(s) | Project Name | Defence |
Jenny Folkesson | Mads Nielsen | Statistical Classification and Level Set Methods in Medical Image Analysis Quantitative Evaluation of Articular Cartilage in Knee MRI | 14 December 2007 |
Sune Høgild Keller | Mads Nielsen | Video Upscaling Using Variational Methods | 3 December 2007 |
Robert Bialek | Eric Jul | Dynamic Updates of Existing Java Applications | 19 September 2006 |
Kerawit Somchaipeng | Peter Johansen & Jon Sporring | Multi-Scale Singularity Trees | 4 September 2006 |
Niels Elgaard Larsen | - | Emerald Database-Integrating Transaction, Queries, and Method Indexing into a system based on mobile objects | 16 May 2006 |
Stefan Røpke | David Pisinger | Heuristic and exact algorithms for vehicle routing problems | 13 January 2006 |
Name | Supervisor(s) | Project Title | Defence |
Tue Haste Andersen | Kristoffer Jensen | Interaction with Sound and Pre-Recorded Music: Novel Interfaces and Use Patterns | 10 June 2005 |
Jakob Grue Simonsen | Klaus Grue | On Computable Approximation of Infinite Objects | 31 May 2005 |
Kenny Erleben | Knud Henriksen | Stable, Robust, and Versatile Multibody Dynamics Animation | 30 March 2005 |
Rasmus Ulslev Pedersen | Eric Jul | Using Support Vector Machines for Distributed Machine Learning | 7 February 2005 |
Mikkel Mühldorff Sigurd | David Pisinger | Column Generation Methods and Applications | 26 July 2004 |
Mads Bondo Dydensborg | Eric Jul | Connection Oriented Sensor Network | 13 December 2004 |
Niels H. Christensen | Neil D. Jones | Domain-specific languages in software development | 29 September 2003 |
Henning Makholm | Neil D. Jones | A language-independent framework for region inference | 21 November 2003 |
Kim Steenstrup Pedersen | Peter Johansen | Statistics of Natural Image Geometry | 28 March 2003 |
Sebastian Chr. Skalberg | Klaus Grue & Neil D. Jones | An Interactive Proof System for Map Theory | 25 October 2002 |
Jens Peter Secher | Neil D. Jones | Driving-based Program Transformation | 23 October 2002 |
Kasper A.S. Hornbæk | Erik Frøkjær | Usability of Information Visualization: Reading and Interaction Processes | 18 March 2002 |
Henning Niss | Fritz Henglein | Regions are imperative. Unscoped regions and control-sensitive memory management | 8 February 2002 |
C. K. Kazimierczak | Eric Jul | From Artifacts to Objects: In Search of the Design Rationale for Computer Supported Cooperative Work (CSCW) Systems | 6 December 2001 |
Name | Supervisor(s) | Project Title | Defence |
Peter Riber | Peter Johansen | Object Recognition Tracking and Counting | 13 April 2000 |
Ole Fogh Olsen | Peter Johansen & Mads Nielsen | Generic Image Structure | 13 June 2000 |
Jørgen Sværke Hansen | Eric Jul | Skalerbar netværksydelse i distribuerede systemer | - |
Stephen Alstrup | Mikkel Thorup | Tree Techniques | 3 September 1999 |
Kristoffer Jensen | Jens Arnspang | Timbre Models of Musical Sounds | 19 December 1999 |
Martin Zachariasen | Pawel Winter & Jens Clausen | Tabu Search on the Geometric Travelling Salesman Problem | 2 June 1998 |
Jon Sporring | Peter Johansen | Measuring and Modelling Image Structure | 19 December 1998 |
Jakob Rehof | Fritz Henglein | The Complexity of Simple Subtyping Systems | 17 June 1998 |
Martin Elsman | Mads Tofte | Program Modules, Seperate Compilation, and Intermodule Optimisation | 15 December 1998 |
Morten Heine Sørensen | Neil D. Jones | Normalization in -calculus and Type Theory | 9 May 1997 |
Chr. Mossin | Fritz Henglein | Flow Analysis of Typed Higher- Order Programs | 31 January 1997 |
Morten Welinder | Neil D. Jones | Partial Evaluation and Correctness | 9 December 1996 |
Georg Strøm | Peter Naur | Inattentive Use of Electronic Equipment - Evaluation and Design Principles | 20 September 1996 |
Povl Koch | Eric Jul | Message-Driven Consistency on a Network of Workstations | 23 April 1996 |
Kristoffer Rose | Neil D. Jones | Operational Reduction Models for Functional Programming Languages | 9 February 1996 |
Martin Funk Larsen | Stig Skelboe | Numerical Computations on Massively Parallel Graph Reduction Machine | 2 February 1996 |
Name | Supervisor(s) | Project Title | Defence |
Knud Jesper Jørgensen | Fritz Henglein | A Calculus for Boxing Analysis of Polymorphically Typed Languages | October 1995 |
Knud J. Jørgensen | Neil D. Jones | Efficient Type Inference Based Program Analyses | 27 October 1995 |
Jesper Larsson Träff | Jens Clausen | Praktiske parallelle grafalgoritmer | 22 June 1995 |
David Pisinger | Jakob Krarup | Algorithms for Knapsack Problems | 26 May 1995 |
Mads Nielsen | Søren I. Olsen | Least Committed Estimation in Computer Vision | 27 April 1995 |
Per Storgaard Laursen | Jens Clausen | Parallel Optimization Algorithm - Efficiency vs. Simplicity | 15 December 1994 |
Morten Hertzum | Erik Frøkjær | Computer Support for Documentation Work | 14 December 1994 |
Jacob Nørbjerg | Jørgen Bansler | Kvalifikationer og Samarbejdsformer i Systemudvikling | 15 June 1994 |
Lars Ole Andersen | Neil D. Jones | Program Analysis and Specialization for the C Programming Language | 27 May 1994 |
Klaus Havelund | Klaus Grue | The Fork Calculus, Towards a Logic for Concurrent ML | 16 March 1994 |
Ming Fang | Stig Skelboe | Krylov subspace methods; convergence and parallel aspects | 20 January 1994 |
Thomas P. Jensen | Neil D. Jones | Abstract Interpretation in Logical Form | 16 December 1993 |
Karoline Malmkjær | Neil D. Jones | Abstract Interpretation of Partial-Evaluation Algorithms | 23 February 1993 |
Niels Chr. Juul | Eric Jul | Comprehensive, concurrent, and robust garbage collection in the distributed objectbased system EMERALD | 19 February 1993 |
Mads Rosendahl | Neil D. Jones | Abstract Interpretation and Attribute Grammars | 11 December 1991 |
Laila Dybkjær | Per Galle | Computer-Aided Floot Plan Sketching | 29 November 1991 |
Carsten K. Gomard | Neil D. Jones | Program Analysis Matters | 29 November 1991 |
Peter Sestoft | Neil D. Jones | Analysis and Efficient Implementation of Functional Programs | 14 November 1991 |
Birger Andersen | Eric Jul | Grain-Size Adaption in the Tine-Grained Object-Oriented Language | 5 November 1991 |
Hans Dybkjær | Neil D. Jones | Kategoriteori, typer og programmeringssprog | 5 April 1991 |
Troels Andreasen | Torben U. Zahle | Semantic Information in Databases | 18 January 1991 |
Name | Supervisor(s) | Project Title | Defence |
Knud Henriksen | Jens Arnspang | Projective Geometry and Straight Lines in Computational Vision | 7 September 1990 |
Anders Bondorf | Neil D. Jones | Self-Applicable Partial Evaluation | 27 April 1990 |
Franz Fröling | Peter Naur & Ebbe Spang- Hansen |
Automatisk analyse og oversættelse af franske sætninger med udgangspunkt i verbernes valens. Automatisk analyse af faste udtryk i franske sætninger. | - |
Charlotte Pii Lunau | Eric Jul | Hierarchies in Object-Oriented Languages | 19 December 1989 |
Harald Søndergaard | Neil D. Jones | Semantics-based Analysis and Transformation of Logic Programs | 15 December 1989 |
Kaare Danielsen | Torben U. Zahle | Multidimensional Trees | 2 June 1989 |
Torben Mogensen | Neil D. Jones | Binding Time Aspects of Partial Evaluation | 14 April 1989 |
Eric Jul | Ole Caprani | Object Mobility in a Distributed Object-Oriented System | 9 December 1988 |
Mads Tofte | Neil D. Jones | Operational Semantics and Polymorphic Type Inference | July 1988 |
Elin Rønby Pedersen | Peter Naur | Skriftlige udtryksmidler i program udvikling | June 1988 |
Jens Arnspang | Peter Johansen | Local Differential Kinematics in Computational Vision | 5 April 1988 |
Søren I. Olsen | Peter Johansen | Feature Based Stereo Algorithm | 22 January 1988 |
Per Galle | Nils Andersen | Datamatstøttet pladsdisponering i arkitektarbejde | 14 August 1987 |
Jørgen Bansler | Hasse Clausen | Systemudvikling - teori og historie i skandinavisk perspektiv | 8 May 1987 |
Contact
The PhD Administration can answer general inquiries about the Department of Computer Science's PhD Programmes: phdadmin@di.ku.dk