Achim is a full Professor in Computer Science (Chair in Cyber Security) and Head of the Cybersecurity Group at the University of Exeter, UK, and a leading expert in secure software engineering, cybersecurity, and formal methods. He is the head of the Cybersecurity Group (Research Area) at Exeter and leads the Software Assurance & Security Research Team.. Currently, he is a member of the advisory committee of Anzen Technology Systems Ltd, helping them to realize their vision in providing post-quantum safe technology to their customers. From December 2015 to May 2019, he was a Senior Lecturer at the The University of Sheffield, UK.

Until December 2015, Achim was a Research Expert (Architect), Security Testing Strategist, and Project Lead in the Global Security Team of SAP SE, where, among others, he defined the risk-based security testing strategy of SAP. This strategy combines static, dynamic, and interactive security testing methods and integrates them deeply into SAP’s Secure Software Development Life Cycle. He was involved in rolling out static and dynamic application security testing tools to the world-wide development organization of SAP. Moreover, he represented SAP in OCL standardization process of the OMG.

His research interests cover broad areas of Formal Methods (Verification, Computational Logic), Cyber Security (including Privacy, Information Security, Software Security, Hardware Security), and Software Engineering (e.g., Program Verification, Programming or Specification Language Semantics). He is interested in both, theoretical/foundational and applied research and innovation. His work experience in both industry and academia reflects his unique combination of applied and theoretical work.