Thomas Göthel Interview

Thomas Göthel works in the Software Engineering for Embedded Systems lab at the Department of Software Engineering and Theoretical Computer Science, Technische Universität Berlin.

His work focuses on modeling and formal verification of real-time systems and theorem proving, model checking.