
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
Erlang 2019 | Programme Committee in Program Committee within the Erlang 2019-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile