(Picture of Cody)
Cody Rivera is a third-year Computer Science Ph.D. student working in the intersection of formal verification and systems. He currently works with Prof. Tianyin Xu to formally verify liveness properties of Kubernetes cloud cluster controllers by writing mechanized proofs in a Temporal Logic of Actions (TLA) style logic. He has previously earned an M.S. degree from the University of Illinois at Urbana-Champaign, and a B.S. degree from the University of Alabama, both in Computer Science.