My supervisor is Dr Rumyana Neykova (rumyana.neykova@brunel.ac.uk) +44 1895 265513
She can be found at Wilfred Brown 210.
More info on her work here.
- PhD from Imperial College London.
- She focus on runtime verification of concurrent and distributed systems.
- Concurrency theory.
Newest publication: ‘Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols’.