Crary, Karl
Edit Page
Report
Scan day: 15 February 2014 UTC
22
Virus safety - good
Description: SCS CSD Assistant Professor's research, publications and teaching.
My research interests are in applying programming language technology to improve the development, maintenance, and performance of software systems. I am particularly interested in the application of type theory to systems programming, in mechanization of the metatheory of programming languages, in type-oriented compilation strategies, in type-based certification of machine code, and in the design of practical, high- or low-level programming languages.
Size: 455 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Karl Crary |
| 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 |