My work helps make software used by engineers safer and more productive.

Specifically, my research focuses on compilers, hardware synthesis, and other CAD software which generate the specifications for code and computer hardware.

I use machine learning to find malware, bugs, and sources of poor performance in these kinds of tools, which in turn means that the engineers who use these tools can do better work with more confidence that the generated outputs match their intent.