Ben Greenman
Assistant Professor
University of Utah
United States
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Chinese students 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 Chinese students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI