Skip to Content
Exit Menu
e

Dr Rumyana Neykova
Senior Lecturer in Computer Science

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

Lagaillardie, N., Neykova, R. and Yoshida, N. (2022) 'Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types'. Leibniz International Proceedings in Informatics, LIPIcs, 222. ISSN: 1868-8969

Journal article

Carbone, M. and Neykova, R. (2022) 'Preface'. Electronic Proceedings in Theoretical Computer Science, EPTCS. ISSN: 2075-2180

Conference paper

Imai, K., Lange, J. and Neykova, R. (2022) 'Kmclib: Automated Inference and Verification of Session Types from OCaml Programs', inTools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing. , 13243 LNCS. pp. 379 - 386. ISBN 13: 9783030995232.

Book chapter

Imai, K., Lange, J. and Neykova, R. (2021) 'kmclib: Automated Inference and Verification of Session Types'. Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference.

Conference paper

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.Open Access Link

Journal article
More publications(25)