Klaus T Aehlig

Mathematisches Institut
Universität München
Theresienstraße 39
80333 München
GERMANY

Zimmer 421
Tel: +49 89 2180 4418
E-mail: a e h l i g @m a t h .l m u .d e
Sprechstunde: Mo 15-16

and: Institut für Informatik
Universität München
Oettingenstraße 67

Zimmer E105
Tel: +49 89 2180 9864
E-mail: a e h l i g @i f i .l m u .d e

(gpg key), (photo)

...other/former affiliations

Recent Publications and Drafts

Multivariate Amortized Resource Analysis with Jan Hoffmann and Martin Hofmann. submitted. (code, online demo)
Parallel Time and Proof Complexity (pdf) Habilitationsschrift in Informatik (theory group); submitted documents, certificate. Committee was Martin Hofmann, Wilfried Buchholz, Stephen A Cook.
A Compiled Implementation of Normalization by Evaluation with Florian Haftmann and Tobias Nipkow. TPHOLs 2008. Springer LNCS 5170 (2008), 39-54. (Bib, slides);
Isabelle theories at the Archive of Formal Proofs (Bib).
On the computational complexity of cut-reduction with Arnold Beckmann. LICS 2008. (Bib)
Full technical details available as Swansea University Computer Science technical report CSR15-2007; arXiv:0712.1499 (slides)
A journal version appeared Annals of Pure and Applied Logic 161(6), 2010. (Bib)
A somewhat related lecture on proof notations was given at the Fall School in Logic 2008.
...more publications, List of publications, DBLP -- academic CV

Teaching

Summer 2010
- Übungen zu Lineare Algebra
Winter 2009/10
- Übungen zu Lineare Algebra
Sommer 2009
- Kodierungstheorie (mit Martin Hofmann)
- Übungen zu Diskrete Strukturen
Fall 2008
- Logic and Semantics
...former teaching, Course and other notes

Misc

My travel plans.
Various small programs.
Some random facts about myself
There are photos of myself on the web.

$Date: 2010/07/28 14:21:32 $