I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Student Projects

Master/Diploma Theses
Extension of a GPU-based solver for Parity Games
( PDF Description )
AvailableStatus: Available
Contact: luttenbe@model.in.tum.de
Supervisor: Michael Luttenberger
Advisor: Javier Esparza
Higher-Order Model-Checking and Underapproximate Models of Concurrent Recursive Programs
( PDF Description )
AvailableStatus: Available
Contact: broadben@in.tum.de
Supervisor: Christopher Broadbent
Advisor: Javier Esparza
Kleene Theorem generalized to Regular Word Transformations
( PDF Description )
AvailableStatus: Available
Contact: durandga@in.tum.de
Supervisor: Antoine Durand-Gasselin
Advisor: Javier Esparza
Provably Correct Implementations of Algorithms for Elliptic Curve Cryptography using Isabelle/HOL
AvailableStatus: Available
Contact: luttenbe@model.in.tum.de
Supervisor: Michael Luttenberger
Advisor: Javier Esparza