Tidligere ph.d. studerende – Københavns Universitet

Videresend til en ven Resize Print Bookmark and Share

Datalogisk Institut, DIKU > Forskning > Ph.d.-studiet > Tidligere ph.d. studer...

Ph.D. studerende ved DIKU fra 1984

Her er en oversigt over alle ph.d. studerende ved DIKU fra 1984 til i dag.

-NavnPeriodeProjektemneVejlederForsvar
1984 Eric Jul 01.01.1980 -
30.06.1982
Object Mobility in a Distributed Object-Oriented System Ole Caprani 09.12.1988
1985 Elin Rønby Pedersen 01.03.1983 -
31.12.1985
Skriftlige udtryksmidler i program udvikling Peter Naur 00.06.1988
1986 Per Galle 01.11.1983 -
30.04.1986
Datamatstøttet pladsdisponering i arkitektarbejde Nils Andersen 14.08.1987
1986 Jørgen Bansler 10.04.1984 -
30.09.1986
Systemudvikling - teori og historie i skandinavisk perspektiv Hasse Clausen 08.05.1987
1987 Mads Tofte 01.09.1984 -
28.02.1987
Operational Semantics and Polymorphic Type Inference Neil D. Jones 00.07.1988
1987 Charlotte Pii Lunau 01.09.1984 -
28.02.1987
Hierarchies in Object-Oriented Languages Eric Jul 19.12.1989
1987 Søren I. Olsen 01.01.1984 -
30.04.1987
Feature Based Stereo Algorithm Peter Johansen 22.01.1988
1987 Jens Arnspang 01.05.1985 -
31.10.1987
Local Differential Kinematics in Computational Vision Peter Johansen 05.04.1988
1989 Torben Mogensen 01.09.1986 -
28.02.1989
Binding Time Aspects of Partial Evaluation Neil D. Jones 14.04.1989
1989 Kaare Danielsen 01.09.1986 -
28.02.1989
Multidimensional Trees Torben U. Zahle 02.06.1989
1989 Harald Søndergaard 01.02.1987 -
31.07.1989
Semantics-based Analysis and Transformation of Logic Programs Neil D. Jones 15.12.1989
1989 Mads Rosendahl 01.01.1987 -
31.12.1989
Abstract Interpretation and Attribute Grammars Neil D. Jones 11.12.1991
1989 Franz Fröling 01.02.1987 -
31.07.1989
Automatisk analyse og oversættelse af franske sætninger med udgangspunkt i verbernes valens. Automatisk analyse af faste udtryk i franske sætninger. Peter Naur &
Ebbe Spang- Hansen
-
1990 Anders Bondorf 01.09.1987 -
28.02.1990
Self-Applicable Partial Evaluation Neil D. Jones 27.04.90
1990 Knud Henriksen ? Projective Geometry and Straight Lines in Computational Vision Jens Arnspang 07.09.1990
1990 Troels Andreasen 01.01.1988 -
30.06.1990
Semantic Information in Databases Torben U. Zahle 18.01.1991
1990 Birger Andersen 01.03.1988 -
31.08.1990
Grain-Size Adaption in the Tine-Grained Object-Oriented Language Eric Jul 05.11.1991
1991 Hans Dybkjær 01.07.1988 -
25.02.1991
Kategoriteori, typer og programmeringssprog Neil D. Jones 05.04.1991
1991 Laila Dybkjær 01.04.1989 -
30.09.1991
Computer-Aided Floot Plan Sketching Per Galle 29.11.1991
1991 Peter Sestoft 15.04.1989 -
14.11.1991
Analysis and Efficient Implementation of Functional Programs Neil D. Jones 14.11.1991
1991 Niels Chr. Juul 01.07.1989 -
??
Comprehensive, concurrent, and robust garbage collection in the distributed objectbased system EMERALD Eric Jul 19.02.1993
1991 Carsten K. Gomard 01.12.1989 -
31.05.1992
Program Analysis Matters Neil D. Jones 28.11.1991
1993 Ming Fang 15.08.1990 -
15.08.1993
Krylov subspace methods; convergence and parallel aspects Stig Skelboe 20.01.1994
1993 Karoline Malmkjær 01.01.1991 -
30.06.1993
Abstract Interpretation of Partial-Evaluation Algorithms Neil D. Jones 23.02.1993
1993 Thomas P. Jensen 01.01.1991 -
30.06.1993
Abstract Interpretation in Logical Form Neil D. Jones 16.12.1993
1993 Jacob Nørbjerg 01.02.1991 -
31.07.1993
Kvalifikationer og Samarbejdsformer i Systemudvikling Jørgen Bansler 15.06.1994
1993 Klaus Havelund 01.02.1991 -
31.07.1993
The Fork Calculus, Towards a Logic for Concurrent ML Klaus Grue 16.03.1994
1994 Martin Funk Larsen 01.01.1992 -
31.06.1994
Numerical Computations on Massively Parallel Graph Reduction Machine Stig Skelboe 02.02.1996
1994 Lars Ole Andersen 01.01.1992 -
31.06.1994
Program Analysis and Specialization for the C Programming Language Neil D. Jones 27.05.1994
1994 Knud J. Jørgensen 01.06.1992 -
01.12.1994
Efficient Type Inference Based Program Analyses Neil D. Jones 27.10.1995
1994 Morten Hertzum 01.01.1992 -
18.08.1994
Computer Support for Documentation Work Erik Frøkjær 14.12.1994
1994 David Pisinger 01.03.1992 -
31.08.1994
Algorithms for Knapsack Problems Jakob Krarup 26.05.1995
1994 Per Storgaard Laursen 01.08.1992 -
01.02.1995
Parallel Optimization Algorithm - Efficiency vs. Simplicity Jens Clausen 15.12.1994
1994 Jesper Larsson Träff 01.10.1992 -
01.10.1994
Praktiske parallelle grafalgoritmer Jens Clausen 22.06.1995
1995  Knud Jesper Jørgensen  A Calculus for Boxing Analysis of Polymorphically Typed Languages  Fritz Henglein    Okt. 1995
1995 Mads Nielsen 01.09.1992 -
01.03.1995
Least Committed Estimation in Computer Vision Søren I. Olsen 27.04.1995
1995 Kristoffer Rose 01.11.1992 -
01.11.1995
Operational Reduction Models for Functional Programming Languages Neil D. Jones 09.02.1996
1995 Georg Strøm 01.12.1992 -
01.12.1995
Inattentive Use of Electronic Equipment - Evaluation and Design Principles Peter Naur 20.09.1996
1995 Povl Koch 01.01.1993 -
31.12.1995
Message-Driven Consistency on a Network of Workstations Eric Jul 23.04.1996
1996 Chr. Mossin 01.09.1993 -
31.08.1996
Flow Analysis of Typed Higher- Order Programs Fritz Henglein 31.01.1997
1996 Morten Welinder 01.10.1993 -
30.09.1996
Partial Evaluation and Correctness Neil D. Jones 09.12.1996
1997 Morten Heine Sørensen 01.04.1994 -
31.03.1997
Normalization in -calculus and Type Theory Neil D. Jones 09.05.1997
1998 Martin Elsman 01.05.1995 -
30.04.1998
Program Modules, Seperate Compilation, and Intermodule Optimisation Mads Tofte 15.12.1998
1998 Kristoffer Jensen 01.09.1995 -
31.08.1998
Timbre Models of Musical Sounds Jens Arnspang 19.02.1999
1998 Jakob Rehof 01.09.1995 -
31.08.1998
The Complexity of Simple Subtyping Systems Fritz Henglein 17.06.1998
1998 Jon Sporring 01.04.1995 -
31.09.1998
Measuring and Modelling Image Structure Peter Johansen 19.12.1998
1998 Martin Zachariasen 01.04.1995 -
31.03.1998
Tabu Search on the Geometric Travelling Salesman Problem Pawel Winter & Jens Clausen 02.06.1998
1999 Stephen Alstrup 01.04.1996 -
31.03.1999
Tree Techniques Mikkel Thorup 03.09.1999
1999 Jørgen Sværke Hansen 01.10.1996 -
30.09.1999
Skalerbar netværksydelse i distribuerede systemer Eric Jul -
1999 Ole Fogh Olsen 01.10.1996 -
30.09.1999
Generic Image Structure Peter Johansen & Mads Nielsen 13.06.2000
1999 Peter Riber ? Object Recognition Tracking and Counting Peter Johansen 13.04.2000
2001 C. K. Kazimierczak 01.12.1997 -
31.11.2000
From Artifacts to Objects: In Search of the Design Rationale for Computer Supported Cooperative Work (CSCW) Systems Eric Jul 06.12.2001
2002 Henning Niss 01.11.1997 -
31.10.2000
Regions are imperative. Unscoped regions and control-sensitive memory management Fritz Henglein 08.02.2002
2002 Kasper A.S. Hornbæk 01.11.1998 -
31.11.2000
Usability of Information Visualization: Reading and Interaction Processes Erik Frøkjær 18.03.2002
2002 Jens Peter Secher 01.05.1999 -
30.04.2002
Driving-based Program Transformation Neil D. Jones 23.10.2002
2002 Sebastian Chr. Skalberg 01.08.1999 -
31.07.2002
An Interactive Proof System for Map Theory Klaus Grue & Neil D. Jones 25.10.2002
2003 Kim Steenstrup Pedersen 01.01.2000 -
31.12.2002
Statistics of Natural Image Geometry Peter Johansen 28.03.2003
2003 Henning Makholm 01.06.2000 -
31.05.2003
A language-independent framework for region inference Neil D. Jones 21.11.2003
2003 Niels H. Christensen 01.07.2000 -
30.06.2003
Domain-specific languages in software development Neil D. Jones 29.09.2003
2004 Mads Bondo Dydensborg 01.05.2001 -
15.05.2004
Connection Oriented Sensor Network Eric Jul 13.12.2004
2004 Mikkel Mühldorff Sigurd 01.02.2001 -
31.01.2004
Column Generation Methods and Applications David Pisinger 26.07.2004
2005 Rasmus Ulslev Pedersen 01.08.2001 -
31.07.2004
Using Support Vector Machines for Distributed Machine Learning Eric Jul 07.02.2005
2005 Kenny Erleben 01.11.2001 -
31.10.2004
Stable, Robust, and Versatile Multibody Dynamics Animation Knud Henriksen 30.03.2005
2005 Jakob Grue Simonsen 01.05.2002 -
31.04.2005
On Computable Approximation of Infinite Objects Klaus Grue 31.05.2005
2005 Tue Haste Andersen 01.05.2002 -
31.04.2005
Interaction with Sound and Pre-Recorded Music:
Novel Interfaces and Use Patterns
Kristoffer Jensen 10.06.2005
2005 Stefan Røpke 01.11.2002 -
31.10.2005
Heuristic and exact algorithms for vehicle routing problems David Pisinger 13.01.2006
2006 Niels Elgaard Larsen 01.08.1993 -
31.07.1996
Emerald Database-Integrating Transaction, Queries, and Method Indexing into a system based on mobile objects - 16.05.2006
2006 Kerawit Somchaipeng 01.10.2002 -
30.09.2005
Multi-Scale Singularity Trees Peter Johansen & Jon Sporring 04.09.2006
2006 Robert Bialek 01.06.2003 -
31.05.2006
Dynamic Updates of Existing Java Applications Eric Jul 19.09.2006
2007 Sune Høgild Keller 01.01.2007 -
30.09.2007
Video Upscaling Using Variational Methods Mads Nielsen 03.12.2007
2007 Jenny Folkesson 01.01.2007 -
30.09.2007
Statistical Classification and Level Set Methods in Medical Image Analysis Quantitative Evaluation of Articular Cartilage in Knee MRI Mads Nielsen 14.12.2007
2008 Jacob Raundahl 01.01.2007 -
14.10.2007
Mammographic Pattern Recognition Mads Nielsen 09.01.2008
2008 Jacob Gorm Hansen 01.11.2003 -
30.04.2007
Virtual Machine Mobility with Self-Migration Eric Jul 31.01.2008
2008 Benny Kjær Nielsen 01.11.2004 -
31.10.2007
Nesting Problems and Steiner Tree Problems Martin Zachariasen 11.02.2008
2008 Martin Leopold 01.01.2005 -
31.12.2007
Sensor Network Motes: Portability & Performance Philippe Bonnet 02.06.2008
2008 Dan Erik Petersen 01.05.2005 -
30.04.2008
Block Tridiagonal Matrices in Electronic Structure Calculations Stig Skelboe 25.08.2008
2008 Jens Egeblad 01.06.2004 -
30.11.2007
Heuristics for Multidimensional Packing Problems   David Pisinger 29.09.2008
2008 Martin Paluszewski 01.06.2005 -
31.05.2008
Algorithms for Protein Structure Prediction  Pawel Winter 10.11.2008
2008 Christian Stefansen 01.07.2003 -
28.02.2008
(I) A Declarative Framework for ERP Systems (II) Reactors: A Data-Driven Programming Model for Distributed Applications  Fritz Henglein 20.11.2008
2008 Simon Spoorendonk 01.11.2002 -
31.10.2008
Cut and Column Generation  David Pisinger 28.11.2008
2008 Mie Nørregaard Laursen 01.05.2005 -
30.04.2008
  Kasper Hornbæk 10.12.2008
