Please log in to watch this conference skillscast.
YOU MAY ALSO LIKE:
- Type Me If You Can: Writing Safe Communication Protocols with F#: Bonus Q&A Session (SkillsCast recorded in October 2020)
- Domain Models in Practice with Marco Heimeshoff (Online Workshop on 6th - 10th June 2022)
- Hands‑on Microservices Architecture and Design Workshop with Chris Richardson (Online Workshop on 7th - 17th June 2022)
- iSAQB Software Architecture Gathering — Digital 2022: 2-Day Sessions Ticket (Online Conference on 16th - 17th November 2022)
- LDN Talks May 2022 - Quickwit Takeover (in London on 30th May 2022)
- Gravitee APIM Behind Istio Service Mesh (SkillsCast recorded in May 2022)
- Enabling Microservice Success (SkillsCast recorded in May 2022)
Lightning Talk: Type Me If You Can: A Type-driven Approach to Microservice Development
Rumyana Neykova
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#.