Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Rumyana Neykova

Registered user since Tue 27 Mar 2018

Name: Rumyana Neykova

Bio: Rumyana Neykova is an RA at Imperial College London, previously completed a PhD degree under the supervision of Prof. Nobuko Yoshida. 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: Imperial College London, UK

Personal website: http://mrg.doc.ic.ac.uk/people/rumyana-neykova/

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


Erlang 2018Committee Member in Program Committee within the Erlang 2018-track
Show activities from other conferences

ICFP 2018-profile
View general profile