[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


We are more interested in the quality of your content than in the exact details of the format, but we do have a few requirements (this is not comprehensive - if in doubt check the DHBW pages).


Useful links

DHBW Stuttgart, Prof. Dr. Stephan Schulz