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
professors
secretaries
scientific staff
associate members
affiliated scientists
former professors
former staff
former students
Publications
Student Projects
Research
Tools
Heroes of Computer Science
Help
People
professors
Univ.-Prof. Dr. Dr. h.c. Javier Esparza
Univ.-Prof. Debarghya Ghoshdastidar, PhD
Univ.-Prof. Dr. Jan Kretinsky
Prof. Dr.-Ing. Thomas A. Runkler