معرفی
Professor Edmund Robinson is a Professor of Computer Science and Head of the Centre for Fundamental Computer Science at Queen Mary University of London (QMUL). He holds academic qualifications including MA, MMath, and PhD, and is a Fellow of the British Computer Society (FBCS) and a Chartered IT Professional (CiTP). His primary affiliations include the School of Electronic Engineering and Computer Science, where he leads research in foundational areas of computer science.
Research Interests: Robinson specializes in Logic, Category Theory, and Semantics, with a focus on proof theory, categorical semantics, and foundational programming language constructs. His work bridges theoretical computer science and mathematical logic, addressing topics such as parametricity, realizability, and logical relations.
Teaching: He teaches modules like Computer Systems and Networks (undergraduate) and Functional Programming (undergraduate/postgraduate), emphasizing machine-level computing and modern functional languages like Haskell and F#.
Grants and Funding: Key grants include the £322,127 OfS Data Science & AI competition (2020–2023) and the £869,078 Interface reasoning for interacting systems (IRIS) (2018–2024), both supporting foundational research in computer science and AI.
Labs/Teams: As Head of the Centre for Fundamental Computer Science, he oversees interdisciplinary research in theoretical computer science, fostering collaborations across QMUL and international institutions.
