Summary
Otávio De Oliveira Souza is a Software Development Engineer at Amazon and a Ph.D. candidate at UFMG with a decade of experience building high-performance distributed systems and cloud services. He designs scalable microservices, drives automation and observability improvements, and enforces security and compliance through thorough technical reviews and documentation. Previously at Cadence he engineered critical features for JasperGold’s CDC verification tool using C++, Java, and Tcl, gaining deep domain expertise in clock-domain verification. His research on self-adjusting networks and efficient routing for IoT has earned a Google Research Award for Latin America and a Best Paper at SBRC 2022, reflecting a strong bridge between theory and production systems. Otávio also teaches algorithms and data structures, signaling a commitment to mentoring and clear technical communication. Based in Minas Gerais, Brazil, he blends academic rigor with hands-on product development to solve complex, large-scale engineering problems.
10 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Universidade Federal de Minas Gerais
English, Portuguese