Joost-Pieter Katoen
E875186
Joost-Pieter Katoen is a computer scientist known for his contributions to formal methods, model checking, and probabilistic verification.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Joost-Pieter Katoen canonical | 1 |
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf | person ⓘ |
| affiliation | Software Modeling and Verification Group at RWTH Aachen University NERFINISHED ⓘ |
| almaMater | University of Twente NERFINISHED ⓘ |
| awardReceived |
ERC Advanced Grant
NERFINISHED
ⓘ
ERC Grant for probabilistic verification research NERFINISHED ⓘ |
| citizenship | Netherlands NERFINISHED ⓘ |
| countryOfEmployment |
Germany
NERFINISHED
ⓘ
Netherlands NERFINISHED ⓘ |
| editorialBoardMemberOf |
Formal Methods in System Design
NERFINISHED
ⓘ
Information and Computation NERFINISHED ⓘ Journal of Logical and Algebraic Methods in Programming NERFINISHED ⓘ |
| employer |
RWTH Aachen University
NERFINISHED
ⓘ
University of Twente NERFINISHED ⓘ |
| fieldOfWork |
computer science
ⓘ
concurrency theory ⓘ formal methods ⓘ model checking ⓘ probabilistic model checking ⓘ probabilistic verification ⓘ verification of probabilistic systems ⓘ |
| hasAcademicDegree | PhD in computer science ⓘ |
| hasHIndex | high citation impact in formal methods and verification ⓘ |
| hasRole |
program committee chair of model checking conferences
ⓘ
program committee member of formal methods conferences ⓘ |
| knownFor |
contributions to formal methods
ⓘ
contributions to model checking ⓘ contributions to probabilistic verification ⓘ formal verification of probabilistic systems ⓘ model checking of real-time and stochastic systems ⓘ probabilistic model checking ⓘ |
| languageSpoken |
Dutch
ⓘ
English ⓘ |
| memberOf | IFIP Working Group 2.2 (formal description of programming concepts) NERFINISHED ⓘ |
| name | Joost-Pieter Katoen NERFINISHED ⓘ |
| nationality | Dutch ⓘ |
| notableWork |
Principles of Model Checking
NERFINISHED
ⓘ
textbook on probabilistic model checking ⓘ |
| positionHeld | professor of computer science ⓘ |
| researchInterest |
Markov decision processes
NERFINISHED
ⓘ
automated verification ⓘ quantitative verification ⓘ stochastic systems ⓘ temporal logic ⓘ |
| supervises | PhD students in formal verification ⓘ |
| teaches |
courses on formal methods
ⓘ
courses on model checking ⓘ |
| workLocation | Aachen NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.