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


