Back to Results
First PageMeta Content
Logic in computer science / Type theory / Formal methods / Automated theorem proving / Logical framework / Twelf / Logic programming / Prolog / Programming language / Programming language theory / Theoretical computer science / Software engineering


Kevin Watkins 1570 Bridgeview Drive · San Diego CA 92105 · [removed]removed] · http://www.cs.cmu.edu/~kw
Add to Reading List

Document Date: 2007-09-27 15:02:09

Open Document

File Size: 36,56 KB

Share Result on Facebook

City

Florence / /

Company

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++ / /

RadioStation

2001 With / 1998 With / /

Technology

de-noising algorithms / Java / Unix / Linux / Routing Algorithms / Perl / simulation / Image Processing / /

URL

http /

SocialTag