B
Ben Greenman
Assistant Professor
GradNova doesn't forward messages to faculty. To contact Ben Greenman, use the University of Utah website.
Research Interests
Programming Languages, Gradual Type Systems, Formal Methods, Human Factors
Software Engineering Research
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Formal Methods in Verification
Software Testing and Debugging Techniques
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →