
Dr Rumyana Neykova
Senior 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
Neykova, R. and Groen, D. (2025) 'Model input verification of large scale simulations'. Journal of Simulation, 0 (ahead of print). pp. 1 - 20. ISSN: 1747-7778 Open Access Link
Counsell, S., Destefanis, G., Neykova, R., Miron, A., Aburumman, N. and Shippey, T. (2025) 'There's Nothing to See Here: A Study of Deaf and Hearing Developer Use of Stack Overflow'.2025 IEEE/ACM 47th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS). IEEE. pp. 55 - 58. ISSN: 0270-5257
Vaccargiu, M., Neykova, R., Novielli, N., Ortu, M. and Destefanis, G. (2025) 'More Than Code: Technical and Emotional Dynamics in Solidity’s Development'.2025 IEEE/ACM 18th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE). IEEE. pp. 260 - 271.
Vaccargiu, M., Aufiero, S., Ba, C., Bartolucci, S., Clegg, R., Graziotin, D., (2025) 'Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study'.2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR). IEEE. pp. 552 - 563.
et al.Soares, P., Araújo, AA., Destefanis, G., Neykova, R., Saraiva, R. and Souza, J. (2025) 'Blockchain Developer Experience: A Multivocal Literature Review'.2025 IEEE/ACM 18th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE). IEEE. pp. 27 - 38.