Venkat Arun
@venkatarun95
Assistant professor at UT Austin. I use formal methods to rigorously understand system performance. cs.utexas.edu/~venkatar/
ID: 1196441373680885760
18-11-2019 14:53:59
80 Tweet
684 Takipçi
190 Takip Edilen
@venkatarun95
Assistant professor at UT Austin. I use formal methods to rigorously understand system performance. cs.utexas.edu/~venkatar/
ID: 1196441373680885760
18-11-2019 14:53:59
80 Tweet
684 Takipçi
190 Takip Edilen