Skip to Content
Skip to main content

Dr Rumyana Neykova
Senior Lecturer in Computer Science


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

Ibba, G., Khullar, S., Tesfai, E., Neykova, R., Aufiero, S., Ortu, M., et al. (2023) 'A Preliminary Analysis of Software Metrics in Decentralised Applications'.SenSys '23: The 21st ACM Conference on Embedded Networked Sensor Systems. ACM. pp. 27 - 33.

Conference paper

Nazir, A., Singh, M., Destefanis, G., Kassab, M., Memon, J., Neykova, R. and et al. (2023) 'Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols'.2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C). L'Aquila, Italy. 13 - 17 March. IEEE. pp. 224 - 230. ISSN: 2768-427X Open Access Link

Conference paper

Nazir, A., Singh, M., Destefanis, G., Memon, J., Neykova, R., Kassab, M. and et al. (2023) 'An Optimized Concurrent Proof of Authority Consensus Protocol'.2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE. pp. 874 - 877. ISSN: 1534-5351

Conference paper

Lagaillardie, N., Neykova, R. and Yoshida, N. (2022) 'Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types'.36th European Conference on Object-Oriented Programming (ECOOP 2022). Berlin, Germany (virtual). 23 - 7 July. Leibniz International Proceedings in Informatics, LIPIcs. pp. 4:1 - 4:29. ISSN: 1868-8969 Open Access Link

Conference paper

Imai, K., Lange, J. and Neykova, R. (2022) 'Kmclib: Automated Inference and Verification of Session Types from OCaml Programs', in Fisman, D. and Rosu, G. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Cham, Switzerland : Springer, Cham. , 13243 LNCS. pp. 379 - 386. ISBN 10: 3-030-99524-0. ISBN 13: 978-3-030-99523-2. Open Access Link

Book chapter
More publications(24)