Thomas L. Kempner Professor of Computer Science
Field:
Expertise:
Bitcoin, operating systems, software, kernels
Description:
My research interests include programming languages, compilers, formal methods, and operating systems. In recent years, I have been interested in developing and applying new language-based technologies to build certified system software (e.g., OS kernels and hypervisors).