Patrick Metzler


Dept. of Computer Science (Fachbereich Informatik)
TU Darmstadt
Hochschulstr. 10
64289 Darmstadt GERMANY




S2|02 E219 (Piloty building)

+49 6151 16-25227


About me

I am a PhD candidate at DEEDS, working on model checking for concurrent systems.

Before starting my PhD, I obtained a Master's and Bachelor's degree in computer science from TU Darmstadt. During my studies at TU Darmstadt and ISEP (Paris), I focused on mathematical logic, formal methods, and security. My Master's thesis is concerned with model checking for concurrent systems. In my Bachelor's thesis, I investigated timing channels and program transformations as counter measures, which lead to this publication.

Research interests

  • formal methods
  • model checking
  • program analysis

Student projects

If you are interested in a student project on one of my research topics, you are welcome to contact me for possible collaborations (thesis, HiWi position, lab, Bachelorpraktikum, ...).


Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
Patrick Metzler, Habib Saissi, Péter Bokor and Neeraj Suri
to appear at ASE, 2017 [pdf]

Efficient verification of program fragments: Eager POR
Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse and Neeraj Suri
Proceedings of ATVA, 2016 [pdf]

Identifying and Utilizing Dependencies Across Cloud Security Services
Ahmed Taha, Patrick Metzler, Ruben Trapero, Jesus Luna, Neeraj Suri
Asia CCS, 2016

Lazy POR for the Verification of Distributed Programs
Patrick Metzler
Master's thesis, Technische Universität Darmstadt, 2014 [pdf]

Tool Support for Step-Wise Analysis and Mitigation of Timing Channels in Java
Patrick Metzler
Bachelor's thesis, Technische Universität Darmstadt, 2013 [pdf]


A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang