Jan Křetínský
Scholar

Jan Křetínský

Google Scholar ID: w4KVyKAAAAAJ
Masaryk University Brno; Technical University of Munich
formal verificationprobabilistic systemsautomata theorytemporal logiclearning in verification
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.
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