Staff Software Engineer
I design and build distributed systems, modernize legacy platforms, and improve performance, reliability, and delivery security.
I shape high- and low-level designs, write and review code, model failures and threats, diagnose performance and reliability, and guide rollouts into production.
I design and build highly concurrent, event-driven systems with explicit consistency, idempotency, and failure semantics. I use lightweight formal methods (Alloy, TLA+, and P) and property-based testing to make critical behavior explicit and testable.
I modernize monoliths and on-premises systems incrementally, changing services, infrastructure, and delivery paths without disrupting customers.
I profile, measure, and tune APIs, frontends, runtimes, memory allocation, CI pipelines, and deployment systems.
I build and maintain hardened Docker images and AMIs, and integrate security throughout the SDLC with threat modeling, design reviews, pre-commit checks, dependency controls, CI/CD guardrails, and production monitoring.