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). This
page is about my academic activities. For anything not related to my
work for google, please use my private email address aehlig@linta.de.
(gpg key)
Recent Publications and Drafts
-
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,
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 -- academic
CV
Teaching
Misc
$Date: 2011/11/19 18:39:54 $