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

Software Assurance & Security Made in Sheffield

After eight years of innovating and driving security at SAP SE and helping the SAP development organization to become great in software security (guys at SAP, you are doing a great job!), it is time for new challenges: I am making a “double move”, first, from industry to academia and, second, from Germany to the UK.

Today, I am starting a “new life” as Associate Professor (Senior Lecturer) at The University of Sheffield, heading the Software Assurance & Security Research Team. While I am looking forward to having more time for basic research, e.g., working on theoretical and formal topics, I do not want to lose ties to industry. Thus, also applied research and industrial applications are an important part of my research agenda.

The particular strength of my team is the deep understanding of theory and practice and, thus, being able to bridge the gap between theory and practice as well as between industry and academia. We will work on all kinds of aspects of developing secure, reliable, and resilient software (and hardware) systems.

Let’s stay in touch, and I am looking forward to collaborations opportunities with all of you – regardless if you are working in industry or academia and regardless if we already worked together or not!

Welcome to the blog of the Software Assurance & Security Research Team at the University of Exeter. 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 ai android apidesign appsec bitcoin blockchain bpmn browser browserextensions browsersecurity bug certification chrome composition cordova dast devops devsecops dom dsbd efsm epsrc event extensions fixeffort floss formaldocument formalmethods funding hol-ocl hol-testgen humanfactor hybridapps iast industry internetofthings iot isabelle/hol isabelledof isadof latex logic maintance malicous mbst mobile mobile apps modelinference modeling monads monitoring msc ocl ontology opensource owasp patches pet phd phdlife phishing policy protocols publishing reliability research safelinks safety sap sast sdlc secdevops secureprogramming security securityengineering securitytesting semantics servicecomposition skills smartcontract smartthings softwareeinginering softwaresecurity softwaresupplychain solidity staff&positions statemachine studentproject tcb test&proof testing tips&tricks tools transport tuos uk uoe upgrade usability verification vulnerabilities vulnerableapplication webinar websecurity

Search


blog whole site