Skip to Content
Skip to main content
What do you want to do?
Foundation Undergraduate Postgraduate International
}
Find your course
}
Campus life Study support Student Services Professional Development Centre
}
Research Research degrees
}
Global Engagement
}
Business services
}
News and Events
Brunel Alumni Giving back to Brunel Contact us
}
About Colleges
}
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

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 2024: 28th International Conference on Evaluation and Assessment in Software Engineering. ACM. pp. 381 - 386.

Conference paper

Ibba, G., Aufiero, S., Bartolucci, S., Neykova, R., Ortu, M., Tonelli, R. and et al. (2024) 'MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications'. IEEE Access, 12. pp. 28382 - 28394.Open Access Link

Journal article

Groen, D., Khullar, S., Groen-Xu, M. and Neykova, R. (2024) 'A Working Week Simulation Approach to Forecast Personal Well-Being', inComputational Science – ICCS 2024. Springer Nature Switzerland. pp. 246 - 253. ISBN 13: 9783031637582.

Book chapter

Ibba, G., Khullar, S., Tesfai, E., Neykova, R., Aufiero, S., Ortu, M., et al. (2023) 'A Preliminary Analysis of Software Metrics in Decentralised Applications'.Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems. Istanbul Turkiye. 12 - 12 November. ACM. pp. 27 - 33.Open Access Link

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
More publications(24)