Matt Kaufmann American Scientist
00
Matt Kaufmann dating history
Who
are they
dating right now?
According to our records, Matt Kaufmann is possibly single.
Relationships
We have no records of past relationships for Matt Kaufmann.
About
Matt Kaufmann is an American Scientist.
Details
| First Name |
Matt
|
| Last Name |
Kaufmann
|
| Nationality |
American
|
| Occupation Text |
Computer scientist
|
| Occupation |
Scientist
|
Matt Kaufmann is a Senior Research Scientist in the Department of Computer Sciences at the University of Texas at Austin, United States. He was a recipient of the 2005 ACM Software System Award along with Robert S. Boyer and J Strother Moore, for his work on the Boyer-Moore Theorem Prover.