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
15 items
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026
Cited
0
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
2026
Cited
0
Caesar: A Deductive Verifier for Probabilistic Programs
2026
Cited
0
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
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