Klaus T Aehlig

Google Germany GmbH
Dienerstr. 12
80331 München

(photo)

In November 2011, I joined google Munich. Before that, I was working in academia (former affiliations, CV). This page is about my academic activities. For anything not related to my work for google, please use my private email address a e h l i g @l i n t a .d e.
(gpg key)

Recent Publications and Drafts

Resource Aware ML. with Jan Hoffmann and Martin Hofmann. Tools paper at CAV 12. Bib (online demo, code)
Casimir Forces via Worldline Numerics with Helge Dietert, Thomas Fischbacher, and Jochen Gerhard. arXiv:1110.5936
Multivariate Amortized Resource Analysis with Jan Hoffmann and Martin Hofmann. Popl 2011. (code, newer release: 2011, 2012, online demo, bib)
Parallel Time and Proof Complexity (pdf) Habilitationsschrift in Informatik (theory group); submitted documents, certificate. Committee was Martin Hofmann, Wilfried Buchholz, Stephen A Cook.
...more publications, List of publications, DBLP

Teaching

currently none
...former teaching, Course and other notes

Misc

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

$Date: 2012/05/18 06:46:50 $