Watkins, Kevin
Edit Page
Report
Scan day: 15 February 2014 UTC
22
Virus safety - good
Description: SCS CSD graduate assistant.
, but am currently ABD (all but dissertation) in absentia. I am currently serving as a Senior Software Engineer at QVT Financial LP. on Conway's Lost Cosmological Theorem. My research interests include programming languages, logical frameworks, type theory, linear and substructural logics, and logic programming. Some of my papers and (CMU access only) drafts are available on my
Size: 385 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Kevin Watkins |
| Keywords: | |
| Description: | |
| IP-address: | 128.2.217.13 |
WHOIS Info
| NS | Name Servers: NSAUTH1.NET.CMU.EDU 128.2.1.8 NSAUTH2.NET.CMU.EDU 128.237.148.168 |
| WHOIS | |
| Date | activated: 24-Apr-1985 last updated: 16-Sep-2010 expires: 31-Jul-2014 |