Matt Kaufmann es un científico investigador senior en el Departamento de Ciencias de la Computación de la Universidad de Texas en Austin , Estados Unidos. Recibió el premio ACM Software System Award 2005 junto con Robert S. Boyer y J Strother Moore , por su trabajo en el Boyer-Moore Theorem Prover . [1]
Matt Kaufmann | |
---|---|
Nacionalidad | Estados Unidos |
Ocupación | Científico de la computación |
Empleador | Universidad de Texas en Austin |
Conocido por | Lenguaje de programación Lisp , The Boyer-Moore Theorem Prover |
Premios | Premio al sistema de software ACM |
Referencias
enlaces externos
- Página de inicio de Matt Kaufmann
- Matt Kaufmann en el servidor de bibliografía DBLP