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!!!
References
[1]
A. D. Brucker and M. Herzberg, “On the static analysis of hybrid mobile apps: A report on the state of apache cordova nation,” in International symposium on engineering secure software and systems (ESSoS), J. Caballero and E. Bodden, Eds. Heidelberg: Springer-Verlag, 2016, pp. 72–88. doi: 10.1007/978-3-319-30806-7_5.
[2]
A. D. Brucker and M. Herzberg, “A formal semantics of the Core DOM in Isabelle/HOL,” in The 2018 web conference companion (WWW), 2018, pp. 741–749. doi: 10.1145/3184558.3185980.
[3]
A. D. Brucker and M. Herzberg, “A formally verified model of web components,” in Formal aspects of component software (FACS), S.-S. Jongmans and F. Arbab, Eds. Heidelberg: Springer-Verlag, 2020. doi: 10.1007/978-3-030-40914-2_3.