Siva K. Somayyajula
Experience
Applied Scientist II,
Automated Reasoning Group, Amazon Web Services
Education
Ph.D. in Computer Science, Carnegie Mellon University
B.A. in Mathematics and Computer Science, Cornell University
