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

Welcome, Michael Herzberg!

I am happy to announce that Michael Herzberg will join the Software Assurance & Security Research Team as a PhD student.

Michael studied computer science at the Karlsruhe Institute of Technology (KIT) in Germany and finished his studies there with a thesis on “Static Code Analysis for Securing Cordova Application.” During his PhD studies, he will apply formal modeling and verification techniques to (software) vulnerabilities.