Stephan Schulz is a German computer scientist working in the field of automated reasoning. He is best known for the development of the high performance E equational theorem prover, which won the CNF division of the CADE ATP System Competition in 2000. It has been among the strongest systems in the competition for several years, coming second in 2008. In 2002, Schulz was recognized by the Florida Artificial Intelligence Research Society with the best paper award for his work A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae.
Together with Geoff Sutcliffe, Schulz founded and has been organizing the ES* Workshop series, a venue for presentation and publishing of practically oriented Automated Reasoning research. He has been significantly involved with the IWIL Workshop series on implementations of logics, and is a member of the Steering Committee of the International Workshop on First-Order Theorem Proving.
|
