Dr Antonios Gouglidis

Senior Lecturer

Research Overview

Antonio's research aims at the integration between theoretical and applied security towards designing secure systems and protecting them. He has a background in theoretical informatics and experience working in the industry. This combination is prerequisite good basis for conducting notable research, while proposing practical solutions. Although he has an interest in several aspects of security, he is currently conducting research in the areas of access control models, policies and systems, Cloud security, Critical Infrastructure Protection (CIP), and formal verification (model checking).


01/09/2020 → 30/11/2023
Research


01/09/2020 → 31/08/2023
Research


01/01/2019 → 31/07/2022
Research


01/03/2018 → 31/12/2021
Research


01/10/2017 → ¡­
Other


01/03/2016 → 29/02/2020
Research


01/01/2015 → 31/03/2015
Other


01/04/2014 → 30/09/2017
Other

Lancaster Intelligent, Robotic and Autonomous Systems Centre, LIRA - Security and Defence, Security Lancaster, Security Lancaster (Secure Machine Learning and Intelligence)

Security Lancaster, Security Lancaster (Distributed Systems), Security Lancaster (Software Security)

  • Cyber Security Research Centre (Security Group)
  • SCC (Security)
  • Security Lancaster
  • Security Lancaster (Academic Centre of Excellence)
  • Security Lancaster (Distributed Systems)
  • Security Lancaster (Software Security)
  • Security Lancaster (Systems Security)