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
Faculty members leading research in Programming Languages, HPC, and Formal Methods are as follows:
The videos below represent current student research projects.