Expert in Distributed Systems and Formal Verification
Login to Send EmailDescription
Nginx
Go
Django
Python
Kubernetes
TLA+
C++
Azure
PostgreSQL
AWS
Software engineer with 8 years of professional experience. Expert in distributed systems and formal verification, looking for positions to build highly scalable systems.