Hey! I am a Systems Software Engineer, particularly interested in Computer Science fundamentals and Rust. Check out my LinkedIn Profile for more professional information.
I have started my professional career with C++17, and then (thankfully 😆) moved to Rust programming. Rust is my first language of choice nowadays 🦀
I currently work at Ditto in the data synchronization protocol that enables edge devices to synchronize data peer-to-peer with dynamic subscriptions. The work covers distributed systems design, highly concurrent async Rust, lightweight formal methods and more.
I have a background on Competitive Programming from university days, and most recently been studying deterministic simulation testing and formal methods.
Happy to talk more 😄




