Niels H. Christensen Ph.D., computer science

[ DIKU ] [ TOPSS ] [ Ange Optimization ]

I have a Ph.D. from DIKU (Dept. of Computer Science at University of Copenhagen), where I was associated with the TOPPS research group. I am currently employed by Ange Optimization.

My academic interests have included (among other things)

• Digital preservation
• Domain-specific languages
• Computational complexity

My Master's Thesis was on Levin's Optimal Search Theorem and Blum's Speedup Theorem. The work was supervised by Professor Neil D. Jones. I later became part of a project the goal of which was to apply partial evaluation to a large body of industrial software. I have also been working on binding-time analysis and improvements of the FSpec partial evaluator for Fortran. This was joint work with Robert Glück.

My Ph.D. project concerned the systematic use of domain-specific languages in an industrial setting.

Selected papers

A formal analysis of recovery in a preservational data grid ([pdf])
Presented at MSST 2006.

Preserving the bits of the Danish Internet ([pdf])
Presented at the 5th International Workshop on Internet Archiving (IWAW05).

Towards format repositories for web archives ([pdf])
Presented at the 4th International Workshop on Internet Archiving (IWAW04).

Offline Partial Evaluation can be as Accurate as Online Partial Evaluation ([BibTex])
With Robert Glück. Appears in ACM Transactions on Programming Languages and Systems.

Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All ([BibTeX,ps.gz])
With Robert Glück and Søren Laursen. Perspectives of System Informatics, LNCS 1755, pp. 80-92, Springer, 2000.

Domain-specific languages in software development (and the relation to partial evaluation) ([BibTeX,pdf,ps.gz])
Ph.D. thesis, DIKU, 2003.

Partiel Evaluering i et Komplekst, Industrialt System (Partial Evaluation in a Complex Industrial System),
Project report, The Danish Center for IT Research, 2000.

Levin, Blum and the Time Optimality of Programs ([BibTeX,ps.gz])
Master's Thesis, DIKU, University of Copenhagen,1999.

Partial Evaluation of an Imperative Language - Design and Implementation
With Søren Laursen. Student Report, DIKU, University of Copenhagen, 1998

Implementation of Levin's Optimal Search Theorem - First Steps ([ps])
Student Report, DIKU, University of Copenhagen, 1997

Contact information