Stephan Schulz schulzs

I am a professor of computer science at Baden Wuerrtemberg Cooperative State University Stuttgart (DHBW Stuttgart).

13 followers · 0 following

http://www.dhbw-stuttgart.de/~sschulz

Highlights

Organizations

schulzs/README.md

I'm, as always, working on the automatization of reasoning, in particular formal mathematical reasoning. In between, I teach theoretical computer science, and currently, it seems, some math and programming (in one unified lecture series, which will be wild!).

Popular repositories Loading

europroofnet.github.io europroofnet.github.io Public

Forked from EuroProofNet/europroofnet.github.io

Sources of the EuroProofNet web site.

Ruby
schulzs schulzs Public

Adding personal information

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.