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

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

Zimmer E111 (alt: D1.11)
Tel: +49 89 2180 9315
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

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.
Relativizing Small Complexity Classes and their Theories with Stepen A. Cook and Phuong The Nguyen. CSL 2007 LNCS 4646 (2007). (Bib, slides; longer version (ps))
Propositional Logic for Circuit Classes with Arnold Beckmann. CSL 2007 LNCS 4646 (2007). (Bib, slides)
...more publications, List of publications, DBLP -- academic CV

Teaching

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-03-04 12:21:31 $