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


Physical address: building E1 5, room 608


sturm@mpi-inf.mpg.de ­­­­­• PGP • S/MIME

Thomas Sturm is a CNRS Research Director at the Lorraine Research Laboratory in Computer Science and its Applications in Nancy, France.  He is also an associated senior researcher at MPI Informatics and a faculty member (Privatdozent) at the Department for Computer Science of Saarland University in Saarbrücken, Germany.

Short Bio

I studied computer science at the University of Passau, Germany, where I held positions as a researcher and faculty member (Privatdozent) after finishing my studies in 1995. In 2008 I was awarded a Ramón y Cajal Fellowship by the Spanish Ministry of Science and Innovation and moved to the University of Cantabria in Santander. In 2011 I joined the MPI für Informatik in Saarbrücken, Germany, where I headed a research group for Arithmetic Reasoning. In 2016 I was appointed as a research director at CNRS.

I worked as a visiting researcher at various international institutes and research facilities including SRI International in Menlo Park, Zuse Institute Berlin, Fujitsu Laboratories Japan, Lomonosov Moscow State University, and Forschungs­zentrum Jülich.

External Webpage