计算机科学系主任和计算机科学教授。他也是牛津大学大学学院的研究员。罗斯科教授的研究领域是并发理论，特别是和东尼·霍尔一起研究用于构建Communicating Sequential Processes（CSP）的语义及其相关的occam programming language。他和别人共同创建了正规系统（欧洲）有限公司（"Formal Systems (Europe) Limited"）并且研究（FDR）工具的算法。