venkatarun95
I develop Performance Verification and Synthesis, which is a way to use formal methods to design systems that perform reliably
UT Austin
venkatarun95's Followers
- tejas012321011Indian Institute of Technology, Kanpur
- BDHUUniversity of Texas at Austin
- qweiors
- adney11University of Texas at Austin
- ZiruiOu
- milzero深圳
- lin72h
- LimaniBhavik@Widle-Studio
- xiong5
- dileep-kishoreOak Ridge National Laboratory
- lhz-1236
- liecnGaia
- TianfangChang
- daneshzg
- gaow0007Nanyang Technological University
- ruipeterpanPrinceton, New Jersey
- jmscottSetSpace
- deepakc7yAalto University
- dikshieKeio University
- msnitish
- SuviSree
- albertgranETH Zürich
- yemaedahrav@microsoft
- YunMoZhang
- sethuramanioUniversity of illinois, urbana - champaign
- HuYuHua
- Harsh14901
- ATCPInstitute of Computing Technology
- commshare
- Bepartofyoualibaba
- peakyblinder
- mengziliHKUST
- PhilChinaStudent
- prwangMIT
- pmcgleenonnewry
- ychi1