Dr Matthew Collinson | The University of Aberdeen

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

Personal Website

Google Scholar

ORCiD

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

View Research Area

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

A Quantitative Field Study of a Persuasive Security Technology in the Wild
2022 - Published
Vargheese, J. P., Collinson, M., Masthoff, J.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] DOI: https://doi.org/10.1007/978-3-031-19097-1_13
- [ONLINE] http://www.dcs.gla.ac.uk/socinfo2022/papers.html
Modelling Security Risk Scenarios Using Subjective Attack Trees
2021 - Published
Al-Hadhrami, N., Collinson, M., Oren, N.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] DOI: https://doi.org/10.1007/978-3-030-68887-5_12
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/15920/1/Al_Hadharami_et_al_LNCS_ModellingSecurityRisk_AAM.pdf
- [ONLINE] View publication in Scopus
Security Analysis Using Subjective Attack Trees
2021 - Published
Al-Hadhrami, N., Collinson, M., Oren, N.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] DOI: https://doi.org/10.1007/978-3-030-69255-1_19
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/15921/1/Al_Hadhrami_et_al_LNCS_SecurityAnalysisUsing_AAM.pdf
- [ONLINE] View publication in Scopus
A Subjective Network Approach for Cybersecurity Risk Assessment
2020 - Published
Al-Hadhrami, N., Collinson, M., Oren, N.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] DOI: https://doi.org/10.1145/3433174.3433175
Exploring Susceptibility Measures to Persuasion
2020 - Published
Vargheese, J., Collinson, M., Masthoff, J.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] DOI: https://doi.org/10.1007/978-3-030-45712-9_2
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/14785/1/Collinson_etal_persuasive2020_AAM.pdf
- [ONLINE] View publication in Scopus
A Stable Variational Autoencoder for Text Modelling
2019 - Published
Li, R., Li, X., Lin, C., Collinson, M., Mao, R.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] DOI: https://doi.org/10.18653/v1/W19-8673
- [ONLINE] https://aclweb.org/anthology/
- [ONLINE] View publication in Scopus
A Stable Variational Autoencoder for Text Modelling
2019 - Published
Li, R., Li, X., Lin, C., Collinson, M., Mao, R.
Contributions to Conferences: Oral Presentations
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/18660/1/1911.05343v1.pdf
A Dual-Attention Hierarchical Recurrent Neural Network for Dialogue Act Classification
2019 - Published
Li, R., Lin, C., Collinson, M., Li, X., Chen, G.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] https://www.aclweb.org/anthology/K19-1036.pdf
- [ONLINE] DOI: https://doi.org/10.18653/v1/K19-1036
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/13116/2/1810.09154v3.pdf
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/13116/3/Li_etal_Dual_Attention_VOR.pdf
- [ONLINE] https://www.aclweb.org/anthology/K19-1/
A logic of hypothetical conjunction
2019 - Published
Collinson, M.
Journal of Logic and Computation, vol. 29, no. 6, pp. 975–1009
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1093/logcom/exz018
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/15377/1/cck.pdf
Caught by phishing emails? How can argumentation schemes be used to protect users?
2018 - Published
Thomas, R. J., Collinson, M., Masthoff, J.
Contributions to Conferences: Papers
- [ONLINE] View publication in Scopus
How can persuasion reduce user cyber security vulnerabilities?
2018 - Published
Vargheese, J. P., Collinson, M., Masthoff, J.
Contributions to Conferences: Papers
- [ONLINE] View publication in Scopus
Erratum to: A substructural logic for layered graphs
2017 - Published
Collinson, M., McDonald, K., Docherty, S., Pym, D.
Journal of Logic and Computation, vol. 27, no. 1, pp. 413-414
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1093/logcom/exv019
Layered graph logic as an assertion language for access control policy models
2017 - Published
Collinson, M., McDonald, K., Pym, D.
Journal of Logic and Computation, vol. 27, no. 1, pp. 41-80
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1093/logcom/exv020
Economic Impacts of Rules-based vs Risk-based Cybersecurity Regulations in Critical Infrastructure Providers
2016 - Published
Massacci, F., Ruprai, R., Collinson, M., Williams, J.
IEEE Security and Privacy, vol. 14, no. 3, pp. 52-60
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1109/MSP.2016.48
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/6165/1/15858c.pdf
A substructural logic for layered graphs
2014 - Published
Collinson, M., McDonald, K., Pym, D.
Journal of Logic and Computation, vol. 24, no. 4, pp. 953-988
Contributions to Journals: Articles
- [ONLINE] http://logcom.oxfordjournals.org/content/24/4/953.abstract?sid=9e59d663-f83f-4e46-97c3-81335410ef0c
- [ONLINE] DOI: https://doi.org/10.1093/logcom/exu002
Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]
2013 - Published
Anderson, G., Collinson, M., Pym, D.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- [ONLINE] http://arxiv.org/abs/1310.6405
- [ONLINE] View publication in Scopus
Trust Domains: An Algebraic, Logical, and Utility-theoretic Approach
2013 - Published
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
- [ONLINE] DOI: https://doi.org/10.1007/978-3-642-38908-5
A Discipline of Mathematical Systems Modelling
2012 - Published
Collinson, M., Monahan, B., Pym, D.
College Publications, London. 290 pages
Books and Reports: Books
A Framework for Modelling Security Architectures in Services Ecosystems
2012 - Published
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
- [ONLINE] DOI: https://doi.org/10.1007/978-3-642-33427-6_5
Algebra and logic for access control
2010 - Published
Collinson, M., Pym, D.
Formal Aspects of Computing, vol. 22, no. 2, pp. 83-104
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1007/s00165-009-0107-x
Semantics for structured systems modelling and simulation
2010 - Published
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
- [ONLINE] DOI: https://doi.org/10.4108/ICST.SIMUTOOLS2010.8631
A Logical and Computational Theory of Located Resource
2009 - Published
Collinson, M., Monahan, B., Pym, D.
Journal of Logic and Computation, vol. 19, no. 6, pp. 1207-1244
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1093/logcom/exp021
Algebra and Logic for Resource-based Systems Modelling
2009 - Published
Collinson, M., Pym, D.
Mathematical Structures in Computer Science, vol. 19, no. 5, pp. 959-1027
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1017/S0960129509990077
Bunched Polymorphism
2008 - Published
Collinson, M., Pym, D., Robinson, E.
Mathematical Structures in Computer Science, vol. 18, no. 6, pp. 1091-1132
Contributions to Journals: Articles
- [ONLINE] DOI: https://doi.org/10.1017/S0960129508007159

