Joost-Pieter Katoen

Summary

Joost-Pieter Katoen is a human^[1]. Born in Krimpen aan den IJssel^[2], he… he was born on October 6, 1964^[3]. He worked as a computer scientist^[4] and university teacher^[5]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (4 views/month, #7,300 of 1,000,298).^[6]

Key Facts

• Joost-Pieter Katoen was born in Krimpen aan den IJssel^[2].
• Joost-Pieter Katoen was born on October 6, 1964^[3].
• Joost-Pieter Katoen was born on 1964^[7].
• Joost-Pieter Katoen held citizenship in Kingdom of the Netherlands^[8].
• Joost-Pieter Katoen worked as a computer scientist^[4].
• Joost-Pieter Katoen's professions included university teacher^[5].
• Joost-Pieter Katoen's field of work was informatics^[9].
• Joost-Pieter Katoen's field of work was formal verification^[10].
• Joost-Pieter Katoen's field of work was computational approach^[11].
• Joost-Pieter Katoen's field of work was semantics^[12].
• Joost-Pieter Katoen's field of work was computer science^[13].
• Joost-Pieter Katoen was employed by University of Twente^[14].
• Among Joost-Pieter Katoen's employers was RWTH Aachen University^[15].
• Joost-Pieter Katoen's doctoral advisor was Christian Anton Vissers^[16].
• Joost-Pieter Katoen's doctoral advisor was Hendrik Brinksma^[17].
• A notable student of Joost-Pieter Katoen was Tingting Han^[18].
• Joost-Pieter Katoen received the ACM Fellow^[19].
• Joost-Pieter Katoen was a member of Academia Europaea^[20].
• Joost-Pieter Katoen was a member of Association for Computing Machinery^[21].
• Joost-Pieter Katoen was a member of German Academy of Sciences Leopoldina^[22].
• Joost-Pieter Katoen is recorded as male^[23].
• Joost-Pieter Katoen's instance of is recorded as human^[24].
• Joost-Pieter Katoen supervised Sebastian Junges as a doctoral student^[25].
• Joost-Pieter Katoen supervised David N. Jansen as a doctoral student^[26].
• Joost-Pieter Katoen supervised Viet Yen Nguyen as a doctoral student^[27].

Body

Origins and Family

Joost-Pieter Katoen was born in Krimpen aan den IJssel^[2]. Recorded date of birth include October 6, 1964^[3] and 1964^[7].

Education

Doctoral advisors include Christian Anton Vissers^[16] and Hendrik Brinksma^[17], a computer scientist^[28], b. 1957^[29], of Kingdom of the Netherlands^[30], awarded the Officer of the Order of Orange-Nassau^[31], specialised in mathematics^[32].

Career and Affiliations

Recorded occupations include computer scientist^[4] and university teacher^[5]. Fields of work include informatics^[9], an academic major^[33], founded in 1957^[34]; formal verification^[10]; computational approach^[11]; semantics^[12], an academic major^[35]; and computer science^[13], an academic discipline^[36]. Employers include University of Twente^[14], a university^[37], in Netherlands^[38], founded in 1961^[39], headquartered in Enschede^[40] and RWTH Aachen University^[15], a public university^[41], in Germany^[42], founded in 1870^[43], headquartered in Aachen^[44]. A notable student of Joost-Pieter Katoen was Tingting Han^[18]. Doctoral students include Sebastian Junges^[25]; David N. Jansen^[26], a researcher^[45]; Viet Yen Nguyen^[27]; Mark Timmer^[46], a researcher^[47]; Mani Swaminathan^[48], a computer scientist^[49]; and Dino Distefano^[50], a mathematician^[51], b. 1973^[52], of Italy^[53].

Recognition

Joost-Pieter Katoen received the ACM Fellow^[19].

Why It Matters

Joost-Pieter Katoen ranks in the top 0.73% of human entities by monthly Wikipedia readership (4 views/month, #7,300 of 1,000,298).^[6] He has Wikipedia articles in 5 language editions, a strong signal of global cultural recognition.^[54] He is known by 6 alternative names across languages and contexts.^[55]

His notable doctoral advisees include Martin Richard Neuhäußer^[56], a computer scientist^[57]; Daniel Klink^[58], a computer scientist^[59]; Alexandru Mereacre^[60], a computer scientist^[61]; Haidi Yue^[62], a computer scientist^[63]; Hongfei Fu^[64], a computer scientist^[65]; and Arpit Sharma^[66], a computer scientist^[67].

FAQs

Where was Joost-Pieter Katoen born?

Joost-Pieter Katoen was born in Krimpen aan den IJssel^[2].

What did Joost-Pieter Katoen do for work?

Joost-Pieter Katoen worked as computer scientist^[4] and university teacher^[5].

What awards did Joost-Pieter Katoen receive?

Honors received include ACM Fellow^[19].