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.

See a list of all research staff at DIKU including PhD students,

Former PhD Students & Theses

2025

Name

Supervisor(s)

Project title

Defence

Sebastián Garcia Lopez

Principal Supervisor Wouter Krogh Boomsma

Representation Learning in Protein Science: From Sequence Alignments to Deep Embedding Spaces

17 January 2025

2024

Name	Supervisor(s)	Project title	Defence
Yijie Zhang	Principal Supervisor Christian Igel Co-Supervisor Merete Bang Co-Supervisor Sadegh Talebi	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 Co-Supervisor Daniel Hershcovich	Evaluating Language Models: From Multilingual Compositional Semantic Parsing to Human-level Complex Reasoning	30 October 2024
Henrik Bjørn Axelsen	Principal Supervisor Omry Ross Co-Supervisor Friedrich Henglein	DAOs and Blockchain for Regulated Finance - Transformative decentralization	28 October 2024
Robin Bruneau	Principal Supervisors: François Lauze & Jean-Denis Durou Co-Supervisors: Yvain Quéau & Kim Steenstrup Pedersen	3D Reconstruction with Refraction	16 October 2024
Sonja Rattay	Principal Supervisor Irina Shklovski Co-Supervisor Jens-Erik Mai Co-Supervisor Marco Rozendaal	"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 Co-Supervisor Irina Shklovski Co-Supervisor Christina Neumayer	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 Co-Supervisor Francois Bernard Lauze	Deep Learning Derived Traits for Phylogenetic Inference	13 September 2024
Tor-Salve Dalsgaard	Principal supervisor Kasper Hornbæk Co-supervisor Joanna Bergström	How Haptic Experiences Are Made	21 August 2024
Simone Borg Bruun	Principal Supervisor Christina Amalia Lioma, DIKU Co-Supervisor Maria Maistro, DIKU	Learning Recommendations from Sparse and Heterogeneous Data	28 June 2024
Peidi Xu	Principal Supervisor Sune Darkner, DIKU Co-supervisor Kenny Erleben, DIKU Co-supervisor Olga Sosnovtseva, BMI, SUND Co-supervisor Niels-Henrik von Holstein-Rathlou BMI, SUND	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 Co-Supervisor Associate Professor Tijs Slaats	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 Co-Supervisor: Finn Kensing	It takes a village to raise clinical AI. Towards clinical usefulness of AI in healthcare	12 April 2024
Lorenzo Beretta	Principal Supervisor: Mikkel Thorup Co-Supervisor: Mikkel Abrahamsen	Sublinear Algorithms, Online Packing, Hashing and Clustering	5 April 2024
Trine Rask Nielsen	Principal supervisor: Naja Holten Møller Co-supervisors: Thomas Troels Hildebrandt Thomas Gammeltoft-Hansen	ENCODING CARE IN CASEWORK: The Role of Data in Asylum Decision-making from a Practice Perspective	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	ADAM: Auto-Animation of Digital Humans Using AI Methods	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	A Multilingual Perspective on Probing Gender Bias	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

