Doctoral Student Research in Programming Languages, HPC & Formal Methods
Research into programming languages, HPC & formal methods includes new language abstractions for principled programming, compiler construction and optimization, software technology for parallel computing, compilers and architectures for low-power and inexact computing, formal reasoning about program correctness, and computer-assisted programming.
Faculty members leading research in Programming Languages, HPC, and Formal Methods are as follows:
- Robert "Corky" Cartwright
- Keith Cooper
- Kostas Mamouras
- John Mellor-Crummey
- Krishna Palem
- Moshe Vardi
- Stephen Wong
The videos below represent current student research projects.