معرفی
Robert Atkey is a Chancellor’s Fellow and Lecturer in the Department of Computer and Information Sciences at the University of Strathclyde, where he is part of the Mathematically Structured Programming (MSP) group. His research focuses on programming language design and analysis, leveraging mathematical frameworks like category theory, type theory, and denotational semantics. He has contributed to parametricity theory, effect systems, and resource-aware verification systems such as ThreadSafe for Java concurrency.
Key research areas include:
- Parametricity in higher-kinded and dependent type systems
- Applications of parametricity in DSL representation and scientific programming
- Development of parameterised monads for effect tracking
- Formal verification techniques for resource usage and concurrency defects
Professional activities include programme committee roles for ESOP 2017 and POPL 2016, co-chairing the 2016 Mathematically Structured Functional Programming workshop, and organizing the Scottish Programming Languages and Verification Summer School 2024. His work bridges academic research with industrial applications, exemplified by the ThreadSafe static analysis tool developed at Contemplate.
Current projects include ElePQuant (quantitative predicate logic foundations) and AISEC (AI security through construction). He collaborates on interdisciplinary initiatives like the DTP 2224 research consortium.
