I am a Staff Software Engineer at GoDaddy, where I work on online appointments, commerce, stores, and payments. I design and build multi-region systems, modernize existing platforms, tune performance, strengthen software delivery, and support services in production.

My work usually crosses layers: concurrency and consistency, cloud migrations, latency and resource use, CI/CD, and secure AI-assisted development. I stay involved from design reviews through rollout and production debugging, working alongside engineers on the implementation choices that determine whether a system holds up.

Before my current work, I built near-real-time telephony and messaging systems. Across more than eleven years, my work has covered communications, multi-region commerce, appointments, stores, and payments.

Current focus

  • Designing and implementing concurrent, event-driven systems with explicit consistency, idempotency, and failure semantics, supported by lightweight formal methods and property-based testing.
  • Modernizing legacy services and monoliths while keeping customer-facing systems available.
  • Profiling and improving APIs, frontends, runtimes, CI pipelines, and deployment systems.
  • Building security and review controls into software delivery, including AI-assisted workflows, while pairing on difficult implementation and production problems.

Independent work

I maintain four projects outside my day job:

  • The Deep Stack publishes evidence-backed analysis of software behavior across system layers.
  • Verified Research Lab replicates and independently checks claims in systems and software research.
  • The Code Less Taken covers lesser-used programming languages, systems, and techniques.
  • Lithespan develops and maintains software for specific hardware, operating systems, and workloads.

Background

I earned an MS in Computer Science from the University of California, San Diego, specializing in programming languages, compilers, and software engineering. My thesis, Synthesizing Loop Invariants Through a Multiplayer Game, explored human computation, formal methods, and SMT solving.

I earned a BE in Computer Engineering from the University of Mumbai. My final project, A Domain-Specific Language for Discrete Mathematics, was later adopted by professors at select Mexican universities and extended collaboratively.

Research and community

My graduate and earlier research covered programming languages, formal methods, usable security, developer productivity, and eye-tracking applications. The related papers remain available from the research archive.

I am a member of IEEE, ACM, and USENIX and support several open-source and digital-rights organizations.

Research archive

  1. A Domain-Specific Language for Constructing and Reasoning About the Security of Garbled Circuits
  2. FloRead: Enhancing reading experience with eye-tracking and IoT
  3. Dimpl: An Efficient and Expressive DSL for Discrete Mathematics
  4. Predicting Students’ Performance Using ID3 and C4.5 Classification Algorithms
  5. A Domain-Specific Language for Discrete Mathematics
  6. A Secure Method for Signing in Using Quick Response Codes with Mobile Authentication
  7. Secure Login Through Mobile Authentication

Contact

The best ways to reach me are email and LinkedIn. My résumé is available as a PDF, and my public code is on GitHub.