Swarat Chaudhuri
@swarat
Professor @UTCompSci. Automated Reasoning + Machine Learning + Formal Methods. Visiting Researcher at @GoogleDeepmind London.
ID: 45724845
http://www.cs.utexas.edu/~swarat 09-06-2009 01:10:07
1,1K Tweet
2,2K Takipçi
595 Takip Edilen