Automation of Logic

PD Dr. Thomas Sturm

Max Planck Institute for Informatics
Saarland Informatics Campus
Building E1 4
66123 Saarbrücken

+49 681 9325-2920, fax -2999

sturm@mpi-inf.mpg.dePGP, S/MIME

About Thomas Sturm

Thomas Sturm is a CNRS Research Director at LORIA Nancy, France. He is also a senior researcher at MPI für Informatik and a faculty member (Privatdozent) at the Department for Computer Science of Saarland University.

External Webpage