Stephan Schulz

Stephan Schulz is a Professor at the Baden-Wuerttemberg Cooperative State University Stuttgart (DHBW Stuttgart) in the Faculty of Engineering, where he serves as the Program Director for Computer Science. His office is located in room B 3.14 at Lerchenstraße 1, 70174 Stuttgart, Germany. Professor Schulz is a leading researcher in automated reasoning and theorem proving, with extensive experience teaching computer science courses including Formal Languages and Automata, Logic and Foundations of Computer Science, Compiler Construction, and Algorithms.

Professor Schulz's primary research interest lies in automated reasoning, specifically developing efficient algorithms and intelligent search control for automatic theorem proving. His long-term goal is integrating high-performance inference mechanisms with machine learning techniques to create robust reasoning systems across diverse domains. He is the principal developer of the E Theorem Prover, a high-performance system for full first-order logic with equality that has performed exceptionally well in international competitions like CASC.

His recent publications demonstrate a clear trend toward extending theorem proving capabilities to higher-order logic while maintaining performance. Schulz has made significant contributions to practical aspects of automated reasoning, including watchlist implementations, contradiction detection in large theories, and the integration of machine learning techniques to improve search heuristics in theorem provers.

Professor Schulz has received multiple prizes for his work on the E Theorem Prover, though specific award names are not detailed in the available information. His contributions to the field have been recognized through leadership roles in major conferences.

Professor Schulz actively mentors students through project work (Studienarbeiten) at DHBW Stuttgart and has taught numerous courses throughout his career at institutions including the University of Miami, Mona Institute of Applied Sciences, Universität Hildesheim, and INRIA/MPI. While specific grant information isn't provided, his sustained development of the E Theorem Prover suggests ongoing research support.

Professor Schulz is significantly involved with several workshop and conference series including the International Workshop on the Implementation of Logics (IWIL), Practical Aspects of Automated Reasoning (PAAR), and Artificial Intelligence and Theorem Proving (AITP). His current roles include PC co-chair for the 15th IWIL (2024) and 9th AITP (2024), and PC member for multiple other conferences including the 25th LPAR (2024) and 12th IJCAR (2024).