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 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