Software Engineer with 8+ years of experience building enterprise-grade systems, device management solutions, and contributing to open-source technologies. My expertise spans from low-level systems programming to modern cloud-native applications, with focus on authentication systems, distributed architecture, and formal verification.
I’ve evolved from writing system-level code in C/C++ to architecting enterprise solutions that serve thousands of users. My journey includes building large-scale applications with Java and C#/.NET, embracing cloud-native development with AWS, and currently diving deep into TLA+ for formal system verification. I’m also an active contributor to major projects like Chromium.
I believe great software is reliable, secure, and maintainable. My approach focuses on:
I’m actively involved in the developer community through open-source contributions, technical writing, and mentoring. I enjoy sharing knowledge about formal verification, distributed systems, and security best practices while helping junior developers grow in their careers.
I’m always interested in discussing technical challenges, new opportunities, or collaborating on interesting projects. Whether you want to discuss system architecture, explore collaboration opportunities, or just connect with a fellow developer, I’d love to hear from you.
Ready to connect? Contact Me for detailed contact information and availability.