معرفی
Bob Atkey is a Senior Lecturer and Chancellor’s Fellow in the Department of Computer and Information Sciences at the University of Strathclyde. He is an active member of the Mathematically Structured Programming (MSP) group and currently accepts PhD students. His academic service includes serving on programme committees for POPL 2016 and ESOP 2017.
His primary research areas include Programming Languages, Type Theory, Parametricity, Effect Systems, Formal Verification, Category Theory, and Logic. He has made significant contributions to the theory of parametricity, extending it to higher-kinded and dependent type systems, and applying it to syntax representation, domain-specific languages, and scientific programming. Additionally, he has developed resource-aware type systems and advanced effect systems through parameterised monads.
Recent publications demonstrate a focus on foundational proof theory and the integration of complexity analysis with type systems, highlighting his commitment to bridging theoretical concepts with practical programming language design.
His notable recognition includes:
- Chancellor’s Fellowship
Bob Atkey has supervised at least one PhD student and leads or co-leads several research projects, including the ARIA-funded "Quantitative Predicate Logic as a Foundation for Verified ML" and an EPSRC DTP project on Interaction Order. His past industry collaboration at Contemplate resulted in the development of ThreadSafe, a tool for concurrency analysis in Java.
He is an active member of the Mathematically Structured Programming group and co-organized the 2024 Scottish Programming Languages and Verification Summer School, fostering community and education in his field.
