Fluid Session Types: End-to-End Verification of Communication Protocols
Funder: UK Research Institute in Verified Trustworthy Software SystemsDuration: October 2019 - March 2023
This project supports one PhD student at Imperial College London to develop fluid session types, an end-to-end verification strategy for distributed protocols, leveraging compile-time meta programming techniques.
People
| Name | Telephone | Office | ||
|---|---|---|---|---|
|
Dr Rumyana Neykova Senior Lecturer in Computer Science
T: +44 (0)1895 265513
E: rumyana.neykova@brunel.ac.uk |
+44 (0)1895 265513 | rumyana.neykova@brunel.ac.uk | Wilfred Brown 210 |