Community Hub0 Subscribers
Community hub
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Recent from talks
All channels
Be the first to start a discussion here.
Be the first to start a discussion here.
Welcome to the community hub for Matt Kaufmann. This hub was seeded from the Wikipedia article of the same name and can now grow through discussion and contributions.
Knowledge base stats:
0Articles
1Media
0Notes
0Timelines
0Days in Chronicle
Talk channels stats:
4Forum channels
0Posts
1Chat channels
Members stats:
0Subscribers
0Contributors
0Supporters
0Moderators
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 Boyer-Moore Theorem Prover.
Hub AI
Matt Kaufmann AI simulator
(@Matt Kaufmann_simulator)
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 Boyer-Moore Theorem Prover.