2008 Arish Asif Qasi 01.01.2007 -
31.10.2008
Quantification of Structure from Medical Images  Mads Nielsen 19.12.2008
2008 Tobias Uldall-Espersen 01.05.2005 -
30.04.2008
On the understanding of industrial usability work in IT-systems development   Erik Frøkjær 24.02.2009
2009  Rasmus Andersen

01.02.2006 31.01.2009

Sandboxes for Grid Computing  Brian Vinter ?
2009 Mikkel Rønne Jakobsen

01.06.2006 31.05.2009

Information Visualization in Programming Environments   Kasper Hornbæk  15.10.2009
2009  David Karl John Gustavsson

01.01.2008 08.02.2009 

On Texture and Geometry in Image Analysis  Mads Nielsen  12.06.2009 
2009 Jesper Andersen

01.08.2006 31.07.2009

Semantic Patch Inference Julia Lawall 25.02.2010 
2009  Lars Schjøth

01.09.2006 31.08.2009 

Anisotropic Density Estimation in Global Illumination - a journey through time and space   Jon Sporring 27.11.2009
2009  Aditya Jayant Tatu 

01.01.2007 18.10.2009 

Curve Evolution in Subspaces and Exploring the Metameric Class of Histogram of Gradient Orientation based Features using Nonlinear Projection Methods  Mads Nielsen   
2009 Marcus Chang

