I have a personal web page at www.mjcollinson.plus.com.
I am a researcher at HP Labs, Bristol. I am in the Systems Security Lab and am associated with the Trust Economics project.
I am also a Visiting Research Fellow in the Department of Computer Science at the University of Bath.
I moved to HP in 2006. I was initially associated with the Model-based analysis group. From 2003 to 2006 I was employed as a Research Officer in the Mathematical Logic and Symbolic Computation Group in the Department of Computer Science at the University of Bath. Prior to that I was a student in the Mathematical Foundations Group in the Department of Computer Science at the University of Manchester.
Until 2006 I mainly worked on mathematical logic and structures, and their application in computer science. I have worked a good deal with type theory, proof theory, category theory, topology, order theory, non-standard logics, substructural logics, program logics and programming language semantics.
The emphasis of my research has changed since moving to HP Labs. I now mainly work on the theory and practice of systems modelling. This includes the application of logical and semantical techniques.
I am one of the designers of the Gnosis process modelling tool. The tool is being applied by colleagues in HP for modelling scenarios in information security and large-scale systems.
Gnosis is based on a firm mathematical foundation developed by my collaborators and I. This foundation is a new kind of logical calculus for compositional specification and reasoning about discrete dynamical systems. This is much like a process calculus, but it features other semantic entities (resource, topology) as first-class citizens.
I have a growing interest in modelling information security situations using ideas from game theory and control theory.
Work-related links
Assorted Scribblings
Presentations