Professor @UTCompSci. Automated Reasoning + Machine Learning + Formal Methods. Visiting Researcher at @GoogleDeepmind London.

ID: 45724845

linkhttp://www.cs.utexas.edu/~swarat calendar_today09-06-2009 01:10:07