BSc. MSc. PhD.
Senior Lecturer
- 51cg
-
- Email Address
- matthew.collinson@abdn.ac.uk
- Office Address
Computing Science, Meston Building, Meston Walk, 51cg, AB24 3UE
- School/Department
- School of Natural and Computing Sciences




Biography
Previously:
- Research Scientist, HP Labs, Bristol, UK (2006-2010)
- Head of Computing Science (2021-2024)
Qualifications
- BSc Mathematics1997 - University of Edinburgh
- MSc Mathematical Logic1998 - University of Manchester
- PhD -2003 - University of Manchester
- Research
-
Research Overview
Logic, mathematical foundations of computer science, information security.
I keep more information on my personal web pages. I may be found by search engine.
Research Areas
Accepting PhDs
I am currently accepting PhDs in Computing Science.
Please get in touch if you would like to discuss your research ideas further.
Research Specialisms
- Computer Science
- Computer and Information Security
Our research specialisms are based on the Higher Education Classification of Subjects (HECoS) which is , published under the licence.
- Teaching
-
Teaching Responsibilities
These change frequently. The relevant content is hosted on the myAberdeen Blackboard "Virtual Learning Environment." If you are enrolled on a course that I am teaching, then you will see this in the VLE course area. I have taught a wide range of subjects at a wide range of levels, and both undergraduates and postgraduates.
Some courses in which I have been involved in teaching:
- CS552N Security Management
- CS552F Information Governance, Data Security and Privacy
- CS502M Security Analytics with Artificial Intelligence
- CS502L Cybersecurity Fundamentals
- CS502D Artificial Intelligence, Privacy and Security
- CS502C Enterprise Security Architecture
- CS5099 Information Security
- CS5095 Data Management and Security
- CS4028 Security
- CS30/35.. Distribute Systems and Security
- CCS3518 languages and Computability
- CS30../CS3523 AI for Computer Games
- CS2013 Mathematics for Computer Science
- CS25.. Algorithmic Problems Solving
- CS2009/CS5038 The Electronic Society
- CS1029 Modelling and Problem Solving for Computing.
Supervision of projects as part of taught degree programmes:
- CS5... MSc Cybersecurity Project
- CS5... MSc Artificial intelligence Project
- CS5... MSc Information Technology Project
- CS5... MEng informatics (Computing Science) Project
- CS45.. Single Honours Computing Project (BSc, MA)
- CS45.. Joint Honours Computing project (BSc, MA)
- CS30/35.. Software Engineering team projects
- Publications
-
Page 2 of 3 Results 11 to 20 of 24
How can persuasion reduce user cyber security vulnerabilities?
Contributions to Conferences: Papers- [ONLINE]
Erratum to: A substructural logic for layered graphs
Journal of Logic and Computation, vol. 27, no. 1, pp. 413-414Contributions to Journals: Articles- [ONLINE] DOI:
Layered graph logic as an assertion language for access control policy models
Journal of Logic and Computation, vol. 27, no. 1, pp. 41-80Contributions to Journals: Articles- [ONLINE] DOI:
Economic Impacts of Rules-based vs Risk-based Cybersecurity Regulations in Critical Infrastructure Providers
IEEE Security and Privacy, vol. 14, no. 3, pp. 52-60Contributions to Journals: Articles- [ONLINE] DOI:
- [OPEN ACCESS]
A substructural logic for layered graphs
Journal of Logic and Computation, vol. 24, no. 4, pp. 953-988Contributions to Journals: Articles- [ONLINE]
- [ONLINE] DOI:
Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE]
- [ONLINE]
Trust Domains: An Algebraic, Logical, and Utility-theoretic Approach
Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings. Huth, M., Asokan, N., Čapkun, S., Flechais, I., Coles-Kemp, L. (eds.). Springer, pp. 232-249, 18 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI:
A Discipline of Mathematical Systems Modelling
College Publications, London. 290 pagesBooks and Reports: BooksA Framework for Modelling Security Architectures in Services Ecosystems
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. De Paoli, F., Pimentel, E., Zavaratto, G. (eds.). Springer, pp. 64-79, 15 pagesChapters in Books, Reports and Conference Proceedings: Chapters- [ONLINE] DOI:
Algebra and logic for access control
Formal Aspects of Computing, vol. 22, no. 2, pp. 83-104Contributions to Journals: Articles- [ONLINE] DOI:
