Post-doc at IRISA / INRIA Rennes in the Lande project PhD in computer science Danish address: Stadion Allé 16, 5.sal 8000 Aarhus C Denmark

My primary research interests are programming languages and their implementation: program transformations, program analysis and programming language semantics.

I have my PhD degree from BRICS, Department of Computer Science, University of Aarhus.
My supervisor was Olivier Danvy.

In the spring of 2006 I visited Patrick Cousot's group at the Département d'Informatique at Ecole Normale Supérieure in Paris.

In the spring semester of 2005 I visited professor Norman Ramsey and the Triforce Group at the Division of Engineering and Applied Sciences at Harvard University as part of my studies.

I used to attend the pi-lambda seminars, the meetings of the Programming Languages and Formal Models group.

I am the happy owner of a semantics pillow and I have a genuine interest in mustard watches.

Jan Midtgaard
Transformation, Analysis, and Interpretation of Higher-Order Procedural Programs
PhD Dissertation, Department of Computer Science, University of Aarhus, 2007

Mads Sig Ager, Olivier Danvy, Jan Midtgaard
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
In Theoretical Computer Science, volume 342, issue 1, pp 149-172, © Elsevier 2005.
Extended version available as BRICS technical report RS-04-28.
Earlier version presented at the APPSEM II workshop, Talinn, Estonia, 2004.

Jan Midtgaard
From Implicit to Explicit Contexts in Operational Semantics
PhD progress report, Department of Computer Science, University of Aarhus, 2004
Available upon request.

Mads Sig Ager, Olivier Danvy, Jan Midtgaard
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
In Information Processing Letters, volume 90, number 5, pp. 223-232, © Elsevier 2004.
Extended version available as BRICS technical report RS-04-3.

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
From Interpreter to Compiler and Virtual Machine: a Functional Derivation
BRICS technical report RS-03-14.

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
A Functional Correspondence between Evaluators and Abstract Machines
In Dale Miller, editor, Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), pp 8-19, © ACM Press 2003.
Available as BRICS technical report RS-03-13.