Invited Visit of Achim Brucker

Dr. Achim Brucker is a full Professor in Computer Science (Chair of Cybersecurity) at the University of Exeter, UK and a leading expert in secure software engineering, cyber security, and formal methods. He is the head of the Cybersecurity Group at Exeter and leads the Software Assurance & Security Research Team. From December 2015 to May 2019, he was a Senior Lecturer and Consultant at the Computer Science Department of The University of Sheffield, UK.

Achim will visit the LMF in the period from the 8th of May to the 8th of June. Besides his collaborations in the field of Ontology-based Modelling and Formal Software Engineering, three major presentations are planned:

  • a keynote seminar on Computer Security on 16 May;
  • a talk on Neural Network Verification in the GT Formal AI;
  • a workshop on theoretical and practical Computer Security to the end of his visit, addressing PhD students and postdocs.