Joost-Pieter Katoen (original) (raw)
- جوست بيتر كاتون (بالإنجليزية: Joost-Pieter Katoen) (ولد في 6 أكتوبر 1964) وهو عالم الكمبيوتر النظري الهولندي في ألمانيا. وهو أستاذ متميز في علوم الكمبيوتر ورئيس مجموعة نمذجة البرمجيات والتحقق في الجامعة التقنية الراينية الفستفالية. كما يعمل بمجموعة الأساليب والأدوات الرسمية بجامعة تفينتي. (ar)
- 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. (de)
- 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. (en)
- dbr:Aalborg_University
- dbr:Academia_Europaea
- dbr:European_Research_Council
- dbr:RWTH_Aachen_University
- dbr:University_of_Twente
- dbr:Eindhoven_University_of_Technology
- dbr:Philips
- dbr:RWTH_Aachen_University
- dbr:University_of_Erlangen-Nuremberg
- http://www-i2.informatik.rwth-aachen.de/~katoen/
- http://dblp.uni-trier.de/pers/hd/k/Katoen:Joost=Pieter
- https://moves.rwth-aachen.de
- 57349298 (xsd:integer)
- 7960 (xsd:nonNegativeInteger)
- 1101408391 (xsd:integer)
- dbr:Principles_of_Model_Checking
- dbr:Probabilistic_programming
- dbr:Professional_Doctorate_in_Engineering
- dbr:University_of_Twente
- dbr:International_Federation_for_Information_Processing
- dbc:Living_people
- dbr:Computer_Science
- dbc:German_computer_scientists
- dbr:Eindhoven_University_of_Technology
- dbr:Engineering_and_Physical_Sciences_Research_Council
- dbr:Model_checking
- dbr:Logic_Lane
- dbr:Maastricht
- dbr:Theoretical_computer_science
- dbc:1964_births
- dbc:Dutch_computer_scientists
- dbr:Aalborg_University
- dbr:Academia_Europaea
- dbr:European_Research_Council
- dbr:Formal_verification
- dbr:Oxford
- dbr:Formal_methods
- dbc:Formal_methods_people
- dbr:Philips
- dbr:Krimpen_aan_den_IJssel
- dbr:Netherlands
- dbr:RWTH_Aachen_University
- dbr:Christel_Baier
- dbr:Semantics_(computer_science)
- dbr:University_of_Erlangen-Nuremberg
- dbr:European_Joint_Conferences_on_Theory_and_Practice_of_Software
- dbr:Probabilistic_programming_language
- dbr:Concurrency_theory
- dbr:Concurrency_Theory
- Eindhoven University of Technology (en)
- University of Twente (en)
- (en)
- (en)
- ERC Advanced Grant, awarded 2018 (en)
- Distinguished Professor, RWTH Aachen University, awarded 2013 (en)
- Member of Academia Europaea, elected 2013 (en)
- Honorary Doctorate, Aalborg University, awarded 2017 (en)
- Joost-Pieter Katoen in Logic Lane, Oxford (en)
- Computer Science (en)
- (en)
- Concurrency Theory (en)
- Probabilistic Model Checking (en)
- Probabilistic Programming (en)
- Joost-Pieter Katoen (en)
- Eindhoven University of Technology (en)
- RWTH Aachen University (en)
- University of Erlangen-Nuremberg (en)
- University of Twente (en)
- (en)
- Philips Research Labs (en)
- dbc:Living_people
- dbc:German_computer_scientists
- dbc:1964_births
- dbc:Dutch_computer_scientists
- dbc:Formal_methods_people
- owl:Thing
- foaf:Person
- dbo:Person
- dul:NaturalPerson
- wikidata:Q19088
- wikidata:Q215627
- wikidata:Q5
- wikidata:Q729
- dbo:Animal
- dbo:Eukaryote
- dbo:Scientist
- dbo:Species
- schema:Person
- wikidata:Q901
- جوست بيتر كاتون (بالإنجليزية: Joost-Pieter Katoen) (ولد في 6 أكتوبر 1964) وهو عالم الكمبيوتر النظري الهولندي في ألمانيا. وهو أستاذ متميز في علوم الكمبيوتر ورئيس مجموعة نمذجة البرمجيات والتحقق في الجامعة التقنية الراينية الفستفالية. كما يعمل بمجموعة الأساليب والأدوات الرسمية بجامعة تفينتي. (ar)
- 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. (de)
- 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. (en)
- جوست بيتر كاتون (ar)
- Joost-Pieter Katoen (de)
- Joost-Pieter Katoen (en)
- http://viaf.org/viaf/59929404
- http://d-nb.info/gnd/12099996X
- http://d-nb.info/gnd/1228560323
- https://dblp.org/pid/k/JoostPieterKatoen
- http://viaf.org/viaf/818161514236570750003
- https://orcid.org/0000-0002-6143-1926
- wikidata:Joost-Pieter Katoen
- http://data.bibliotheken.nl/id/thes/p07485299X
- dbpedia-ar:Joost-Pieter Katoen
- dbpedia-de:Joost-Pieter Katoen
- https://global.dbpedia.org/id/5Ajzf
- Joost-Pieter Katoen (en)
is dbo:author of
is dbo:wikiPageWikiLink of
- dbr:List_of_fellows_of_the_Association_for_Computing_Machinery
- dbr:Principles_of_Model_Checking
- dbr:International_Conference_on_Concurrency_Theory
- dbr:International_Symposium_on_Mathematical_Foundations_of_Computer_Science
- dbr:Christel_Baier
is foaf:primaryTopic of