benjamin.l.greenman@gmail.com
blg@cs.utah.edu
About
CV
Publications
Teaching
Code + Notes
Summer 2025 Research Opportunity: Type Narrowing Learn about LTL misconceptions: https://ltl-tutor.xyz/
