Klaus T Aehlig, other/former affiliations
Wissenschaftlicher Assistent
am Mathematischen Institut
der
Ludwig-Maximilians-Universität
München
September 2006 through February 2009:
Department of Computer Science,
Swansea University.
January through May 2007:
Department of
Computer Science,
University of Toronto.
(Visiting Stephen A. Cook, supported by a
DFG grant.)
January trough December 2004:
Oxford University
Computing Laboratory.
(visiting
Luke Ong,
supported by the German Academic Exchange Service)
Graduiertenkolleg Logik in der Informatik.
(former member and afterwards associated member till its end)