GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of Utah
/
Ben Greenman
B
Ben Greenman
Assistant Professor
School of Computing
,
University of Utah
Research Interests
Formal Methods
Gradual Type Systems
Human Factors
Programming Languages
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
Embedded Systems Design Techniques
Academic Metrics
Links
Grants