Dr Matthew Collinson

Dr Matthew Collinson
Dr Matthew Collinson
Dr Matthew Collinson

BSc. MSc. PhD.

Senior Lecturer

Accepting PhDs

About
Email Address
matthew.collinson@abdn.ac.uk
Office Address

Computing Science, Meston Building, Meston Walk, University of Aberdeen, AB24 3UE

School/Department
School of Natural and Computing Sciences

Biography

Head of Computing Science, and Academic Line Manager.

 

Qualifications

  • BSc Mathematics 
    1997 - University of Edinburgh 
  • MSc Mathematical Logic 
    1998 - University of Manchester 
  • PhD   
    2003 - University of Manchester 

    Logic, Stone-type dualities.

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.

http://homepages.abdn.ac.uk/matthew.collinson/pages/

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.

Email Me

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 HESA open data, published under the Creative Commons Attribution 4.0 International 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.

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