2023

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 Co-Supervisor Anders Østerskov Søgaard	On Multimodal Representations Learned at Scale	20 November 2023
Carl Victor von Wachter	Principal Supervisor Omri Ross Co-Supervisor Cosmin Oancea	Decentralized Finance: Building and Analyzing Financial Infrastructure on Blockchain Technology	28 September 2023
Jakob Bæk Tejs Houen	Principal Supervisor Mikkel Thorup	New Results on Hash Functions and Hashing-Based Algorithms	22 September 2023
Abraham George Smith	Principal Supervisor: Jens Petersen	Deep-Learning Image Segmentation with Corrective Annotation	28 August 2023
Mathias Perslev	Principal Supervisor: Christian Igel	Segmentation of medical images and time series using fully convolutional neural networks	21 August 2023
Nils Rethmeier	Principal Supervisor: Isabelle Augenstein	Efficient, Adaptable and Interpretable NLP	7 August 2023
Rasmus Kær Jørgensen	Principal Supervisor Christian Igel Co-Supervisor Lars Silberg Hansen Co-Supervisor Peter Sergio Larsen	Multilingual Natural Language Processing for Applications in the Financial Domain	23 June 2023
Marloes Elisabeth Arts	Principal Supervisor Wouter Krogh Boomsma	Generative Models for Proteins: Ensembles, Dynamics and Evolution	14 June 2023
Yi-Shan Wu	Principal Supervisor Yevgeny Seldin Co-Supervisor Anders Østerskov Søgaard	Second-Order Concentration Inequalities with Application to the Weighted Majority Vote	1 June 2023
Asbjørn William Ammitzbøll Flügge	Principal Supervisor Naja Holten Møller Co-Supervisors: Thomas Hildebrandt and Henrik Palmer Olsen	Where the Practice is - a study of humans and machines in public employment services	23 May 2023
Philip Munksgaard	Principal Supervisor Cosmin Oancea Co-Supervisor Troels Henriksen	Static and Dynamic Analyses for Efficient GPU Execution	17 May 2023
Per Steffen Czolbe	Principal Supervisor Christian Igel Former Principal Supervisor Aasa Feragen Co-supervisor Oswin Krause	Topology-Aware Image Registration	26 April 2023
Ola Rønning	Principal Supervisor Thomas Wim Hamelryck Co-supervisor Christopher Ley	A Probabilistic Approach to the Protein Folding Problem	17 April 2023
Andreas David Lauritzen	Principal Supervisor Martin Lillholm Clinical co-supervisor Ilse Vejborg	Development and Clinical Evaluation of Deep Learning Models for Personalized Breast Cancer Screening	14 April 2023
Dustin Brandon Wright	Isabelle Augenstein	Machine Understanding of Scientific Language	9 March 2023
Yuhu Liang	Anders Krogh	In pursuit of gene variation of consequence to human health and disease	1 February 2023
Chloé Alice Florence Rouyer	Yevgeny Seldin	Theoretical Foundations of Learning with Worst-Case and Easy Data	26 January 2023
Christian Thygesen	Thomas Wim Hamelryck	Accelerating vaccine development through a deep probabilistic programming approach to protein structure prediction	4 January 2023

2022

Name	Supervisor(s)	Project title	Defence
Torkan Gholamalizadeh	Kenny Erleben	Computational modeling and analysis of tooth movement	24 November 2022
Pepa Kostadinova Atanasova	Isabelle Augenstein	Accountable and Explainable Methods for Complex Reasoning over Text	8 November 2022
Heather Christine Lent	Anders Østerskov Søgaard	NLP Across the Resource Landscape: Development in Creole NLP & Evaluation in Semantic Parsing	24 October 2022
Viktor Fredslund-Hansen	Christian Wulff-Nilsen	On shortest path algorithms: Decremental and planar embedded graphs	10 October 2022
Pengfei Diao	Christian Igel	Automated Mammographic Risk Scoring and Domain Adaptation for X-ray Image.	7 October 2022
Mathias Højgaard Jensen	Stefan Horst Sommer	Stochastic Bridge Sampling on Manifolds	30 September 2022
Evangelos Kipouridis	Mikkel Thorup	Clustering, Weighted Sequences, and Shortest Paths	17 June 2022
Renfei Liu	Kenny Erleben	Group and Pseudo-group Convolutional Neural Networks - Learning on Curved Spaces with the Application to DWI Segmentatio	24 May 2022
Faezeh Moshfeghifar	Kenny Erleben	Hip Joint Finite Element Modeling	23 May 2022
José David Tascon Vidarte	Sune Darkner	Real-time Deformable Image Registration Applied to Tumor Tracking in 2D Cine-MRI	25 April 2022
Lys Sanz Moreta	Thomas Wim Hamelryck	Deep probabilistic programming applied to proteins	22 April 2022
Lasse Borgholt	Christian Igel	Semantic Speech Processing with Neural Networks	31 March 2022
Mette Bjerg Lindhøj	Jon Sporring	Dynamic Tomography Imaging of Biological Structures	25 March 2022
Carl-Johannes Vincent P. Johnsen	James Emil Avery	Automated AI Learning for X-Ray Based Classification	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

2021

