James Ezick is the lead for Reservoir's Analytics, Reasoning, and Verification Team. Since joining Reservoir in 2004, he has developed solutions addressing a broad range of research and commercial challenges in verification, compilers, cyber security, software-defined radio, high-performance computing, and data analytics. He received his BS as a double major in Computer Science and Applied Mathematics from SUNY Buffalo in 1997, and MS and PhD degrees in Computer Science from Cornell University in 2000 and 2004.