Age, Biography and Wiki
Joost-Pieter Katoen was born on 6 October, 1964 in Krimpen aan den IJssel, Netherlands, is a Dutch theoretical computer scientist. Discover Joost-Pieter Katoen's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 59 years old?
| Popular As |
N/A |
| Occupation |
N/A |
| Age |
59 years old |
| Zodiac Sign |
Libra |
| Born |
6 October, 1964 |
| Birthday |
6 October |
| Birthplace |
Krimpen aan den IJssel, Netherlands |
| Nationality |
Netherlands
|
We recommend you to check the complete list of Famous People born on 6 October.
He is a member of famous computer with the age 59 years old group.
Joost-Pieter Katoen Height, Weight & Measurements
At 59 years old, Joost-Pieter Katoen height not available right now. We will update Joost-Pieter Katoen's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.
| Physical Status |
| Height |
Not Available |
| Weight |
Not Available |
| Body Measurements |
Not Available |
| Eye Color |
Not Available |
| Hair Color |
Not Available |
Dating & Relationship status
He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.
| Family |
| Parents |
Not Available |
| Wife |
Not Available |
| Sibling |
Not Available |
| Children |
Not Available |
Joost-Pieter Katoen Net Worth
His net worth has been growing significantly in 2023-2024. So, how much is Joost-Pieter Katoen worth at the age of 59 years old? Joost-Pieter Katoen’s income source is mostly from being a successful computer. He is from Netherlands. We have estimated Joost-Pieter Katoen's net worth, money, salary, income, and assets.
| Net Worth in 2024 |
$1 Million - $5 Million |
| Salary in 2024 |
Under Review |
| Net Worth in 2023 |
Pending |
| Salary in 2023 |
Under Review |
| House |
Not Available |
| Cars |
Not Available |
| Source of Income |
computer |
Joost-Pieter Katoen Social Network
Timeline
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.
Joost-Pieter Katoen was born in Krimpen aan den IJssel in 1964.
Katoen is married and has three sons.
In his private time, he enjoys cycling and listening to music.
Katoen received his master's degree with distinction in Computer Science from the University of Twente in 1987.
In 1990, he was awarded a Professional Doctorate in Engineering from the Eindhoven University of Technology, and in 1996, he received his Ph.D. in computer science from the University of Twente.
Katoen's main research interests are formal methods, computer aided verification, in particular model checking, concurrency theory, and semantics, in particular semantics of probabilistic programming languages.
His research is largely tool and application oriented.
Together with Christel Baier he wrote and published the book Principles of Model Checking.
From 1997 to 1999, Katoen was a postdoctoral researcher at the University of Erlangen-Nuremberg.
In 1999, he became an associate professor at the University of Twente, where he still holds a part-time position.
In 2004, he was appointed a full professor at RWTH Aachen University.
From 2006 to 2010, he was engaged in the Review College of the British Engineering and Physical Sciences Research Council (EPSRC).
In 2013, Katoen became Theodore von Kármán Fellow and Distinguished Professor at RWTH Aachen University.
Also in 2013, he was elected member of the Academia Europaea.
During 2015-2019 he chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS).
Katoen's work has received various recognitions among which best / distinguished paper awards (e.g. as ETAPS 2016, IEEE SRDS 2017, LOPSTR 2020 and POPL 2021).
In 2022, he received the CONCUR test-of-time award for his CONCUR 1999 paper and in 2023 the Jean-Claude Laprie Award on Dependable Computing for his 2003 paper with Baier, Haverkort and Hermanns on Model-Checking of Continuous-Time Markov chains.
In 2017, he received an honorary doctorate from Aalborg University.
For his commitment to work-life balance, especially for young Ph.D. students with children, he was awarded the FAMOS Prize by RWTH Aachen University in 2017.
In 2018, Katoen was awarded the highly remunerated ERC Advanced Grant.
In 2020, Katoen became an ACM Fellow and in 2021, he was elected as member of the Royal Holland Society of Science and Humanities (KHMW).
In 2022, he was elected as member of the North Rhine-Westphalian Academy of Science, Humanities and the Arts.
Katoen is a founding member of the IFIP Working Group (WG) 1.8 on Concurrency Theory and a member of the WG 2.2 Formal Description of Programming Concepts.
Since 2020, he chairs the Steering Committee of the TACAS (Tools and Algorithms for the Construction and Analysis of Systems) conference.