Name	Supervisor(s)	Project title	Defence
Klemen Lilja	Kasper Hornbæk	Hand-based Interaction in Mixed Reality: Manipulating, Navigating and Learning	9 December 2021
Rahul Rajendra Arailkatte	Anders Søgaard	Towards Better Neural Coreference Resolution	8 December 2021
Victor Petrén Bach Hansen	Anders Søgaard	Towards Fairness in Conversational Natural Language Processing	29 November 2021
Peter Michael Reichstein Rasmussen	Mikkel Thorup	Graphs, Algorithms, and Discrete Probabilities	11 November 2021
Carlos Eduardo Tejada Castillo	Daniel Ashbrook	Print-And-Play Fabrication	6 October 2021
Lucas Chavez Lima	Christina Lioma, Jakob Grue Simonsen, Maria Maistro	Semantic Classification and Evaluation	27 September 2021
Christian Hansen	Stephen Alstrup, Christina Lioma, Jacob Grue Simonsen	Sequential Modelling with Applications to Music Recommendation, Fact-Checking, and Speed Reading	17 August 2021
Casper Hansen	Stephen Alstrup, Christina Lioma, Jacob Grue Simonsen	Representation Learning for Efficient and Effective Similarity Search and Recommendation	16 August 2021
Yiwen Wang	Marcos Antonio Vaz Salles	Scalable and Reactive Data Management for Mobile Internet-of-Things Applications with Actor-Oriented Databases	16 July 2021
Hans Jacob Teglbjærg Stephensen	Jon Sporring	Geometrical Models and Stochastic Geometry of Subcellular Structures	10 June 2021
Christoffer Olling Bach	Tijs Slaats	Hybrid Process Mining: Inference & Evaluation Across Imperative & Declarative Approaches	8 June 2021
Ana Valeria González	Anders Søgaard	Towards Human-Centered Natural Language Processing	25 May 2021
Yova Radoslavova Kementchedjhieva	Anders Søgaard	Methods, Evalutations and Resources for Multilingual Transfer Learning	21 May 2021
Wojciech Mikal Pawlak	Martin Elsman, Cosmin Eugen Oancea	Accelerated Financial Algorithms: Derivative Pricing and Risk Management Applications	10 May 2021
Simon Hellemann Flachs	Anders Søgaard	Computational Grammatical Error Correction: Bridging the Gap from Academia to Industry	6 May 2021
Vlad Manea	Katarzyna Wac	From Participation Factors to Co-Calibration of Patient- and Wearable-Reported Outcomes in Behavioural, Health, and Quality of Life Studies	14 April 2021

2020

Name	Supervisor & co-supervisor(s)	Project title	Date of Hand-in/Defense
Miles Macklin	Kenny Erleben	Simulation for Learning and Robotics: Numerical Methods for Contact, Deformation, and Identification	14 December 2020
Maximilian Probst Gutenberg	Christian Wulff-Nielsen, Mikkel Thorup	Near-Optimal Algorithms forReachability, Strongly-ConnectedComponents and Shortest Pathsin Partially Dynamic Digraphs	10 December 2020
Karim Jabbar	Pernille Bjørn	Infrastructural Entrepreneurship in the Context of Blockchain	17 November 2020
Anders Aamand	Mikkel Thorup, Mikkel Abrahamsen	Simple Hashing-Based Algorithmswith Strong Theoretical Guarantees	31 August 2020
Tobias Sommer Thune	Yevgeny Seldin	Exploiting Easiness and Overcoming Delays in Online Learning	9 May 2020
Xiaoyi Wang	Kasper Hornbæk	Data Visualizations for Helping Users Understand Statistical Models	31 March 2020
Giorgios Karagiannis	Søren Ingvor Olsen, Kim Stenstrup Petersen	Railway Asset Detection and Geolocation	31 March 2020
Julian Zimmert	Yevgeny Seldin, Christina Lioma	Adversarially robust stochastic multi-armed bandits	29 February 2020

2019

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

2018

Name	Supervisor(s)	Project title	Date of Hand-in
Christopher Alan Ryther	Jakob Grue Simonsen, Andreas Koch, Claus Parnes	Complex Temporal Networks: Metrics and embeddings for problems in real world complex networks	31 December 2018
Jacob Daniel Kirstejn Hansen	François Bernard Lauze	Segmentation of Brains and Rocks from Tomographic Reconstructions	December 2018
Line Kühnel	Stefan Sommer, Mads Nielsen	Stochastic Modelling on Manifolds	30 December 2018
Aske Mottelson	Kasper Hornbæk	Computer-Cognition Interfaces: Sensing and Influencing Mental Processes with Computer Interaction	31 December 2018
Raghavendra Selvan	Marlene de Bruijne, Jens Petersen	Extraction of Airways from Volumetric Data	30 September 2018
Jacob Holm	Mikkel Thorup, Stephen Alstrup	Efficient Graph algorithms and Data Structures	31 August 2018
Malte Stær Nissen	Mads Nielsen, Christian Igel	Automatic Motility Analysis of Human Sperm	1 August 2018
Joachim Bingel	Anders Søgaard	Personalized and Adaptive Text Simplification	August 2018
Leise Borg	Jon Sporring	Analysis of synchrotron X-ray tomographic data: Reconstruction and application	August 2018
Henrik Grønholt Jensen	Sune Darkner, Mads Nielsen	Density-based Similarity in the Registration of Diffusion-Weighted Images	April 2018
Danil Annenkov		Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory	25 January 2018

