معرفی
Dr. Lorenzo Gheri is a researcher at the Laboratory for Foundations of Computer Science, part of the University of Edinburgh. His work focuses on formal methods and protocol specification in distributed systems.
- Module Co-ordinator for Group Software Project (COMP208) in 2024-25
Research interests include:
- Designing hybrid multiparty session types for compositional protocol specification
- Formal verification of concurrent calculi
- Distributed systems and programming language theory
Recent publications explore compositionality in multiparty-session protocols and domain-specific languages for certified computation. His work bridges theoretical metatheory with practical software certification, emphasizing correctness-by-construction in distributed systems.
۰مقاله منتشرشده
