معرفی
Matthew Collinson is a Senior Lecturer in Computing Science at the University of Aberdeen, where he also serves as Head of Computing Science and Academic Line Manager. He holds an affiliation with the Scottish Informatics and Computer Science Alliance (SICSA) and leads the EPSRC-funded project SSPEDI (Supporting Security Policy with Effective Digital Intervention).
Education:
- BSc Mathematics, University of Edinburgh (1997)
- MSc Mathematical Logic, University of Manchester (1998)
- PhD Computer Science, University of Manchester (2003)
Research Interests:
His research spans theoretical computer science and cybersecurity, focusing on non-classical logics (intuitionistic, modal, substructural), semantics of computation, concurrency theory, and type theory. He applies these foundations to information security, particularly in modelling security policies, access control, and the economics of cybersecurity decisions. His work integrates formal verification, simulation tools (e.g., Gnosis), and game-theoretic models.
Publications Trends:
Recent publications (2016–2022) emphasize human-centred security, exploring how persuasion and behavioural interventions can reduce cybersecurity vulnerabilities. Earlier works (2008–2015) concentrate on mathematical systems modelling, layered graph logics, and trust domains, bridging high-level policy and low-level system configurations.
Projects & Grants:
- SSPEDI (2017–2020, EPSRC): Human dimensions of cybersecurity policy compliance.
- ALPUIS (EPSRC consortium): Algebra and logic for security policy and utility.
- Trust Domains (RCUK/TSB, 2011–2014): Framework for modelling secure information sharing.
- Seconomics (EU FP7, 2012–2015): Socio-economic impacts of cybersecurity regulation.
PhD Supervision:
He has successfully supervised PhD students including Kevin McDonald (2014), Barry Taylor (2015), and Robert (Bob) Duncan (2016), whose theses addressed logic-based security architectures, vulnerability analysis, and cloud stewardship respectively.
Labs & Teams:
His research is conducted within the Computing Science section of the School of Natural and Computing Sciences, leveraging collaborations with National Grid, HP Labs, and other academic partners.
حوزههای پژوهشی
