Joost-Pieter Katoen

Summary

Joost-Pieter Katoen is a human^[1]. Born in Krimpen aan den IJssel^[2], he… he was born on +1964-10-06T00:00:00Z^[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 (6 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 +1964-10-06T00:00:00Z^[3].
• Joost-Pieter Katoen was born on +1964-00-00T00:00:00Z^[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's image is recorded as Joost-Pieter-Katoen (cropped).jpg^[23].
• Joost-Pieter Katoen is recorded as male^[24].
• Joost-Pieter Katoen's instance of is recorded as human^[25].
• Joost-Pieter Katoen supervised Sebastian Junges as a doctoral student^[26].
• Joost-Pieter Katoen supervised David N. Jansen 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 +1964-10-06T00:00:00Z^[3] and +1964-00-00T00:00:00Z^[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^[26]; David N. Jansen^[27], a researcher^[45]; Viet Yen Nguyen^[46]; Mark Timmer^[47], a researcher^[48]; Mani Swaminathan^[49], a computer scientist^[50]; and Dino Distefano^[51], a mathematician^[52], b. 1973^[53], of Italy^[54].

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 (6 views/month, #7,300 of 1,000,298).^[6] He has Wikipedia articles in 5 language editions, a strong signal of global cultural recognition.^[55] He is known by 6 alternative names across languages and contexts.^[56]

His notable doctoral advisees include Nils Müllner^[57], a computer scientist^[58], b. 1979^[59]; Nils Jansen^[60], a computer scientist^[61]; Carsten Kern^[62], a computer scientist^[63]; Stefan Rieger^[64], a computer scientist^[65]; Martin Richard Neuhäußer^[66], a computer scientist^[67]; and Daniel Klink^[68], a computer scientist^[69].

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].