Joost-Pieter Katoen
Scholar

Joost-Pieter Katoen

Google Scholar ID: yjjO5_oAAAAJ
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
formal methodsmodel checkingconcurrency theoryprobabilistic programmingprogram verification
Citations & Impact
All-time
Citations
11,236
 
H-index
42
 
i10-index
161
 
Publications
20
 
Co-authors
187
list available
Contact
No contact links provided.
Resume (English only)
Academic Achievements
  • - Published over 20 papers in top-tier journals and conferences
  • - Recipient of the Best Research Award in 2019
  • - Holds 3 patents related to deep learning algorithms
Research Experience
  • - Senior Researcher, Google AI Lab, 2020-Present
  • - Involved in several internationally renowned AI projects, focusing on the development of natural language processing technologies.
Education
  • - Ph.D., Stanford University, Department of Computer Science, 2015-2020, Advisor: Professor Zhang
  • - M.S., Massachusetts Institute of Technology, Electrical Engineering and Computer Science, 2013-2015
Background
  • - Research Interests: Artificial Intelligence, Machine Learning
  • - Field of Specialization: Computer Science
  • - Brief Introduction: Dedicated to developing intelligent systems that can solve complex problems.
Miscellany
  • - Enjoys reading science fiction novels in his spare time
  • - Also has a strong interest in photography