معرفی
Ornela Dardha is a Senior Lecturer (Associate Professor) at the University of Glasgow's School of Computing Science, where she leads the Programming Languages theme. Her research develops formal models for communication-safe concurrent and distributed systems using session types, process calculi, and type systems.
She directs the EPSRC-funded Uni-pi project on safety in distributed ecosystems and serves as Glasgow Site Leader for the European RISE Action on Behavioural Application Program Interfaces. Her PhD thesis won the Best Italian PhD Thesis in Theoretical Computer Science award (2015), and she received the PPDP 10 Year Most Influential Paper Award (2022) for her foundational session types work.
Research interests include:
- Programming language foundations
- Session type theory and applications
- Concurrent and distributed system verification
- Deadlock-free communication protocols
- Type-safe system adaptation
۰مقاله منتشرشده
