Dr Matthew Collinson

In this section
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

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.

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.

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 3 of 3 Results 21 to 24 of 24

  • Semantics for structured systems modelling and simulation

    Pym, D. J., Collinson, M. J., Monahan, B.
    Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques: SESSION: Simulation methods. ICST
    Chapters in Books, Reports and Conference Proceedings: Chapters
  • A Logical and Computational Theory of Located Resource

    Collinson, M., Monahan, B., Pym, D.
    Journal of Logic and Computation, vol. 19, no. 6, pp. 1207-1244
    Contributions to Journals: Articles
  • Algebra and Logic for Resource-based Systems Modelling

    Collinson, M., Pym, D.
    Mathematical Structures in Computer Science, vol. 19, no. 5, pp. 959-1027
    Contributions to Journals: Articles
  • Bunched Polymorphism

    Collinson, M., Pym, D., Robinson, E.
    Mathematical Structures in Computer Science, vol. 18, no. 6, pp. 1091-1132
    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