Dr Ornela Dardha

About

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).