Klaus T Aehlig, former affiliations
November 2011 through January 2020:
March through October 2011:
University of Southampton
October 2003 through Februar 2011:
am Institut für Informatik
und am Mathematischen Institut
September 2006 through February 2009:
Department of Computer Science,
January through May 2007:
University of Toronto.
(Visiting Stephen A. Cook, supported by a
January trough December 2004:
supported by the German Academic Exchange Service)
Graduiertenkolleg Logik in der Informatik.
(member 2000-2003 and afterwards associated member till its end)