Dr Rumyana Neykova
Lecturer in Computer Science
Wilfred Brown 210
- Email: rumyana.neykova@brunel.ac.uk
- Tel: +44 (0)1895 265513
Summary
Dr Rumyana Neykova is a lecturer at Brunel University London. She has a PhD from Imperial College London where she was also a fellow and a research associate. Her PhD focuses on development and applications of a type theory (called session types) for runtime verification of concurrent and distributed systems. Her body of work builds on the foundations of concurrency theory and type systems to offer practical, yet rigorous, verification techniques for distributed systems. She utilises type systems, formal methods, model checkers, compiling techniques, and code generation to help prevent communication faults (such as deadlocks and communication mismatches), increase software reliability, improve performance, assist the software development process, and enhance software understanding.
Newest selected publications
Zhou, F., Ferreira, F., Hu, R., Neykova, R. and Yoshida, N. (2020) 'Statically verified refinements for multiparty protocols'. Proceedings of the ACM on Programming Languages, 4 (OOPSLA). pp. 1 - 30. ISSN: 2475-1421
Neykova, R. and Yoshida, N. (2019) 'Featherweight Scribble', in Boreale, M., Corradini, F., Loreti, M. and Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming, Lecture Notes in Computer Science. CHAM : Springer. , 11665. pp. 236 - 259. ISBN 13: 978-3-030-21484-5. Open Access Link
Neykova, R., Hu, R., Yoshida, N. and Abdeljallal, F. (2018) 'A session type provider compile-time API generation of distributed protocols with refinements in F#'.Compiler Construction. Vienna, Austria. 24 - 25 February. ACM. pp. 128 - 138.Open Access Link
Neykova, R., Bocchi, L. and Yoshida, N. (2017) 'Timed runtime monitoring for multiparty conversations'. Formal Aspects of Computing, 29 (5). pp. 877 - 910. ISSN: 0934-5043 Open Access Link
Neykova, R. and Yoshida, N. (2017) 'How to Verify Your Python Conversations', in Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. Gistrup, Denmark : River Publishers. pp. 77 - 98. ISBN 10: 8793519826. ISBN 13: 9788793519824. Open Access Link