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.