Dr Ornela Dardha

Senior Lecturer · School of Computing Science

简介

I am a Senior Lecturer (Associate Professor) in the School of Computing Science at the University of Glasgow. My research interests are in programming languages foundations and formal verification, especially leveraging session types. Within the School, I am a member of Formal Analysis, Theory and Algorithms (FATA).

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。