Stephan Schulz

Professor Dr. rer. nat. Stephan Schulz is affiliated with DHBW Stuttgart (Faculty of Technology, Department of Computer Science). He leads student projects in automated reasoning and teaches courses like Formal Languages and Automata, Compiler Construction, and Logic and Foundations of Computer Science (2014-2025). His research focuses on integrating high-performance inference mechanisms and machine learning techniques for robust automated reasoning systems.

He is the lead developer of E, a high-performance theorem prover for first-order and monomorphic higher-order logic with equality. E has dominated the CASC competition and is used for formal verification, automated deduction, and knowledge representation tasks. The system supports TFF/TH0 syntax and provides semi-readable proof objects with answer substitutions.

• Current PC roles: 15th IWIL (2024) co-chair, 25th LPAR (2024) member, 12th IJCAR (2024) member, Quantify-24 member, 9th PAAR (2024) member
• Major contributions: E theorem prover (versions 1.2-3.2), integration of SInE preprocessing, lambda-free higher-order logic support