Benjamin Lee Greenman

Benjamin Lee Greenman is an Assistant Professor at the Kahlert School of Computing, part of the John and Maria Price College of Engineering at the University of Utah. His research focuses on programming languages, gradual/migratory type systems, formal methods, and human factors in software development. He holds a Ph.D. from Northeastern University (2020), a CIFellows postdoc at Brown University (2020–2022), and degrees from Cornell University (B.S. in ILR, M.Eng. in CS).

Key projects include:

• Forge: A tool for teaching formal methods with lightweight model finding.
• FlowFPX: Tools for debugging floating-point exceptions in scientific computing.
• LTL Tutor: An adaptive learning system addressing temporal logic misconceptions.
• Gradual Typing Benchmarks: Evaluating performance and guarantees of type systems.

His work emphasizes rigorous methods for language design, including empirical studies, performance evaluation, and human-centered approaches. Recent contributions include exploring misconceptions in LTL education and advancing type system interoperability between typed and untyped code.

Teaching roles include courses on compilers, software verification, and programming languages. He advocates for practical tools like Rhombus (Python-like syntax with Lisp macros) and Static Python’s sound gradual typing system.