SRI International / Optivus Technology Inc. / NASA Jet Propulsion Laboratory / CVS / /
Country
Japan / Italy / / /
Facility
Carnegie Mellon University / NASA Jet Propulsion Laboratory / Kobe University / Harvey Mudd College / /
IndustryTerm
constructed custom hardware / image processing / leftover food / formal software verification / web appliance / de-noising algorithms / theorem proving systems / web cam / type systems / proof search / software distribution / /
OperatingSystem
Unix / Linux / Microsoft Windows / /
Organization
World Champion Team / office of Naval Research / National Science Foundation / Carnegie Mellon University / National Aeronautics and Space Administration / Kobe University / Harvey Mudd College / /
Person
Kevin Watkins / / /
Position
advisor / professor / head teaching assistant / teaching assistant and visiting lecturer / /
ProgrammingLanguage
Haskell / Perl / Mathematica / SQL / Standard ML / XML / Prolog / Java / ML / C++ / /