01.11.2006 31.10.2009

From Automatic to Adaptive Data Acquisition
- towards scientific sensornets
Phillippe Bonnet  29.01.2010 
2009  Ketut Fundana 

01.01.2007 31.12.2009 

Variational Segmentation Problems using Prior Knowledge in Imaging and Vision  Mads Nielsen  20.05 2010 
2010  Pechin Chien Pau Lo 

01.01.2007 14.04.2010

Segmentation of Lung Structures in CT  Marleen de Bruijne  01.07.2010 

2010 

Glennie Helles  

01.12.2005 31.08.2010 

Searching for the Native Structures of Protein  Martin Zachariasen  19.05 2010 
2010  Christian Wulff-Nilsen  

01.05.2007 30.04.2010 

Algorithms for Planar Graphs and Graphs in Metric Spaces Martin Zachariasen  15.06 2010 
2010  Lauge Sørensen 

01.06.2007  31.05.2010

Pattern Recognition-Based Analysis of COPD in CT Marleen de Bruijne & Mads Nielsen 11.10 2010 
2010  Vladlena Gorbunova 

01.06.2007 31.05.2010 

Image Registration of Lung CT Scans for Monitoring Emphysema Progression  Marleen de Bruijne  01.11 2010 
2010  Martin Rehr 

