GradNova

Programming Languages, Gradual Type Systems, Formal Methods, Human Factors

1 faculty research Programming Languages, Gradual Type Systems, Formal Methods, Human Factors on GradNova.

B

Assistant Professor

School of Computing

University of Utah

Programming Languages, Gradual Type Systems, Formal Methods, Human Factors

Software Engineering Research

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+2