I am currently a Senior Technical Fellow at Certora, Inc.. I was formerly a post-doctoral researcher at Kyoto University in the lab of Prof. Atsushi Igarashi. I graduated with a PhD in March 2019 from the Computer Science and Engineering department at the University of Washington.