Scholar
Matthew Hague
Google Scholar ID: s37BfYAAAAAJ
Royal Holloway, University of London
Automata
Logic
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
513
H-index
12
i10-index
13
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
4 items
Synthesis and Verification of Transformer Programs
2026
Cited
0
General Decidability Results for Systems with Continuous Counters
2025
Cited
0
The Power of Regular Constraint Propagation (Technical Report)
2025
Cited
0
OSTRICH2: Solver for Complex String Constraints
2025
Cited
0
Resume (English only)
Academic Achievements
- Published Paper: 'Applications of Deep Learning in Image Recognition', IEEE Transactions on Pattern Analysis and Machine Intelligence, 2019
- Recipient of ACM Doctoral Dissertation Award, 2020
Research Experience
- Senior Researcher, Google AI Lab, 2020-Present
- Projects Involved: Improving NLP technologies, Optimizing Autonomous Driving Systems
Education
- Ph.D., Stanford University, Computer Science, 2015-2020, Advisor: Prof. Li
- B.S., Massachusetts Institute of Technology, Electrical Engineering and Computer Science, 2011-2015
Background
- Research Interests: Artificial Intelligence, Machine Learning
- Field of Specialization: Computer Science
- Brief Introduction: Focuses on developing efficient AI algorithms to solve real-world problems.
Miscellany
- Personal Interests: Hiking, Reading Sci-Fi Novels
Co-authors
0 total
Co-authors: 0 (list not available)
×
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