31:
368:
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
427:
340:
683:
431:
359:
316:. 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.
336:
351:
347:
643:
355:
817:
603:
365:
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.
743:
319:
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
723:
583:
547:
252:
74:
362:. Since 2020, he chairs the Steering Committee of the TACAS (Tools and Algorithms for the Construction and Analysis of Systems) conference.
251:
Katoen received his master's degree with distinction in
Computer Science from the University of Twente in 1987. In 1990, he was awarded a
802:
332:
797:
288:
256:
191:
70:
313:
180:
235:
based in
Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at
807:
503:
300:
284:
232:
623:
475:
328:
154:
97:
369:
for his 2003 paper with Baier, Haverkort and
Hermanns on Model-Checking of Continuous-Time Markov chains.
792:
378:
236:
170:
143:
812:
240:
175:
80:
64:
272:
324:
280:
104:
543:
320:
111:
138:
703:
515:
406:
239:. Furthermore, he is part-time associated to the Formal Methods & Tools group at the
259:, and in 1996, he received his Ph.D. in computer science from the University of Twente.
563:
295:
276:
268:
149:
684:"New Member of the North Rhine-Westphalian Academy of Science, Humanities an the Arts"
786:
663:
394:
209:
30:
51:
452:
382:
36:
499:
479:
354:. From 2006 to 2010, he was engaged in the Review College of the British
763:
185:
360:
European Joint
Conferences on Theory and Practice of Software (ETAPS)
40:
664:"Nominations of the Royal Holland Society of Science and Humanities"
341:
North Rhine-Westphalian
Academy of Science, Humanities and the Arts
385:. In his private time, he enjoys cycling and listening to music.
407:
List of publications on computer science bibliography site DBLP
400:
312:
From 1997 to 1999, Katoen was a postdoctoral researcher at the
584:"Press Release on Honorary Doctorate for Joost-Pieter Katoen"
117:
Distinguished
Professor, RWTH Aachen University, awarded 2013
358:. During 2015-2019 he chaired the Steering Committee of the
381:
in 1964. Katoen is married and has three sons. He lives in
356:
Engineering and
Physical Sciences Research Council (EPSRC)
291:. His research is largely tool and application oriented.
428:"Distinguished Professorships at RWTH Aachen University"
644:"Department of Computer Science at RWTH Press Release"
327:. In 2018, Katoen was awarded the highly remunerated
335:
Fellow and in 2021, he was elected as member of the
204:
163:
131:
90:
57:
47:
21:
323:. In 2017, he received an honorary doctorate from
352:WG 2.2 Formal Description of Programming Concepts
348:IFIP Working Group (WG) 1.8 on Concurrency Theory
339:(KHMW). In 2022, he was elected as member of the
337:Royal Holland Society of Science and Humanities
764:"Winners of the 2023 Jean-Claude Laprie Award"
538:Baier, Christel; Katoen, Joost-Pieter (2008).
8:
564:"Joost-Pieter Katoen at Academia Europaea"
29:
18:
818:Academic staff of RWTH Aachen University
724:"RWTH press release on FAMOS award 2017"
470:
468:
401:Software Modeling and Verification Group
419:
624:"University of Twente Press Statement"
453:"moves.rwth-aachen.de/people/katoen/"
267:Katoen's main research interests are
253:Professional Doctorate in Engineering
7:
16:Dutch theoretical computer scientist
346:Katoen is a founding member of the
289:probabilistic programming languages
542:. Cambridge, Mass: The MIT Press.
257:Eindhoven University of Technology
231:(born October 6, 1964) is a Dutch
192:Eindhoven University of Technology
71:Eindhoven University of Technology
14:
377:Joost-Pieter Katoen was born in
314:University of Erlangen-Nuremberg
298:he wrote and published the book
181:University of Erlangen-Nuremberg
395:Joost-Pieter Katoen's homepage
233:theoretical computer scientist
1:
704:"Steering Committee of ETAPS"
604:"RWTH Aachen Press Statement"
504:Mathematics Genealogy Project
287:, in particular semantics of
540:Principles of Model Checking
331:. In 2020, Katoen became an
301:Principles of Model Checking
744:"CONCUR Test of Time award"
273:computer aided verification
834:
803:German computer scientists
798:Dutch computer scientists
200:
155:Probabilistic Programming
124:
28:
35:Joost-Pieter Katoen in
379:Krimpen aan den IJssel
237:RWTH Aachen University
171:RWTH Aachen University
808:Formal methods people
350:and a member of the
241:University of Twente
176:University of Twente
103:Honorary Doctorate,
81:University of Twente
65:University of Twente
500:Joost-Pieter Katoen
229:Joost-Pieter Katoen
23:Joost-Pieter Katoen
516:"Curriculum Vitae"
476:"FMT Group Twente"
329:ERC Advanced Grant
325:Aalborg University
281:concurrency theory
144:Concurrency Theory
105:Aalborg University
98:ERC Advanced Grant
549:978-0-262-02649-9
321:Academia Europaea
226:
225:
126:Scientific career
112:Academia Europaea
825:
774:
773:
771:
770:
760:
754:
753:
751:
750:
740:
734:
733:
731:
730:
720:
714:
713:
711:
710:
700:
694:
693:
691:
690:
680:
674:
673:
671:
670:
660:
654:
653:
651:
650:
640:
634:
633:
631:
630:
620:
614:
613:
611:
610:
600:
594:
593:
591:
590:
580:
574:
573:
571:
570:
560:
554:
553:
535:
529:
528:
526:
525:
520:
512:
506:
497:
491:
490:
488:
487:
478:. Archived from
472:
463:
462:
460:
459:
449:
443:
442:
440:
439:
430:. Archived from
424:
275:, in particular
222:
219:
217:
215:
213:
211:
139:Computer Science
33:
19:
833:
832:
828:
827:
826:
824:
823:
822:
783:
782:
780:
778:
777:
768:
766:
762:
761:
757:
748:
746:
742:
741:
737:
728:
726:
722:
721:
717:
708:
706:
702:
701:
697:
688:
686:
682:
681:
677:
668:
666:
662:
661:
657:
648:
646:
642:
641:
637:
628:
626:
622:
621:
617:
608:
606:
602:
601:
597:
588:
586:
582:
581:
577:
568:
566:
562:
561:
557:
550:
537:
536:
532:
523:
521:
518:
514:
513:
509:
498:
494:
485:
483:
474:
473:
466:
457:
455:
451:
450:
446:
437:
435:
426:
425:
421:
416:
391:
375:
310:
265:
249:
208:
196:
159:
120:
86:
58:Alma mater
43:
24:
17:
12:
11:
5:
831:
829:
821:
820:
815:
810:
805:
800:
795:
785:
784:
776:
775:
755:
735:
715:
695:
675:
655:
635:
615:
595:
575:
555:
548:
530:
507:
492:
464:
444:
418:
417:
415:
412:
411:
410:
404:
398:
390:
387:
374:
371:
309:
306:
296:Christel Baier
294:Together with
277:model checking
269:formal methods
264:
261:
248:
245:
224:
223:
206:
202:
201:
198:
197:
195:
194:
189:
183:
178:
173:
167:
165:
161:
160:
158:
157:
152:
150:Model Checking
148:Probabilistic
146:
141:
135:
133:
129:
128:
122:
121:
119:
118:
115:
114:, elected 2013
108:
107:, awarded 2017
101:
100:, awarded 2018
94:
92:
88:
87:
85:
84:
78:
68:
61:
59:
55:
54:
49:
45:
44:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
830:
819:
816:
814:
811:
809:
806:
804:
801:
799:
796:
794:
793:Living people
791:
790:
788:
781:
765:
759:
756:
745:
739:
736:
725:
719:
716:
705:
699:
696:
685:
679:
676:
665:
659:
656:
645:
639:
636:
625:
619:
616:
605:
599:
596:
585:
579:
576:
565:
559:
556:
551:
545:
541:
534:
531:
517:
511:
508:
505:
501:
496:
493:
482:on 2018-03-05
481:
477:
471:
469:
465:
454:
448:
445:
434:on 2018-06-28
433:
429:
423:
420:
413:
408:
405:
402:
399:
396:
393:
392:
388:
386:
384:
380:
373:Personal life
372:
370:
366:
363:
361:
357:
353:
349:
344:
342:
338:
334:
330:
326:
322:
317:
315:
307:
305:
303:
302:
297:
292:
290:
286:
282:
278:
274:
270:
262:
260:
258:
254:
246:
244:
242:
238:
234:
230:
221:
207:
203:
199:
193:
190:
188:Research Labs
187:
184:
182:
179:
177:
174:
172:
169:
168:
166:
162:
156:
153:
151:
147:
145:
142:
140:
137:
136:
134:
130:
127:
123:
116:
113:
109:
106:
102:
99:
96:
95:
93:
89:
82:
79:
76:
72:
69:
66:
63:
62:
60:
56:
53:
50:
46:
42:
38:
32:
27:
20:
779:
767:. Retrieved
758:
747:. Retrieved
738:
727:. Retrieved
718:
707:. Retrieved
698:
687:. Retrieved
678:
667:. Retrieved
658:
647:. Retrieved
638:
627:. Retrieved
618:
607:. Retrieved
598:
587:. Retrieved
578:
567:. Retrieved
558:
539:
533:
522:. Retrieved
510:
495:
484:. Retrieved
480:the original
456:. Retrieved
447:
436:. Retrieved
432:the original
422:
376:
367:
364:
345:
318:
311:
299:
293:
266:
250:
228:
227:
214:.rwth-aachen
164:Institutions
125:
813:1964 births
212:.informatik
48:Citizenship
787:Categories
769:2023-07-06
749:2023-07-06
729:2018-02-28
709:2018-02-28
689:2023-03-31
669:2023-03-31
649:2023-03-31
629:2018-05-06
609:2018-05-06
589:2018-02-28
569:2018-02-28
524:2018-04-03
486:2018-02-28
458:2018-02-28
438:2018-02-28
414:References
383:Maastricht
255:from the
110:Member of
37:Logic Lane
285:semantics
247:Education
389:See also
263:Research
218:/~katoen
502:at the
205:Website
186:Philips
83:(M.Sc.)
67:(Ph.D.)
546:
308:Career
283:, and
210:www-i2
132:Fields
91:Awards
41:Oxford
519:(PDF)
75:PDEng
52:Dutch
544:ISBN
333:ACM
216:.de
789::
467:^
343:.
304:.
279:,
271:,
243:.
39:,
772:.
752:.
732:.
712:.
692:.
672:.
652:.
632:.
612:.
592:.
572:.
552:.
527:.
489:.
461:.
441:.
409:.
403:.
397:.
220:/
77:)
73:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.