rohitjha

About

Principal Software Engineer building distributed systems, modernizing platforms, improving performance, and integrating security throughout software delivery.

I am a Principal Software Engineer with more than eleven years of experience building and modernizing large software systems. At GoDaddy, I work across online appointments, commerce, stores, and payments. My responsibilities include multi-region system design, implementation, performance tuning, secure software delivery, and production operations.

I am most useful on problems that cross layers: concurrency and consistency, cloud migrations, latency and resource use, CI/CD, and secure AI-assisted development. I stay involved through rollout and production debugging, working alongside engineers on the implementation choices that determine whether a system holds up.

Across my career, I have worked on near-real-time telephony, messaging, multi-region commerce, appointments, stores, and payments.

Current focus

  • Designing and implementing highly concurrent, event-driven systems with clear consistency, idempotency, and failure semantics.
  • Using lightweight formal methods and property-based testing to validate distributed-system behavior.
  • Modernizing legacy services and monoliths while keeping customer-facing systems available.
  • Profiling and improving APIs, frontends, runtimes, CI pipelines, and deployments.
  • Building security into the SDLC through threat modeling, design reviews, hardened Docker images and AMIs, pre-commit checks, CI/CD guardrails, and production monitoring.
  • Building guarded AI-assisted workflows and agent systems under the same security and code-quality controls.
  • Reviewing designs, pairing on difficult implementation work, and mentoring senior engineers through production problems.

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. You can also find my public work on GitHub.