Rumyana Neykova is a Lecturer in Computer Science at Brunel University London. She has a PhD from Imperial College London, where she worked as a researcher and a fellow. She is a recipient of PhD sponsorship from VMWare on her work on Runtime Verification of Concurrent and Distributed Systems and EPSRC Fellowship on Hybrid Verification Techniques. Interesting projects she has worked on include her collaboration with the Ocean Observatory Initiative for ocean monitoring and the EPSRC-funded project “From Data Types to Session Types---A Basis for Concurrency and Distribution”. She has published numerous articles in the area of programming languages and distributed systems, with a primary focus on fault-tolerance, monitoring and verification. Some of the tools in her toolbox are model checkers, SMT solvers, type systems, and compilers. She loves to create, break and improve these tools and she sometimes uses them to solve existing and non-existing problems. No matter where her research takes her, she always eventually comes back to F#.
Talks I've Given
-
Type Me If You Can: Writing Safe Communication Protocols with F#: Bonus Q&A Session
Featuring Rumyana Neykova
In this bonus session, Rumyana Neykova answers questions from her talk "Type Me If You Can: Writing Safe Communication Protocols with F#"
f# ocaml -
Type Me If You Can: Writing Safe Communication Protocols with F#
Featuring Rumyana Neykova
In this talk Rumyana gives a history of types, and discusses some new – and not-so-new — type systems: session types (for distributed programs), and refinement types (w/ predicates).
ocaml f# -
Lightning Talk: Let’s talk about Types
Featuring Rumyana Neykova
Rumyana will give a (very) brief history of types and will discuss some (new and not that new) type systems, such as session types (types for distributed programs), refinement types (types with predicates). In this talk, she will challenge you to think how (and why) you can stretch the notion of...
sessiontypes refinementtypes distributed-system compiler types f# functional-programming -
Lightning Talk: Type Me If You Can: A Type-driven Approach to Microservice Development
Featuring Rumyana Neykova
Types are probably the last thing that comes to your mind when someone mentions microservices. The aim of this talk is to change this misconception.
Rumyana will share with you that types can be used to understand, test, specify and verify microservices. In particular, she will give you a crash...
architecture type-driven microservices-development microservices