Thomas Höhl

Thomas Hoehl
Office: S2|02 E321
Phone: +49 6151 16-25256
Fax: +49 6151 16-25251

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt


GPG-Key: 5D2AD743, Fingerprint: 6242 FAA5 FCE1 DE05 7691 994F EAFF 69E0 5D2A D743.

Short Bio

Before joining the MAIS group as a Ph.D. candidate in the Software-Factory 4.0 project, I obtained my B.Sc. and M.Sc. degrees in computer science at Technische Universität Darmstadt. In my studies, I have focused on the use of formal methods for program verification. In my Bachelor thesis, I extended the type inference algorithm of Cassandra by a constraint generation technique. Afterwards, I formalised Cassandras type system, security condition, and the soundness proof in Isabelle/HOL. In my Master thesis, I explored the formalisation of parallel design patterns and how to exploit them for formal verification. My current focus is to reduce the conceptual complexity of the program verification of concurrent programs

Research Interests

  • Formal methods
  • Machine-assisted and automated theorem proving
  • Program semantics and analyses
  • Concurrency


These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.



  • Thomas Höhl. Exploiting Selected Design Patterns in Modular Reasoning about C Programs. Master's Thesis, TU Darmstadt, 2018.
    BibTeX entry ]


  • Thomas Höhl. Proving the Soundness of Cassandra's Security Type System in Isabelle/HOL. Studienarbeit, TU Darmstadt, 2017.
    BibTeX entry ]


  • Thomas Höhl. Computing Security Certificates of Android Applications in Cassandra. Bachelor's thesis, TU Darmstadt, 2016.
    BibTeX entry ]


Last modified on 27 March 2020.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang