Scholar
Joost-Pieter Katoen
Google Scholar ID: yjjO5_oAAAAJ
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
formal methods
model checking
concurrency theory
probabilistic programming
program verification
Follow
Homepage
↗
Google Scholar
↗
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.
Publications
12 items
Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment
2026
Cited
0
Compositional Reasoning for Probabilistic Automata with Uncertainty
2026
Cited
0
Probabilistic Model Checking Taken by Storm
2026
Cited
0
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
2026
Cited
0
Verification of Robust Multi-Agent Systems
2026
Cited
0
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025
Cited
0
Verifying Sampling Algorithms via Distributional Invariants
2025
Cited
0
A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
2025
Cited
0
Load more
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
Co-authors
187 total
Holger Hermanns
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Christel Baier
TU Dresden
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Benjamin Lucien Kaminski
Professor of Computer Science at Saarland University and Lecturer at University College London
Boudewijn R. Haverkort
University of Twente
Matthias Volk
Assistant Professor, Eindhoven University of Technology
Erika Abraham
Professor, Computer Science Department, RWTH Aachen 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