Kevin Watkins

1570 Bridgeview Drive
San Diego CA 92105
+1 (619) 754-3117
Printable version available online

Summary of Qualifications

Extensive programming experience; languages include C++, Java, Perl, Haskell, ML, Scheme, Mathematica. Other experience: TCP/IP/sockets, threads/concurrency, assembly, Unix, Linux kernel, Windows, cygwin, CVS/svn/darcs, Eclipse, XML, SQL, OpenGL. Research background includes published work in language design and formal analysis of software.


Ph.D. candidate in Computer Science, Carnegie Mellon University

M.S. in Computer Science, Carnegie Mellon University, 2006

B.S. in Mathematics and Computer Science, Harvey Mudd College, 1998


Graduate Research, Carnegie Mellon University, 1998-present

Undergraduate Research, Harvey Mudd College, 1993-1998


Graduate Research Fellowship, National Science Foundation, 1998-2001

Computer Science Department Class of '94 Award, Harvey Mudd College, 1998

Member of World Champion Team, ACM International Collegiate Programming Contest, 1997


Service Contributions

Publications and Presentations

A list of publications and presentations is available online.