venkatarun95

I develop Performance Verification and Synthesis, which is a way to use formal methods to design systems that perform reliably

Company:UT Austin

venkatarun95's Following

venkatarun95 doesn’t have any following yet.