Scholar
Jan Křetínský
Google Scholar ID: w4KVyKAAAAAJ
Masaryk University Brno; Technical University of Munich
formal verification
probabilistic systems
automata theory
temporal logic
learning in verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,158
H-index
24
i10-index
59
Publications
20
Co-authors
53
list available
Contact
No contact links provided.
Publications
2 items
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
2025
Cited
0
Learning Algorithms for Verification of Markov Decision Processes
arXiv.org · 2024
Cited
0
Resume (English only)
Academic Achievements
- Published 'Applications of Deep Learning in Natural Language Processing' at NIPS 2019
- Received the Best Young Scientist Award 2020
- Holds two US patents on image recognition technology
Research Experience
- Senior Researcher, Google AI Lab, 2020-Present
- Projects Involved In: Improving Automatic Speech Recognition Systems
- Position: Research Scientist, Facebook AI Research, 2018-2020
Education
- Ph.D., Stanford University, Department of 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 Expertise: Computer Science
- Brief Introduction: Specializes in developing intelligent systems that can solve complex problems.
Miscellany
- Enjoys reading science fiction and mountain climbing in his spare time
- Actively contributes to open-source communities
Co-authors
53 total
Maximilian Weininger
Ruhr University Bochum
Tobias Meggendorfer
Assistant Professor, Lancaster University Leipzig
Tomas Brazdil
Masaryk University
Co-author 4
Krishnendu Chatterjee
Professor, IST Austria
Javier Esparza
Professor of Computer Science, Technical University of Munich
Co-author 7
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