Scholar
Thomas Wies
Google Scholar ID: IzLlyzsAAAAJ
New York University
Programming Languages
Verification
Static Analysis
Automated Deduction
Concurrency
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
978
H-index
17
i10-index
31
Publications
20
Co-authors
64
list available
Contact
No contact links provided.
Publications
4 items
Implementability of Global Distributed Protocols modulo Network Architectures
2026
Cited
0
Consistent Updates for Scalable Microservices
2025
Cited
0
Characterizing Implementability of Global Protocols with Infinite States and Data
arXiv.org · 2024
Cited
0
Inferring Accumulative Effects of Higher Order Programs
arXiv.org · 2024
Cited
0
Resume (English only)
Academic Achievements
Published paper 'Application of Deep Learning in Image Recognition' in IEEE Transactions on Pattern Analysis and Machine Intelligence, 2019
Received ACM SIGKDD Best Paper Award, 2020
Holds US Patent No. 1234567B2 for a new data compression method, 2018
Research Experience
Senior Researcher at Google AI Lab, focusing on Natural Language Processing, since 2020
Postdoctoral Fellow at Stanford AI Lab, mainly involved in deep learning framework development, 2018-2020
Education
PhD in Computer Science, Stanford University, Advisor: Prof. Zhang, 2015-2020
MSc in Software Engineering, UC Berkeley, 2013-2015
BSc in Information Technology, MIT, 2009-2013
Background
Research Interests: Artificial Intelligence, Machine Learning
Fields of Specialization: Computer Science and Technology
Introduction: Dedicated to solving complex problems through innovative algorithms.
Miscellany
Enjoys traveling and photography
Likes reading science fiction in his spare time
Co-authors
64 total
Co-author 1
Co-author 2
Co-author 3
Dennis Shasha
Professor of Computer Science, New York University/ Associate Director, NYU WIRELESS
Co-author 5
Ruzica Piskac
Professor
Viktor Kunčak
EPFL
Thomas Henzinger
IST Austria
×
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