This is Soma’s Recipe Blog! | [“Soma’s Recipe Blog”]
I am a principal researcher at Certora and affiliate assistant professor at University of Washington, Seattle. Before this, I graduated with a PhD from the PLSE group at the University of Washington, Seattle where I worked with my incredible advisors, Zachary Tatlock and Dan Grossman .
Currently, I am intersted in building tools for scaling automated formal verification to real-world programs; we are focusing on DeFi applications specifically. As part of this vision, we are working on techniques to help users write formal specifications more easily using mutation testing . I also work on equality saturation and its applications in synthesis, verification, and optimization. Our work on Carpentry Compiler and Szalinski are some of the first tools that use equality saturation as a technique
We have a fantastic running club as part of which we run all over Seattle. We also take part in numerous marathons, half-marathons and relay races!
This is Soma’s Recipe Blog! | [“Soma’s Recipe Blog”]