Ben Greenman
Assistant Professor
University of Utah
United States
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI
Contact this professor
Research Interests
Syntax
40%
Mathematical Logic
20%
Programming Language
40%
Computer Science
40%
Type Theory
30%
Software Engineering
20%
Logic Programming
20%
Ask ApplyKite AI
Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?
Articles10
Collaborators4
Christos Dimoulas
Assistant Professor
Northwestern University
UNITED STATES
Sam Tobin-Hochstadt
Indiana State University
UNITED STATES
Shriram Krishnamurthi
Brown University
UNITED STATES
Tim Nelson
Brown University
UNITED STATES
How do I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI