Matt Kaufmann - Matt Kaufmann

Matt Kaufmann
J Strother Moore, Matt Kaufmann FLoC 2006.jpg
Matt Kaufmann (vpravo) s J Strother Moore 2006
NárodnostSpojené státy
obsazeníPočítačový vědec
ZaměstnavatelUniversity of Texas v Austinu
Známý jakoProgramovací jazyk Lisp, Poskytovatel věty Boyer-Moore
OceněníACM Cena za softwarový systém

Matt Kaufmann je vedoucí vědecký pracovník na katedře počítačových věd na University of Texas v Austinu, Spojené státy. Byl příjemcem roku 2005 ACM Cena za softwarový systém spolu s Robert S. Boyer a J Strother Moore za jeho práci na internetu Poskytovatel věty Boyer-Moore.[1]

Reference

  1. ^ Matt Kaufman: The Boyer-Moore Theorem Prover (2005) Archivováno 2009-08-27 na Wayback Machine, Sdružení pro výpočetní techniku, 2005.

externí odkazy