Main expertise in SRE/DevOps and developing backend with Go
- Research Assistant at DePaul University — extending KeYmaeraX with Scala 2 for robot safety verification
- Finishing B.Sc. Computer Science at DePaul University (Senior, expected June 2026)
- Deepening expertise in Go, Linux, distributed systems, and clean software architecture
Languages
Infrastructure & Cloud
Kubernetes
Observability & CI/CD
Backend
| Certification | Issuer |
|---|---|
| CKS — Certified Kubernetes Security Specialist | CNCF |
| CKA — Certified Kubernetes Administrator | CNCF |
| CKAD — Certified Kubernetes Application Developer | CNCF |
| AWS Solutions Architect Associate | AWS |
| AWS SysOps Administrator Associate | AWS |
| AWS Developer Associate | AWS |
Verify on Credly: credly.com/users/azizbek-shokosimov