Klaus T Aehlig

(photo)

I work in industry. I was working on Bazel and on ganeti. Before that, I was working in academia (former affiliations, CV). This page is about my academic activities. For anything not related to my industry work, please use my private email address aehlig@linta.de. (gpg key: 991F1EC2)

Latest Publications

Resource Aware ML. with Jan Hoffmann and Martin Hofmann. Tools paper at CAV 12. Bib (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)
A journal version appeared in ACM TOPLAS.
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

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

$Date: 2020/07/14 11:42:43 $