Ben Greenman | Teaching | The University of Utah

Skip to main content All people

Assistant Professor

School of Computing

Orcid identifier0000-0001-7078-9287 (opens in a new tab)⁠

Assistant Professor
School of Computing

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

programming languages, software verification, compilers, formal methods

sort by:

COURSE TAUGHT
Advanced Seminar
5 Jan 2026 - 21 Apr 2026
COURSE TAUGHT
PhD Dissertation Rsrch
5 Jan 2026 - 21 Apr 2026
COURSE TAUGHT
Software Verification
5 Jan 2026 - 21 Apr 2026
COURSE TAUGHT
Software Verification
5 Jan 2026 - 21 Apr 2026
COURSE TAUGHT
PhD Dissertation Rsrch
18 Aug 2025 - 4 Dec 2025
COURSE TAUGHT
Programming for All 2
18 Aug 2025 - 4 Dec 2025
COURSE TAUGHT
Programming for All 2
18 Aug 2025 - 4 Dec 2025
COURSE TAUGHT
Programming for All 2
18 Aug 2025 - 4 Dec 2025
COURSE TAUGHT
Programming for All 2
18 Aug 2025 - 4 Dec 2025
COURSE TAUGHT
PhD Dissertation Rsrch
12 May 2025 - 30 Jul 2025
COURSE TAUGHT
Advanced Seminar
6 Jan 2025 - 22 Apr 2025
COURSE TAUGHT
Compilers
6 Jan 2025 - 5 May 2025
COURSE TAUGHT
Compilers
6 Jan 2025 - 22 Apr 2025
COURSE TAUGHT
PhD Dissertation Rsrch
6 Jan 2025 - 22 Apr 2025
COURSE TAUGHT
Independent Study
19 Aug 2024 - 5 Dec 2024
COURSE TAUGHT
PhD Dissertation Rsrch
19 Aug 2024 - 5 Dec 2024
COURSE TAUGHT
PhD Dissertation Rsrch
13 May 2024 - 31 Jul 2024
COURSE TAUGHT
Independent Study
8 Jan 2024 - 23 Apr 2024
COURSE TAUGHT
PhD Dissertation Rsrch
8 Jan 2024 - 23 Apr 2024
COURSE TAUGHT
Software Verification
8 Jan 2024 - 23 Apr 2024
COURSE TAUGHT
Software Verification
8 Jan 2024 - 23 Apr 2024
COURSE TAUGHT
Independent Study
21 Aug 2023 - 7 Dec 2023
COURSE TAUGHT
Independent Study
21 Aug 2023 - 7 Dec 2023
COURSE TAUGHT
PhD Dissertation Rsrch
21 Aug 2023 - 7 Dec 2023
COURSE TAUGHT
Programming Language
21 Aug 2023 - 7 Dec 2023