Ben Greenman

Assistant Professor

School of Computing

University of Utah, Kahlert School of Computing, 50 Central Campus Drive, Salt Lake City, UT, 84112, USA

programming languages, type systems, logics, domain-specific languages, interoperability, gradual typing, human factors

sort by:

EXTERNAL GRANT OR CONTRACT
ACCELERATING COMPILERS WITH PROGRAM SYNTHESIS
1 May 2026 - 30 Apr 2029
EXTERNAL GRANT OR CONTRACT
DE: ON-DEMAND SEMANTIC ANALYSIS VIA PROGRAM SYNTHESIS
1 May 2026 - 30 Apr 2029
EXTERNAL GRANT OR CONTRACT
VERIFIED GENERATIVE AI FOR OPTIMIZING LLVM
UNIVERSITY OF UTAH RESEARCH FOUNDATION1 May 2025 - 30 Apr 2026
UNIVERSITY OF UTAH RESEARCH FOUNDATION

RESEARCH INTERESTS