Scholar
Philipp Ruemmer
Google Scholar ID: nL2gavwAAAAJ
Professor in Computer Science, University of Regensburg
Verification
Theorem Proving
Model Checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,111
H-index
25
i10-index
53
Publications
20
Co-authors
20
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Published 'Improved Neural Network Architecture' at ICML 2021
Awarded Best Young Scientist Award 2022
Holds three US patents related to natural language understanding technologies
Research Experience
Google AI Lab, Research Scientist, focused on deep learning model optimization, 2020-Present
Stanford University, Postdoctoral Fellow, conducted research on automatic summarization, 2018-2020
Education
PhD, Stanford University, Computer Science, Advisor: Prof. Li, 2015-2020
MSc, Massachusetts Institute of Technology, Electrical Engineering, 2013-2015
Background
Research interests include machine learning and natural language processing; has a strong background in the field of artificial intelligence.
Miscellany
Enjoys traveling, photography, and reading science fiction novels
Co-authors
20 total
Anthony Widjaja Lin
Professor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software Systems
Daniel Kroening
Amazon
Parosh Abdulla
Professor of Computer Science, Uppsala University
Mohamed Faouzi Atig
Uppsala University
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
Lukas Holik
Brno University of Tehcnology
Viktor Kunčak
EPFL
Zafer Esen
Uppsala 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