Skip to Content
Skip to main content
What do you want to do?
Foundation Undergraduate Postgraduate International
}
Find your course
}
Campus life Study support Student Services Professional Development Centre
}
Research Research degrees
}
Global Engagement
}
Business services
}
News and Events
Brunel Alumni Giving back to Brunel Contact us
}
About Colleges
}
  • Home
  • People
  • Fluid Session Types: End-to-End Verification of Communication Protocols

Fluid Session Types: End-to-End Verification of Communication Protocols

Funder: UK Research Institute in Verified Trustworthy Software Systems
Duration: 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 Email Office
Dr Rumyana Neykova 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