Category:Matt Kaufmann
Jump to navigation
Jump to search
English: Matt Kaufmann is a Senior Research Scientist in the Department of Computer Sciences at the University of Texas at Austin, USA.
American computer scientist | |||||
Upload media | |||||
Country of citizenship | |||||
---|---|---|---|---|---|
Educated at | |||||
Doctoral advisor |
| ||||
Occupation | |||||
Employer | |||||
Award received |
| ||||
| |||||
Media in category "Matt Kaufmann"
The following 3 files are in this category, out of 3 total.
-
ACM 2005 Software System Award.jpg 432 × 640; 66 KB
-
FLoC2006 ACL2 Special Congratulations.jpg 640 × 432; 118 KB
-
J Strother Moore, Matt Kaufmann FLoC 2006.jpg 640 × 432; 146 KB