Joost-Pieter Katoen

CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1964 birth Fellow of the Association for Computing Machinery German computer scientist Living person Dutch computer scientist
rdfs:label	Joost-Pieter Katoen
owl:sameAs	dbr:Joost-Pieter_Katoen
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1964_births http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:German_computer_scientists http://en.wikipedia.org/wiki/Category:Dutch_computer_scientists
skos:prefLabel	Joost-Pieter Katoen
skos:altLabel	Katoen, J.
clgo:academicDiscipline	Computer science Model checking Probabilistic programming
clgo:almaMater	University of Twente Eindhoven University of Technology
clgo:award	European Research Council RWTH Aachen University Academia Europaea Aalborg University
clgo:birthYear	1964
clgo:citizenship	Netherlands
clgo:institution	University of Twente RWTH Aachen University University of Erlangen–Nuremberg Philips Eindhoven University of Technology
clgo:nationality	Netherlands
is clgo:author of	Principles of Model Checking

About: clgr:Joost-Pieter_Katoen