Body

GRADUATE RESEARCH

Programming Languages, HPC & Formal Methods

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.

Body
Programming Languages, HPC & Formal Methods