Professional Activities

Advisory Roles

• Member of the Advisory Board of Anzen Technology Systems Limited (Technology and Security Adviser).
• Technical expert and mentor to start-ups that are supported by the NATO DIANA Accelerator program.

Steering Committee Memberships

• South West Cyber Security Cluster
• BSides Exeter
• International and Business Outreach Programme at CSE Connect (A National Cyber Security Education Network)
• Steering Committee of the International Conference on Tests and Proofs

Professional Activities and Achievements

• Expert at the European Commission (EU).
• Member of the EPSRC Peer Review College.
• Member of the EPSRC Future Leadership Peer Review College.
• Member of the Tests and Proofs (TAP) conference steering committee.
• Speaker on professional security conferences such as OWASP AppSecEU, BSides, devsec().

Visiting Positions and Research Stays

• Visiting academic The University of Sheffield, UK.
• Visiting academic the University of Liverpool, UK.
• Research visit at the LMF, University Paris-Saclay, France.

PhD Examiner

I am regularly acting as external PhD examiner in my areas of expertise (e.g., cyber security, formal methods, verification, software engineering).

Journal Reviews and Editorships

He is a member of the Editorial Review Board of the Int. Journal of Secure Software Engineering (IJSSE), and reviews regularly for international journals and conferences, such as:

• ACM Transactions on Software Engineering and Methodology (TOSEM)
• AI Communications: The European Journal on Artificial Intelligence
• Enterprise Modelling and Information Systems Architectures (EMISAJ)
• Formal Aspects of Computing
• IEEE Software
• IEEE Transaction on Cloud Computing (TCC)
• IEEE Transactions on Dependable and Secure Computing (TDSC)
• IEEE Transactions on Knowledge and Data Engineering (TKDE)
• IEEE Transactions on Reliability (TR)
• IEEE Transactions on Services Computing (TSC)
• IEEE Transactions on Software Engineering (TSE)
• Information Processing Letters (IPL)
• International Journal for Information Security
• International Journal of Secure Software Engineering (JSSE)
• International Journal of Information Security (IJIS)
• International Journal on Advances in Security (IJSA)
• Journal of Automated Reasoning (JAR)
• Journal of Computer Security (JCS)
• Journal of Formalized Reasoning (JFR)
• Journal of Network and Computer Applications (JNCA)
• Journal of Object Technology (JOT)
• Journal of Systems and Software (JSS)
• Science of Computer Programming (SCICO)
• Software and Systems Modeling (SOSYM)
• Software: Practice and Experience
• Software Quality Journal (SQJO)
• Software Tools for Technology Transfer (STTT)