2017

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

2016

Name	Supervisor(s)	Project title	Date of Hand-in
Kristoffer Stensbo-Smidt	Kim Steenstrup Pedersen, Christian Igel	Recycling on a Cosmic Scale: Extracting New Information from Old Data Sets	10 November 2016
Noy Rotbart	Jacob Grue Simonsen, Christian Wulff-Nilsen	New Ideas on Labeling Schemes	18 October 2016
Ulrik Terp Rasmussen		Stream Processing Using Grammars and Regular Expressions	25 September 2016
Frederik Meisner Madsen		Streaming for Functional Data-Parallel Languages	September 2016
Casper Petersen	Christina Lioma, Jacob Grue Simonsen	On the Estimation and Use of Statistical Modelling in Information Retrieval	September 2016
Jan Kremer	Christian Igel	Active and Adaptive Learning from Biased Data with Applications in Astronomy	10 June 2016
Giovanni Maria Troiano	Kasper Hornbæk, Esben Warming Pedersen	After Rigid Interfaces: Investigating Interaction with Deformable Interfaces and the Design of Shape-Changing Interfaces	June 2016
Niklas Kasenburg	Aasa Feragen, Matthew Liptrot, Mads Nielsen	Learning from tractography: reconstructing and analysing structural connections	1 February 2016

2015

2014

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

2013

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	Osteoarthritis Imaging by Quantification of Tibial Trabecular Bone	15 March 2013
Esben Warming Pedersen	Kasper Hornbæk	Grab and Touch - Empirical Research on Tangible Computing and Touch Interaction	4 February 2013

2012

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	Prototyping Matters of Concern - On Productive Relations of Participatory Design and STS in Patient-Centered Healthcare	23 October 2012
Michael Kirkedal Carøe	Robert Glück	Design of Reversible Computing Systems	7 September 2012
Morten Engell-Nørregaard	Kenny Erleben	Interactice Modelling and Simulation of Human Motion	30 August 2012
Sudhakar Tummala	Erik B. Dam	Quantification of Biomechanical Imaging Biomarkers	February 2012

2011

Name	Supervisor(s)	Project title	Defense
Anders Starcke Henriksen	Andrzej Filinski	Adversarial Models for Cooperative Interactions	22 December 2011
Eld Maj-Britt Olmütz Zierau	Jakob Grue Simonsen	A Holistic Approach to Bit Preservation	12 December 2011
Stefan Sommer	Mads Nielsen, Francois Lauze	Anatomy in Curved Space: Non-linear Modelling of Deformation and Shape for Medical Imaging
Rune Møllegaard Friborg	Brian Vinter	CSP for Executable Scientific Workflows	29 November 2011
Alessandro Crimi	Mads Nielsen	Statistical Analysis of Vertebral Shapes	16 November 2011
Holger Bock Axelsen	Robert Glück	Reversible Computing and Programming	15 November 2011
Tom Hvitved	Fritz Henglein	Contract Formalisation and Modular Implementation of Domain-Specific Languages	November 2011
Søren Hauberg	Kim Steenstrup Pedersen	Spatial Models of Human Motion
Lasse Nielsen	Fritz Henglein & Thomas Hildebrandt	Regular Expressions and Multiparty Session Types with Applications to Workflow Based Verification of User Interfaces	August 2011
Melanie Ganz	Mads Nielsen	Automated Detection and Analysis of Calcified Deposits and their relation to Cardiovascular Diseases	27 May 2011
James Avery	Stig Skelbo	New Computational Methods in the quantum Theory of Nano-Structures	8 March 2011

2010

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

2009

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

2008

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

2007 - 2006

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

2005 - 2001

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

2000 - 1996

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

1995 - 1991

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

1990 - 1987

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

See all open positions at DIKU including PhD scholarships.

Learn more about the PhD Programme at the Faculty of Science.

Upcoming PhD defences

PhD defence by Sebastián Garcia Lopez

Department of Computer Science