| http://dbpedia.org/ontology/abstract
|
Joost-Pieter Katoen (* 6. Oktober 1964 in … Joost-Pieter Katoen (* 6. Oktober 1964 in Krimpen aan den IJssel) ist ein niederländischer theoretischer Informatiker. Er ist distinguished professor der Informatik und Inhaber des Lehrstuhls für Softwaremodellierung und Verifikation an der RWTH Aachen.Des Weiteren gehört er der Formal Methods & Tools Group der Universität Twente an.mp; Tools Group der Universität Twente an.
, جوست بيتر كاتون (بالإنجليزية: Joost-Pieter … جوست بيتر كاتون (بالإنجليزية: Joost-Pieter Katoen) (ولد في 6 أكتوبر 1964) وهو عالم الكمبيوتر النظري الهولندي في ألمانيا. وهو أستاذ متميز في علوم الكمبيوتر ورئيس مجموعة نمذجة البرمجيات والتحقق في الجامعة التقنية الراينية الفستفالية. كما يعمل بمجموعة الأساليب والأدوات الرسمية بجامعة تفينتي.ة الأساليب والأدوات الرسمية بجامعة تفينتي.
, Joost-Pieter Katoen (born October 6, 1964) … Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University.Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente.; Tools group at the University of Twente.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Concurrency_Theory +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Probabilistic_programming +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Eindhoven_University_of_Technology +
, http://dbpedia.org/resource/University_of_Twente +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Aalborg_University +
, http://dbpedia.org/resource/European_Research_Council +
, http://dbpedia.org/resource/Academia_Europaea +
, http://dbpedia.org/resource/RWTH_Aachen_University +
|
| http://dbpedia.org/ontology/citizenship
|
http://dbpedia.org/resource/Netherlands +
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/RWTH_Aachen_University +
, http://dbpedia.org/resource/University_of_Erlangen-Nuremberg +
, http://dbpedia.org/resource/Philips +
, http://dbpedia.org/resource/University_of_Twente +
, http://dbpedia.org/resource/Eindhoven_University_of_Technology +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Joost-Pieter-Katoen.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://moves.rwth-aachen.de +
, http://www-i2.informatik.rwth-aachen.de/~katoen/ +
, http://dblp.uni-trier.de/pers/hd/k/Katoen:Joost=Pieter +
|
| http://dbpedia.org/ontology/wikiPageID
|
57349298
|
| http://dbpedia.org/ontology/wikiPageLength
|
7960
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1101408391
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/European_Research_Council +
, http://dbpedia.org/resource/Principles_of_Model_Checking +
, http://dbpedia.org/resource/Professional_Doctorate_in_Engineering +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Maastricht +
, http://dbpedia.org/resource/Probabilistic_programming +
, http://dbpedia.org/resource/Netherlands +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/European_Joint_Conferences_on_Theory_and_Practice_of_Software +
, http://dbpedia.org/resource/International_Federation_for_Information_Processing +
, http://dbpedia.org/resource/Academia_Europaea +
, http://dbpedia.org/resource/Krimpen_aan_den_IJssel +
, http://dbpedia.org/resource/Philips +
, http://dbpedia.org/resource/Christel_Baier +
, http://dbpedia.org/resource/RWTH_Aachen_University +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/University_of_Erlangen-Nuremberg +
, http://dbpedia.org/resource/Semantics_%28computer_science%29 +
, http://dbpedia.org/resource/Aalborg_University +
, http://dbpedia.org/resource/University_of_Twente +
, http://dbpedia.org/resource/Probabilistic_programming_language +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/Engineering_and_Physical_Sciences_Research_Council +
, http://dbpedia.org/resource/Category:Dutch_computer_scientists +
, http://dbpedia.org/resource/Concurrency_theory +
, http://dbpedia.org/resource/Oxford +
, http://dbpedia.org/resource/Eindhoven_University_of_Technology +
, http://dbpedia.org/resource/Category:1964_births +
, http://dbpedia.org/resource/Logic_Lane +
, http://dbpedia.org/resource/Concurrency_Theory +
, http://dbpedia.org/resource/Model_checking +
|
| http://dbpedia.org/property/almaMater
|
Eindhoven University of Technology
, University of Twente
|
| http://dbpedia.org/property/awards
|
Distinguished Professor, RWTH Aachen University, awarded 2013
, Member of Academia Europaea, elected 2013
, ERC Advanced Grant, awarded 2018
, Honorary Doctorate, Aalborg University, awarded 2017
|
| http://dbpedia.org/property/caption
|
Joost-Pieter Katoen in Logic Lane, Oxford
|
| http://dbpedia.org/property/citizenship
|
http://dbpedia.org/resource/Netherlands +
|
| http://dbpedia.org/property/fields
|
Concurrency Theory
, Probabilistic Model Checking
, Computer Science
, Probabilistic Programming
|
| http://dbpedia.org/property/name
|
Joost-Pieter Katoen
|
| http://dbpedia.org/property/website
|
http://www-i2.informatik.rwth-aachen.de/~katoen/ +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://dbpedia.org/property/workplaces
|
University of Erlangen-Nuremberg
, University of Twente
, Philips Research Labs
, RWTH Aachen University
, Eindhoven University of Technology
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1964_births +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Category:Dutch_computer_scientists +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Formal_methods_people +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/59929404 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Joost-Pieter_Katoen?oldid=1101408391&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Joost-Pieter-Katoen.jpg +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://www-i2.informatik.rwth-aachen.de/~katoen/ +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Joost-Pieter_Katoen +
|
| http://xmlns.com/foaf/0.1/name
|
Joost-Pieter Katoen
|
| owl:sameAs |
http://viaf.org/viaf/59929404 +
, http://www.wikidata.org/entity/Q52726456 +
, https://orcid.org/0000-0002-6143-1926 +
, http://de.dbpedia.org/resource/Joost-Pieter_Katoen +
, http://dbpedia.org/resource/Joost-Pieter_Katoen +
, http://viaf.org/viaf/818161514236570750003 +
, https://global.dbpedia.org/id/5Ajzf +
, http://ar.dbpedia.org/resource/%D8%AC%D9%88%D8%B3%D8%AA_%D8%A8%D9%8A%D8%AA%D8%B1_%D9%83%D8%A7%D8%AA%D9%88%D9%86 +
, https://dblp.org/pid/k/JoostPieterKatoen +
, http://d-nb.info/gnd/12099996X +
, http://data.bibliotheken.nl/id/thes/p07485299X +
, http://d-nb.info/gnd/1228560323 +
|
| rdf:type |
http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q901 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Species +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q729 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Animal +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q5 +
|
| rdfs:comment |
Joost-Pieter Katoen (born October 6, 1964) … Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University.Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente.; Tools group at the University of Twente.
, جوست بيتر كاتون (بالإنجليزية: Joost-Pieter … جوست بيتر كاتون (بالإنجليزية: Joost-Pieter Katoen) (ولد في 6 أكتوبر 1964) وهو عالم الكمبيوتر النظري الهولندي في ألمانيا. وهو أستاذ متميز في علوم الكمبيوتر ورئيس مجموعة نمذجة البرمجيات والتحقق في الجامعة التقنية الراينية الفستفالية. كما يعمل بمجموعة الأساليب والأدوات الرسمية بجامعة تفينتي.ة الأساليب والأدوات الرسمية بجامعة تفينتي.
, Joost-Pieter Katoen (* 6. Oktober 1964 in … Joost-Pieter Katoen (* 6. Oktober 1964 in Krimpen aan den IJssel) ist ein niederländischer theoretischer Informatiker. Er ist distinguished professor der Informatik und Inhaber des Lehrstuhls für Softwaremodellierung und Verifikation an der RWTH Aachen.Des Weiteren gehört er der Formal Methods & Tools Group der Universität Twente an.mp; Tools Group der Universität Twente an.
|
| rdfs:label |
Joost-Pieter Katoen
, جوست بيتر كاتون
|
