My interests are in the field of real-time systems programming, development modeling software for embedded systems, test automation and software verification. I am working on formalized description of multi-threaded applications, development of automated software generation facilities & monitoring tools for multi-threaded realtime applications.
I'm a Raku 🦋 enthusiast as well, work on modules porting and contributing.
This is my personal site with information about education, job/skills, experience and hobbies. Feel free to browse through it and you are welcome to leave comments or feedback.
My code is available at https://gitlab.com/pheix.
Storage provider on blockchain for lightweight data blocks: traces, logs, events, tags, notes, etc...