[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 within the E project. E ist a theorem prover for (many-sorted) first-order logic with equality.

Open topics

You can find the currently open research topics in this PDF document (in German language). Feel free to approach me with your own suggestions. However, I'm probably not the best supervisor for cell phone app development projects, and I'm almost certainly not the right supervisor for anything not running on open platforms (like Linux, Unix, BSD, \ldots) using Free Software tools.

Useful links

DHBW Stuttgart, Prof. Dr. Stephan Schulz