Tripti Joshi (Editor)

Matt Kaufmann

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Covid-19
Name  Matt Kaufmann

Books  Computer-aided reasoning
Matt Kaufmann httpswwwcsutexasedukaufmannDSC0445cropp

2015 army football spring practice matt kaufmann


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 The Boyer-Moore Theorem Prover.

Matt Kaufmann Matt Kaufmann Photos Photos AIGNER At The Bambi Awards 2014 Zimbio

Matt Kaufmann Matt Kaufmann Pictures Photos Images Zimbio

References

Matt Kaufmann Wikipedia


Similar Topics
The Chronicles of Narnia: The Voyage of the Dawn Treader
Bret Bailey
Kip Miller
Topics
 
B
i
Link
H2
L