next up previous
Next: Research grants Up: Curriculum vitae Previous: Professional activities


19 doctoral students directed to completion:

5 in USA:
John Beidler, Terry Countermine, David Schmidt, Robert Sebesta, Ivan Hal Sudborough.

14 at Copenhagen:
Lars Ole Andersen, Anders Bondorf, Niels Christensen, Hans Dybkjær, Carsten Gomard, Henning Makholm, Torben Mogensen, Kristoffer Holm Rose, Jens Peter Secher (coadvisor), Peter Sestoft, Sebastian Skalberg, Harald Søndergaard, Morten Heine Sørensen, Morten Welinder.

Copenhagen M.Sc. advisees who went on to PhDs at other universities:
Arne Glenstrup at Denmark's Technical University, Klaus Havelund at Denmark's Technical University, Thomas Jensen at Imperial College, Peter Møller Neergaard at Boston University, Mads Rosendahl at Cambridge, Mads Tofte at Edinburgh.

Aarhus M.Sc. advisee who who went on to a foreign PhD:
Flemming Nielson at Edinburgh.

26 Ph.D. or Habilitation external evaluations

Australia: University of New South Wales (Trevor Vickers).

Belgium: three in Leuven (Anne DeNiel, Dirk Dussart, Michael Leuschel).

Denmark: four in Aarhus (Torben Amtoft, Gudmund Frandsen, Bernd Grobauer, Jens Palsberg), one in Lyngby (Michael Hansen).

England: University of Bristol (Laura Lafave).

France: 9 in Paris (Vincent Balat, Charles Consel, Olivier Danvy, Alain Deutsch, Philippe Granger, Laurent Mauborgne, David Monniaux, Jan Stransky, Pierre Weis); one in Rennes (Francois Noel); one Ph.D. and one habilitation exam in Nancy (Jean-Yves Moyen and Jean-Yves Marion); and one habilitation exam in Rennes (Thomas Jensen).

Germany: habilitation exam at Universitaet Ilmenau (Karl-Heinz Niggl) and Dortmund (Markus Mueller-Olm).

Scotland: one at Glasgow (John Launchbury).

USA: one at Carnegie-Mellon (Nevin Heintze), one at Oregon Graduate Institute (Walid Taha).

D.Sc. evaluation

Klaus Grue, University of Copenhagen.


I have taught and/or developed a wide spectrum of computer science courses at the various universities, many without textbooks. Students have consistently rated my teaching from ``good" to ``excellent". I wrote three books primarily for teaching purposes.

Computability theory, formal languages and automata (introductory, advanced and research level), computational complexity, parsing theory, discrete structures, analysis of algorithms, category theory.
Programming Languages:
Compiler construction, concepts of programming languages, principles of program organization (elementary and advanced), denotational semantics, functional programming, introductory programming, abstract interpretation, model-checking and program analysis, program transformation.

Summer school lectures, 1 week or more