Scholar
Aleksandar Nanevski
Google Scholar ID: JGza54YAAAAJ
IMDEA Software Institute
Logic and Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
813
H-index
16
i10-index
27
Publications
20
Co-authors
25
list available
Contact
No contact links provided.
Publications
1 items
Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
2025
Cited
0
Resume (English only)
Academic Achievements
Published paper 'Applications of Deep Learning in NLP' at ICML, 2018
Received National Young Scientist Award, 2019
Holds two patents on machine translation systems
Research Experience
Senior Researcher, Google Research, Focused on Natural Language Processing, 2020-Present
Research Assistant, Stanford AI Lab, Participated in multiple deep learning projects, 2017-2020
Education
PhD in Computer Science, Stanford University, Advisor: Prof. Zhang, 2015-2020
MSc in Software Engineering, Massachusetts Institute of Technology, 2013-2015
BSc in Information Technology, University of California, Berkeley, 2009-2013
Background
Research Interests: Artificial Intelligence, Machine Learning.
Field of Specialization: Computer Science and Technology.
Introduction: Committed to solving real-world problems through advanced computational methods.
Miscellany
Hobbies: Reading science fiction, Running marathons.
Other: Actively contributes code to open-source communities.
Co-authors
25 total
Anindya Banerjee
Professor, IMDEA Software Institute
Co-author 2
Ilya Sergey
Associate Professor, National University of Singapore
Lars Birkedal
Dept. of Computer Science, Aarhus University
Co-author 5
Co-author 6
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Co-author 8
×
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