[Logo of E] [Logo of DHBW]

Information for Student Projects

Stephan Schulz

This page collects various useful information to get you started on your thesis or research project. Most of the theses I supervise are within the E project. E ist a theorem prover for (many-sorted) first-order logic with equality.

Open topics

On Writing

Useful links

DHBW Stuttgart, Prof. Dr. Stephan Schulz