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.

Affiliation:Brunel University London
Research interests:Type System, Distributed Systems, Concurrency, Verification

Contributions

EASE 2021 Author of Using the Lexicon from Source Code to Determine Application Domains within the EASE 2020-track
ML 2021 Author of Verifying Multiparty Communication Protocols using ML Type Systems within the ML 2021-track
Erlang 2021 PC Member in Program Committee within the Erlang 2021-track
ECOOP 2020 Author 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
Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track
CC 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track
Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track
Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track
Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track
Erlang 2019 Programme Committee in Program Committee within the Erlang 2019-track
BEAT 2019 Author of Invited Talk: A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements within the BEAT 2019-track
PLACES 2019 Committee Member in Program Committee within the PLACES-track
Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track
AGERE 2018 Committee Member in Program Committee within the AGERE-track
Erlang 2018 Committee Member in Program Committee within the Erlang 2018-track
VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
CC 2017 Author of Let It Recover: Multiparty Protocol-Induced Recovery within the Research Papers-track