Greater Aberdeen Area
Head of Computing Science, 2021-present. Formerly (2021-22) I acted also as the first (University of Aberdeen) Vice Dean for the Aberdeen Institute of Data Science and Artificial Intelligence at South China Normal University. I do research, teaching and administration. My research includes information security, but also theoretical computer science and logic. Past Projects (Aberdeen and other places): - Supporting Security Policy with Effective Digital Information (SSPEDI), UK Engineering and Physical Sciences Research Council, Human Dimensions of Cyber Security, 2017-2020, £0.95M; - ALPUIS, UK Engineering and Physical Sciences Research Council, Consortia for Exploratory Research in Cyber Security, 2013-2017. - SECONOMICS, Socio-economics Meets Security, EU FP7, http://www.seconomicsproject.eu/ ; - Trust Domains, RCUK and Technology Strategy Board; - Trust Economics, UK Technology Strategy Board; - Bunched ML, UK Engineering and Physical Sciences Research Council; - Topological Duality for Modal, Temporal and Program Logics, UK Engineering and Physical Sciences Research Council.
I worked in the Trusted Systems Lab and then the Systems Security Lab. This included work on the TSB Trust Economics project and the Security Analytics project.
I worked on the EPSRC project Bunched ML, developing new methods in type theory and logic with applications in functional programming.