Until March 1999, assistant professor in
the TOPPS group
at the Department of Computer Science, University of Copenhagen (DIKU).
I now work at IT Practice.
Part of Ph.D. work done at the Faculty of Informatics, Catholic University of Nijmegen (KUN).
Ph.D. supervisors professor Neil Jones. at DIKU
and professor Henk Barendregt at KUN.
Main interests:
- Program analysis and transformation:
deforestation, partial evaluation, supercompilation, tupling,
partial deduction, termination, theory of program transformers.
- Lambda-calculus and type theory:
reduction, weak and strong normalization, the Curry-Howard Isomorphism.
- Software engineering:
the Year 2000 problem, industrial-scale program analyses and transformations,
object-oriented design and analysis, Client/Server technology.
My
publications are listed on a separate page.
Participation in research projects:
DIKU Undergraduate/Graduate course:
DIKU Graduate/Ph.D. courses:
Summer school courses, and other short courses:
Supervision of DIKU M.Sc.students:
- Michael Bierman and Gurli Olstrøm: The Euro Problem and Electronic Data Interchange (in Danish) 1998.
A Short version (in Danish) was printed in ComputerWorld.
- Morten Krog and Pernille Rasmussen: Positive Supercompilation 1998.
- Peter Møller Neergaard: Towards Weak and Strong Normalization of First Order Logic 1998.
A short version has been submitted for publication.
- Erik Michael Florentin: Modal Logic in the Curry-Howard Isomorphism 1998.
- Inge Li Gørtz and Signe Schmidt Nielsen: Normalization and Functional Interpretations 1999.
A short version is in preparation.
- Jens Peter Secher: Perfect Supercompilation (M.Sc.thesis) 1998.
A Short version has been published at PSI '99.
- Kim Michael Mortensen and Sten Bo Andersen: On Illative Combinatory Logic 1999.
- Pernille Rasmussen: Theory and implementation of Tupling (M.Sc.thesis) 1999.
- Erik Michael Florentin: Modal Logic and the Curry-Howard isomorphism (M.Sc.thesis) 1999.
A short version is in preparation.
- Peter Møller Neergaard: Weak and Strong Normalization, K-redexes, and
First-Order Logic (M.Sc.thesis) 1999.
- Inge Li Gørtz and Signe Schmidt Nielsen: Weak and Strong Normalization and Permutative Inner Interpretations 1999.
Supervision of DIKU Ph.D.students:
- Jens Peter Secher: Theory and Practice of Unfold/Fold Transformations 1999-2002.
Some useful links for students and others:
Start-up companies:
- Hafnium ApS
(a Copenhagen-based company specializing in knowledge-intensive applications of programming
language technology that has developed a Year 2000 conversion tool called AnnoDomini).
Grants:
Member of program committees:
Organization of events:
Of papers:
- For numerous international conferences.
- For various international journals.
Of research proposals:
- For the Sweedish research council for engineering sciences.
Interviews:
- On the year 2000 problem, Hovedområdet, natural sciences newspaper, Copenhagen University (Spring 1998).
- On the year 2000 problem, Copenhagen University radio (Fall 1998).
- On the year 2000 problem, Hardisken, Danish national radio program (Fall 1998).
Popular science talks:
Degrees (University of Copenhagen, Department of Computer Science, unless otherwise stated):
- 1998-1999 Universtity Degree in Teaching
- 1994-1997 PhD in Computer Science
- 1991-1994 MSc in Computer Science
- 1987-1991 BSc in Mathematics (Department of Mathematics)
- 1987-1990 BSc in Computer Science
Posititions (University of Copenhagen, Department of Computer Science, unless otherwise stated):
- 1999-today Project manager (Terma Elektronik AS)
- 1999-today External Associate Professor
- 1998-1999 Software Engineer & IT-consultant (Hafnium ApS)
- 1998-1999 Assistant Professor
- 1997-1997 Postdoc
- 1994-1994 Research assistant
- 1992-1992 Teaching assistant (Department of Mathematics)
- 1991-1993 Teaching assistant
Long and short term visits:
- S. Hirokawa, Kyushu University, Japan (April 1994)
- M. Hagiya, Tokyo University, Japan (April 1994)
- V.F. Turchin, City College of New York, US (September 1994)
- H. Barendregt, Catholic University of Nijmegen (September 1994-February 1995)
- S. Abramov, Russian Academy of Sciences, Russia (October 1995)
- G. Barthe, CWI, Holland (July 1996)
- O. Danvy, Brics, Århus, Denmark (Spring 1998)
- K.S. Larsen, IMADA, Odense, Denmark (Summer 1998)
- O. de Moor, Oxford University (Winter 1998)
Participation in conferences etc:
- ACM Symp. on Partial Eval. and Semantics-Based Prog. Manipulation (PEPM) 1993
- Conference on Functional Programming and Computer Architecture (FPCA) 1993
- Static Analysis (WSA) 1993
- Theoretical Aspects of Computer Software (TACS) 1994
- Programming Languages and Systems (ESOP) 1994
- Trees in Algebra and Programming (CAAP) 1994
- European Summer School in Logic, Language, and Information (ESSLLI) 1994
- Algebraic and Logic Programming (ALP) 1994
- Programming Language Implementation and Logic Programming (PLILP) 1994
- Static Analysis (SAS) 1995
- Typed Lambda Calculi and Applications (TLCA) 1995
- Workshop on Termination (WOT) 1995
- International Symposium on Logic Programming (ILPS) 1995
- Tbilisi Symposium on Logic, Language, and Computation (TSLLC) 1995
- Dagstuhl Seminar on Partial Evaluation 1996
- Trees in Algebra and Programming (CAAP) 1996
- Programming Languages and Systems (ESOP) 1996
- Static Analysis (SAS) 1996
- Programming Languages: Implementations, Logics, and Programs (PLILP) 1996
- Algebraic and Logic Programming (ALP) 1996
- ACM Symposium on Principles of Programming Languages (POPL) 1997
- ACM Workshop on Continuations (CW) 1997
- Marktoberdorf Sommer school on Computational Logic 1997
- Copenhagen Logic Summer School 1997
- Dagstuhl Seminar on Applications of Tree Automata in Rewriting,
Logic and Programming 1997.
- Dagstuhl Seminar on Programs: Improvements, Complexity, and Meanings 1998.
- Mathematics of Program Construction (MPC) 1998.
- DIKU Summer School on Partial Evaluation 1998
Miscellaneous interests:
Last updated by
Morten Heine B. Sørensen, November 11, 2000.
