Hi My name is Shubham

Software Architect | Distributed Systems & Formal Verification Researcher

I am Software Architect at SAP, specializing in distributed systems and enterprise application architecture. My work focuses on building scalable, data-intensive microservices and exploring the integration of agentic AI and multi-agent systems into enterprise software to enable intelligent, autonomous workflows.

• 🌍 I'm based in Bangalore
• ✉️ You can contact me at shubham.null@gmail.com
• 🚀 I'm currently working on a new formal verification method for distributed systems.
• 🧠 I'm currently learning Helm, Promptfoo, BAML
• 👥 I'm looking to collaborate on anything involving durable/long horizon agents.
• 💬 Ask me about Working to bring formal verification into production systems.

Skills

Socials

Badges

My GitHub Stats

Support Me