Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

Congratulations to Michael on passing his PhD viva!

Many congratulations to Michael Herzberg who passed his PhD viva with minor corrections!

Michael’s PhD thesis entitled “Formal Foundations for Provably Safe Web Components” presents a formally verified proposal for improving web components. During his PhD, Michael published three conference publications [1–3].

Well done Michael and good luck in your future!!!


1. Brucker, A. D. and Herzberg, M. “On the Static Analysis of Hybrid Mobile Apps: A Report on the State of Apache Cordova NationInternational symposium on engineering secure software and systems (essos) (2016): 72–88. doi:10.1007/978-3-319-30806-7_5, URL:

2. Brucker, A. D. and Herzberg, M. “A Formal Semantics of the Core DOM in Isabelle/HOLThe 2018 web conference companion (www) (2018): 741–749. doi:10.1145/3184558.3185980, URL:

3. Brucker, A. D. and Herzberg, M. “A Formally Verified Model of Web ComponentsFormal aspects of component software (facs) (2020): doi:10.1007/978-3-030-40914-2_3, URL: