Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Rumyana Neykova

Registered user since Tue 27 Mar 2018

Name: Rumyana Neykova

Bio: Rumyana Neykova is a lecturer at Brunel University London, previously completed a PhD degree under the supervision of Prof. Nobuko Yoshida at Imperial College London, where she was also research fellow. Her research interests are in the area of distributed systems and networks, as well as type systems and language design. Her PhD focuses on development and applications of a type theory (called session types) for runtime verification of concurrent and distributed systems.

Country: United Kingdom

Affiliation: Brunel University London

Personal website:

Research interests: Type System, Distributed Systems, Concurrency, Verification


BEAT 2019Author of Invited Talk: A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements within the BEAT 2019-track
Show activities from other conferences

POPL 2019-profile
View general profile