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 modelling and verification techniques to (software) vulnerabilities.

Welcome to the blog of the Software Assurance & Security Research Team at The University of Sheffield. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.

You can also follow us on Twitter: @logicalhacking.

Categories

Archive

Tags

academia appsec cordova dast devops devsecops event fixeffort floss hol-ocl hol-testgen iast industry isabelle/hol logic mbst mobile modelling monads ocl opensource owasp research sap sast sdlc secdevops security securityengineering securitytesting staff&positions test&proof testing tips&tricks tools tuos uk verification webinar

Search


blog whole site