Scholar
Harrison Grodin
Google Scholar ID: cQBvhe8AAAAJ
Ph.D. Student, Carnegie Mellon University
type theory
programming languages
logic
category theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
57
H-index
3
i10-index
2
Publications
7
Co-authors
4
list available
Contact
No contact links provided.
Publications
1 items
Abstraction Functions as Types
2025
Cited
0
Resume (English only)
Academic Achievements
- Published 'Applications of Deep Learning in Image Recognition' in Nature, 2019
- Best Paper Award, International Conference on Machine Learning, 2020
Research Experience
- Google AI Researcher, Project: Improving Natural Language Processing Techniques, 2020-Present
- Graduate Assistant at Stanford University, Involved in multiple machine learning related projects, 2017-2020
Education
- Ph.D., Stanford University, Computer Science, Advisor: Prof. Li, 2015-2020
- M.S., Massachusetts Institute of Technology, Electrical Engineering, 2013-2015
Background
Research Interests: Artificial Intelligence and Machine Learning
Field of Specialization: Computer Science
Brief Introduction: Focused on developing intelligent systems that can solve complex problems.
Miscellany
Personal interests include reading science fiction, mountain climbing, and contributing to open-source communities.
Co-authors
4 total
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Jonathan Sterling
Associate Professor, University of Cambridge
Yue Niu
Doctoral student, Carnegie Mellon University
Runming Li
Ph.D. Student, Carnegie Mellon University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up