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

CC 2020Committee Member in Program Committee within the Research Papers-track
Erlang 2019Programme Committee in Program Committee within the Erlang 2019-track
BEAT 2019Author of Invited Talk: A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements within the BEAT 2019-track
PLACES 2019Committee Member in Program Committee within the PLACES-track
Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track
AGERE 2018Committee Member in Program Committee within the AGERE-track
Erlang 2018Committee Member in Program Committee within the Erlang 2018-track
VORTEX 2018Committee Member in Program Committee within the VORTEX-track
CC 2017Author of Let It Recover: Multiparty Protocol-Induced Recovery within the Research Papers-track