J u m p t o c o n t e n t
M a i n m e n u
M a i n m e n u
N a v i g a t i o n
● M a i n p a g e ● C o n t e n t s ● C u r r e n t e v e n t s ● R a n d o m a r t i c l e ● A b o u t W i k i p e d i a ● C o n t a c t u s ● D o n a t e
C o n t r i b u t e
● H e l p ● L e a r n t o e d i t ● C o m m u n i t y p o r t a l ● R e c e n t c h a n g e s ● U p l o a d f i l e
S e a r c h
Search
A p p e a r a n c e
● C r e a t e a c c o u n t ● L o g i n
P e r s o n a l t o o l s
● C r e a t e a c c o u n t ● L o g i n
P a g e s f o r l o g g e d o u t e d i t o r s l e a r n m o r e ● C o n t r i b u t i o n s ● T a l k
( T o p )
1 E d u c a t i o n
2 R e s e a r c h
3 C a r e e r
4 P e r s o n a l l i f e
5 S e e a l s o
6 R e f e r e n c e s
T o g g l e t h e t a b l e o f c o n t e n t s
J o o s t - P i e t e r K a t o e n
3 l a n g u a g e s
● ا ل ع ر ب ي ة ● D e u t s c h ● F r a n ç a i s
E d i t l i n k s
● A r t i c l e ● T a l k
E n g l i s h
● R e a d ● E d i t ● V i e w h i s t o r y
T o o l s
T o o l s
A c t i o n s
● R e a d ● E d i t ● V i e w h i s t o r y
G e n e r a l
● W h a t l i n k s h e r e ● R e l a t e d c h a n g e s ● U p l o a d f i l e ● S p e c i a l p a g e s ● P e r m a n e n t l i n k ● P a g e i n f o r m a t i o n ● C i t e t h i s p a g e ● G e t s h o r t e n e d U R L ● D o w n l o a d Q R c o d e ● W i k i d a t a i t e m
P r i n t / e x p o r t
● D o w n l o a d a s P D F ● P r i n t a b l e v e r s i o n
A p p e a r a n c e
F r o m W i k i p e d i a , t h e f r e e e n c y c l o p e d i a
Dutch theoretical computer scientist
Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor[1] [2] at RWTH Aachen University .
Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente .[3]
Education [ edit ]
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.[4]
Research [ edit ]
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 .[5]
Together with Christel Baier he wrote and published the book Principles of Model Checking [6]
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.[3]
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 .[7] Aalborg University .[8] ERC Advanced Grant .[9] [10] ACM Fellow and in 2021, he was elected as member of the Royal Holland Society of Science and Humanities (KHMW).[11] [12] North Rhine-Westphalian Academy of Science, Humanities and the Arts .[13]
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 . From 2006 to 2010, he was engaged in the Review College of the British Engineering and Physical Sciences Research Council (EPSRC) . During 2015-2019 he chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) .[14]
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.[15]
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.[16] [17]
Personal life [ edit ]
Joost-Pieter Katoen was born in Krimpen aan den IJssel in 1964. Katoen is married and has three sons. He lives in Maastricht . In his private time, he enjoys cycling and listening to music.
See also [ edit ]
References [ edit ]
^ a b "FMT Group Twente" . Archived from the original on 2018-03-05. Retrieved 2018-02-28 .
^ Joost-Pieter Katoen at the Mathematics Genealogy Project
^ "Curriculum Vitae" (PDF) . Retrieved 2018-04-03 .
^ Baier, Christel; Katoen, Joost-Pieter (2008). Principles of Model Checking . Cambridge, Mass: The MIT Press. ISBN 978-0-262-02649-9
^ "Joost-Pieter Katoen at Academia Europaea" . Retrieved 2018-02-28 .
^ "Press Release on Honorary Doctorate for Joost-Pieter Katoen" . Retrieved 2018-02-28 .
^ "RWTH Aachen Press Statement" . Retrieved 2018-05-06 .
^ "University of Twente Press Statement" . Retrieved 2018-05-06 .
^ "Department of Computer Science at RWTH Press Release" . Retrieved 2023-03-31 .
^ "Nominations of the Royal Holland Society of Science and Humanities" . Retrieved 2023-03-31 .
^ "New Member of the North Rhine-Westphalian Academy of Science, Humanities an the Arts" . Retrieved 2023-03-31 .
^ "Steering Committee of ETAPS" . Retrieved 2018-02-28 .
^ "RWTH press release on FAMOS award 2017" . Retrieved 2018-02-28 .
^ "CONCUR Test of Time award" . Retrieved 2023-07-06 .
^ "Winners of the 2023 Jean-Claude Laprie Award" . Retrieved 2023-07-06 .
International
National
Academics
Other
R e t r i e v e d f r o m " https://en.wikipedia.org/w/index.php?title=Joost-Pieter_Katoen&oldid=1222728198 " C a t e g o r i e s : ● L i v i n g p e o p l e ● D u t c h c o m p u t e r s c i e n t i s t s ● G e r m a n c o m p u t e r s c i e n t i s t s ● F o r m a l m e t h o d s p e o p l e ● 1 9 6 4 b i r t h s ● A c a d e m i c s t a f f o f R W T H A a c h e n U n i v e r s i t y H i d d e n c a t e g o r i e s : ● A r t i c l e s w i t h s h o r t d e s c r i p t i o n ● S h o r t d e s c r i p t i o n i s d i f f e r e n t f r o m W i k i d a t a ● A r t i c l e s w i t h h C a r d s ● A r t i c l e s w i t h I S N I i d e n t i f i e r s ● A r t i c l e s w i t h V I A F i d e n t i f i e r s ● A r t i c l e s w i t h W o r l d C a t E n t i t i e s i d e n t i f i e r s ● A r t i c l e s w i t h B I B S Y S i d e n t i f i e r s ● A r t i c l e s w i t h G N D i d e n t i f i e r s ● A r t i c l e s w i t h J 9 U i d e n t i f i e r s ● A r t i c l e s w i t h L C C N i d e n t i f i e r s ● A r t i c l e s w i t h N K C i d e n t i f i e r s ● A r t i c l e s w i t h N T A i d e n t i f i e r s ● A r t i c l e s w i t h P L W A B N i d e n t i f i e r s ● A r t i c l e s w i t h A C M - D L i d e n t i f i e r s ● A r t i c l e s w i t h C I N I I i d e n t i f i e r s ● A r t i c l e s w i t h D B L P i d e n t i f i e r s ● A r t i c l e s w i t h G o o g l e S c h o l a r i d e n t i f i e r s ● A r t i c l e s w i t h M A T H S N i d e n t i f i e r s ● A r t i c l e s w i t h M G P i d e n t i f i e r s ● A r t i c l e s w i t h O R C I D i d e n t i f i e r s ● A r t i c l e s w i t h P u b l o n s i d e n t i f i e r s ● A r t i c l e s w i t h R I D i d e n t i f i e r s ● A r t i c l e s w i t h S c o p u s i d e n t i f i e r s ● A r t i c l e s w i t h Z B M A T H i d e n t i f i e r s ● A r t i c l e s w i t h S U D O C i d e n t i f i e r s
● T h i s p a g e w a s l a s t e d i t e d o n 7 M a y 2 0 2 4 , a t 1 5 : 5 5 ( U T C ) . ● T e x t i s a v a i l a b l e u n d e r t h e C r e a t i v e C o m m o n s A t t r i b u t i o n - S h a r e A l i k e L i c e n s e 4 . 0 ;
a d d i t i o n a l t e r m s m a y a p p l y . B y u s i n g t h i s s i t e , y o u a g r e e t o t h e T e r m s o f U s e a n d P r i v a c y P o l i c y . W i k i p e d i a ® i s a r e g i s t e r e d t r a d e m a r k o f t h e W i k i m e d i a F o u n d a t i o n , I n c . , a n o n - p r o f i t o r g a n i z a t i o n . ● P r i v a c y p o l i c y ● A b o u t W i k i p e d i a ● D i s c l a i m e r s ● C o n t a c t W i k i p e d i a ● C o d e o f C o n d u c t ● D e v e l o p e r s ● S t a t i s t i c s ● C o o k i e s t a t e m e n t ● M o b i l e v i e w
