ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
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: https://www.brunel.ac.uk/people/rumyana-neykova

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

Contributions

ECOOP 2020Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track
Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track
SPLASH 2020Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track
Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track
Show activities from other conferences

Using general profile