51cg

Dr Matthew Collinson

Dr Matthew Collinson
Dr Matthew Collinson
Dr Matthew Collinson

BSc. MSc. PhD.

Senior Lecturer

Accepting PhDs

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 Mathematics 
    1997 - University of Edinburgh 
  • MSc Mathematical Logic 
    1998 - 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.

Computing Science

  • Supervising
  • Accepting PhDs

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?

    Vargheese, J. P., Collinson, M., Masthoff, J.
    Contributions to Conferences: Papers
  • Erratum to: A substructural logic for layered graphs

    Collinson, M., McDonald, K., Docherty, S., Pym, D.
    Journal of Logic and Computation, vol. 27, no. 1, pp. 413-414
    Contributions to Journals: Articles
  • Layered graph logic as an assertion language for access control policy models

    Collinson, M., McDonald, K., Pym, D.
    Journal of Logic and Computation, vol. 27, no. 1, pp. 41-80
    Contributions to Journals: Articles
  • Economic Impacts of Rules-based vs Risk-based Cybersecurity Regulations in Critical Infrastructure Providers

    Massacci, F., Ruprai, R., Collinson, M., Williams, J.
    IEEE Security and Privacy, vol. 14, no. 3, pp. 52-60
    Contributions to Journals: Articles
  • A substructural logic for layered graphs

    Collinson, M., McDonald, K., Pym, D.
    Journal of Logic and Computation, vol. 24, no. 4, pp. 953-988
    Contributions to Journals: Articles
  • Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]

    Anderson, G., Collinson, M., Pym, D.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
  • Trust Domains: An Algebraic, Logical, and Utility-theoretic Approach

    Anderson, G., Collinson, M., Pym, D.
    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 pages
    Chapters in Books, Reports and Conference Proceedings: Chapters
  • A Discipline of Mathematical Systems Modelling

    Collinson, M., Monahan, B., Pym, D.
    College Publications, London. 290 pages
    Books and Reports: Books
  • A Framework for Modelling Security Architectures in Services Ecosystems

    Collinson, M., Pym, D., Taylor, B.
    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 pages
    Chapters in Books, Reports and Conference Proceedings: Chapters
  • Algebra and logic for access control

    Collinson, M., Pym, D.
    Formal Aspects of Computing, vol. 22, no. 2, pp. 83-104
    Contributions to Journals: Articles
Show 10 | 25 | 50 | 100 results per page

Refine

Books and Reports

Chapters in Books, Reports and Conference Proceedings

Contributions to Conferences

Contributions to Journals