Thomas Has Moved

I have left Universität Passau at the end of December 2008. Since March 2011 you can find me here:

Dr. Thomas Sturm
Max-Planck-Institut für Informatik
RG 1: Automation of Logic
Campus E1 4
66123 Saarbrücken, Germany