Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found
here
.
Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Student Projects
Open Projects
Ongoing Projects
Finished Projects
Research
Tools
Heroes of Computer Science
Help
Student Projects