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
Aufiero, S., Ibba, G., Bartolucci, S., Destefanis, G., Neykova, R. and Ortu, M. (2024) 'DApps ecosystems: mapping the network structure of smart contract interactions'. EPJ Data Science, 13 (1). pp. 1 - 31.Open Access Link
Sengul, C., Neykova, R. and Destefanis, G. (2024) 'Software engineering education in the era of conversational AI: current trends and future directions'. Frontiers in Artificial Intelligence, 7. pp. 1 - 23. ISSN: 2624-8212 Open Access Link
Ibba, G., Aufiero, S., Neykova, R., Bartolucci, S., Ortu, M., Tonelli, R. and et al. (2024) 'A Curated Solidity Smart Contracts Repository of Metrics and Vulnerability'.PROMISE '24: 20th International Conference on Predictive Models and Data Analytics in Software Engineering. Porto de Galinhas, Brazil. 10 - 16 July. ACM. pp. 32 - 41.Open Access Link
Groen, D., Khullar, S., Groen-Xu, M. and Neykova, R. (2024) 'A Working Week Simulation Approach to Forecast Personal Well-Being', in Franco, L., de Mulatier, C., Paszynski, M., Krzhizhanovskaya, VV., Dongarra, JJ. and Sloot, PMA. (eds.) Computational Science – ICCS 2024. ICCS 2024. Cham : Springer. , 14834 LNCS. pp. 246 - 253. ISBN 10: 3-031-63759-3. ISBN 13: 978-3-031-63758-2. Open Access Link
Vaccargiu, M., Aufiero, S., Bartolucci, S., Neykova, R., Tonelli, R. and Destefanis, G. (2024) 'Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions'.EASE '24: Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering. Salerno, Italy. 18 - 21 June. ACM. pp. 381 - 386.Open Access Link