Refine

Books and Reports

Books (1)

Chapters in Books, Reports and Conference Proceedings

Chapters (3)

Conference Proceedings (8)

Contributions to Conferences

Papers (2)

Oral Presentations (1)

Contributions to Journals

Articles (9)

Update

Biography

Qualifications

Research Overview

Research Areas

Accepting PhDs

Computing Science

Research Specialisms

Teaching Responsibilities

A Quantitative Field Study of a Persuasive Security Technology in the Wild

Modelling Security Risk Scenarios Using Subjective Attack Trees

Security Analysis Using Subjective Attack Trees

A Subjective Network Approach for Cybersecurity Risk Assessment

Exploring Susceptibility Measures to Persuasion

A Stable Variational Autoencoder for Text Modelling

A Stable Variational Autoencoder for Text Modelling

A Dual-Attention Hierarchical Recurrent Neural Network for Dialogue Act Classification

A logic of hypothetical conjunction

Caught by phishing emails? How can argumentation schemes be used to protect users?

How can persuasion reduce user cyber security vulnerabilities?

Erratum to: A substructural logic for layered graphs

Layered graph logic as an assertion language for access control policy models

Economic Impacts of Rules-based vs Risk-based Cybersecurity Regulations in Critical Infrastructure Providers

A substructural logic for layered graphs

Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]

Trust Domains: An Algebraic, Logical, and Utility-theoretic Approach

A Discipline of Mathematical Systems Modelling

A Framework for Modelling Security Architectures in Services Ecosystems

Algebra and logic for access control

Semantics for structured systems modelling and simulation

A Logical and Computational Theory of Located Resource

Algebra and Logic for Resource-based Systems Modelling

Bunched Polymorphism

Refine

Books and Reports

Chapters in Books, Reports and Conference Proceedings

Contributions to Conferences

Contributions to Journals