01.09.2006 31.08.2010 

Grid-enabling Non-Computer Resources Brian Vinter 08.12.2010
2010  Karen Marie Lyng  

01.06.2008 23.03.2010 

Computerizing clinical practice guidelines
 
Finn Kensing  20.12 2010 
2011  James Avery 

01.04.2006 09.01.2011 

New Computational Methods in the quantum Theory of Nano-Structures Stig Skelbo  08.03.2011 
2011

Melanie Ganz

01.03.2008 28.02.2011

Automated Detection and Analysis of Calcified Deposits and their relation to Cardiovascular Diseases  Mads Nielsen  27.05.2011
2011  Holger Bock Axelsen 

01.05.2008 15.10.2011 

Reversible Computing and Programming  Robert Glück 15.11.2011 
2011  Alessandro Crimi

01.03.2008 28.02.2011

Statistical Analysis of Vertebral Shapes Mads Nielsen 16.11.2011 
2011 Rune Møllegaard Friborg 

01.05.2008 20.08.2011 

CSP for Executable Scientific Workflows Brian Vinter  29.11.2011 
2011  Eld Maj-Britt Olmütz Zierau    A Holistic Approach to Bit Preservation  Jakob Grue Simonsen  (formand for bedømmelsesudvalget) 12.12 2011 
2011  Anders Starce Henriksen  01.07.2008 30.09.2011 

 

