My interests are in the field of real-time systems programming, modeling software for embedded systems development, test automation and software verification. I am working on formalized description of multi-threaded applications, development of automated software generation facilities and monitoring tools. I am a Raku 🦋 enthusiast as well, work on modules porting and contributing.