Moises Campos Zepeda is a graduate research assistant for the VERA project and a current master’s student in Computer Science at Georgia Tech. Outside the lab, he works as a Site Reliability Engineer at IBM Security, supporting verification-related products and infrastructure.

He pursued his undergraduate studies in Electrical Engineering at the University of Costa Rica. He has also previously worked in Boston Scientific on software testing and automation for medical devices and interned with the ASICs Verification team for HPE-Aruba.

In his free time, he enjoys learning languages, playing the guitar, and RPG video games.