Adversarial Models for Cooperative Interactions 

Andrzej Filinski  22.12.2011 
2012  Søren Hauberg 

01.11.2008 31.10.2011 

 

Spatial Models of Human Motion

Kim Steenstrup Pedersen 27.01.2012 
2012  Lasse Nielsen  01.08.2008 31.10.2011  Regular Experssions and Multiparty Session with Applications to Workflow Based Verification of User Interfaces Fritz Henglein   01.02.2012 
2012 Tom Hvitved

15.08.2007 30.11.2011

Contract Formalisation and Modular Implementation of Domain-Specific Languages 

Fritz Henglein

Co-supervisor:

Andrzej Filinski 

02.03.2012
2012 Gopal Karemore

01.03.2008 20.12.2011 

Computer Aided Breast Cancer Risk Assessment using Shape and Texture of Breast Parenchyma in Mammography 

Mads Nielsen 

12.03.2012
2012 Stefan Sommer

01.01.2009 31.12.2011 

Anatomy in Curved Space - Non-linear Modeling of Deformation and Shape for Medical Imaging 

Mads Nielsen and Francois Lauze 

28.03.2012
2012 Kersten Petersen

01.10.2008 30.09.2011 

Baysian Image Segmentation with Multiscale Feature Learning

Mads Nielsen and  Sami Brandt 

01.05.2012
2012 Sudhakar Tummala

10.02.2009 09.02.2012 

Quantification of Biomechanical Imaging Biomarkers

Mads Nielsen and    Erik B. Dam 

18.05.2012
2012 Morten Engell-Nørregaard

01.06.2009 31.05.2012 

Interactice Modelling and Simulation of Human Motion 

Kenny Erleben

30.08.2012
2012 Michael Kirkedal Carøe

01.04.2009 07.07.2012 

Design of Reversible Computing Systems 

Robert Glück 

07.09.2012
2012 Jonas Moll

01.10.2008  30.07.2012 

Prototyping Matters of Concern - On Productive Relations of Participatory Design and STS in Patient-Centered Healthcare

 

Finn Kensing 

23.10.2012
2012 Claus Jensen

 

Improving the efficiency of priority-queue structures Using data-structual transformations and number systems 

Stephen Alstrup (formand for udvalget) 

23.10.2012
2012 Rasmus Fonseca

01.09.2009 31.08.2012 

Reducing the Search Space in Protein Structure Prediction 

Pawel Winter 

29.10.2012
2012 Patrick Bahr

01.11.2009 31.10.2012 

Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting 

Fritz Henglein 

30.11.2012
2013 Esben Warming Pedersen

01.06.2009 04.11.2012 

Grab and Touch - Empirical Research on Tangible Computing and Touch Interaction 

Kasper Hornbæk 

04.02.2013
2013 Joselene Marques

01.01.2010 31.12.2012 

Osteoarthritis Imaging by Quantification of Tibial Trabecular Bone 

Mads Nielsen

Co-supervisor         Erik Dam

15.03.2013
2013 Dan Richter Jørgensen

01.08.2009 22.03.2013 

Degeneration of osteoarthritic cartilage: focal or global? 

Professor Mads Nielsen, Senior Researcher Erik B. Dam and Senior Researcher Martin Lillholm 

26.06.2013
2014 Adhish Prasoon

01.06.2010

27.03.2014

Deep Feature learning and Cascaded Classifier for Large Scale Data

Professor Mads Nielsen, Associate Professor Francois Lauze, Marco Loog

02.05.2014
2014 Lene Lillemark Erleben

01.03.2010

Shapes related to Longitudinal Studies of Disease

Professor Mads Nielsen, Assisstant Professor Sami S. Brandt, Senior Researcher Erik B.Dam

09.04.2014
2014 Lars Lau Raket

Functional Object analysis

13.06.2014
2014 Sarah Niebe

General nonconvex rigid body simulation

Associate Professor Kenny Erleben

07.03.2014
2014 Jens Petersen

Analysis of airways in computed tomography

Associate Professor Marleen de Bruijne, Asger Dirksen 12.05.2014
2014 Asja Fischer

Traning of restricted Boltzmann Machines

Professor Chrisitan Igel

25.08.2014