Joost-Pieter Katoen - Joost-Pieter Katoen
Joost-Pieter Katoen | |
|---|---|
 Joost-Pieter Katoen in Mantiqiy chiziq, Oksford | |
| Fuqarolik | Golland |
| Olma mater |
|
| Mukofotlar |
|
| Ilmiy martaba | |
| Maydonlar | |
| Institutlar | |
| Veb-sayt | www-i2 |
Joost-Pieter Katoen (1964 yil 6 oktyabrda tug'ilgan) a Golland nazariy kompyuter olimi Germaniyada joylashgan. U taniqli professor[1] Informatika sohasida va dasturiy ta'minotni modellashtirish va tekshirish guruhining rahbari[2] da Axen universiteti.Bundan tashqari, u "Formal Methods & Tools" guruhiga biriktirilgan Tvente universiteti.[3]
Ta'lim
Katoen 1987 yilda Tvente Universitetida kompyuter fanlari ixtisosligi bo'yicha magistr darajasini oldi. 1990 yilda u Muhandislik bo'yicha professional doktorlik dan Eyndxoven texnologiya universiteti va 1996 yilda doktorlik dissertatsiyasini himoya qildi. Tvent Universitetining kompyuter fanlari bo'yicha.[4]
Tadqiqot
Katoenning asosiy ilmiy qiziqishlari rasmiy usullar, kompyuter yordamida tekshirish, jumladan modelni tekshirish, kelishuv nazariyasi va semantik, xususan. ning semantikasi ehtimollik dasturlash tillari.[5] Uning tadqiqotlari asosan vosita va dasturga yo'naltirilgan.
Bilan birga Christel Baier u kitobni yozgan va nashr etgan Modelni tekshirish tamoyillari.[6]
Karyera
1997 yildan 1999 yilgacha Katoen doktoranturadan keyingi tadqiqotchi bo'lgan Erlangen-Nürnberg universiteti.1999 yilda u Tvente Universitetida dotsent bo'ldi va u erda hali ham yarim kunlik lavozimda ishlaydi.[3]2004 yilda u RWTH Axen Universitetining to'liq professori etib tayinlandi.
2013 yilda Katoen Teodor von Karmanning a'zosi va RWTH Axen Universitetining hurmatli professori bo'ldi. Shuningdek, 2013 yilda u a'zosi etib saylandi Academia Europaea.[7] 2017 yilda u faxriy doktorlik unvoniga sazovor bo'ldi Olborg universiteti.[8] 2018 yilda Katoen yuqori mukofotga sazovor bo'ldi ERC kengaytirilgan granti.[9][10]
Katoen tashkilotning asoschisi Muvofiqlik nazariyasi bo'yicha IFIP Ishchi guruhi (WG) 1.8 va a'zosi WG 2.2 Dasturlash tushunchalarining rasmiy tavsifi. 2006 yildan 2010 yilgacha u inglizlarning Review kolleji bilan shug'ullangan Muhandislik va fizika fanlari tadqiqot kengashi (EPSRC). 2015 yildan beri u Boshqaruv qo'mitasining raisi Dastur nazariyasi va amaliyoti bo'yicha Evropa qo'shma konferentsiyalari (ETAPS).[11]
Ish va hayot muvozanatini saqlashga sodiqligi uchun, ayniqsa yosh doktorantlar uchun. bolali talabalar, u 2017 yilda RWTH Axen universiteti tomonidan FAMOS mukofotiga sazovor bo'ldi.[12]
Shaxsiy hayot
Joost-Pieter Katoen yilda tug'ilgan Krimpen aan den IJssel 1964 yilda Katoen uylangan va uch o'g'il bor. U Maastrixtda yashaydi. Maxsus vaqtlarida u velosipedda velosipedda velosipedda o'ynashni yaxshi ko'radi.
Shuningdek qarang
- Joost-Pieter Katoenning bosh sahifasi.
- Dasturiy ta'minotni modellashtirish va tekshirish guruhi.
- DBLP informatika bibliografiya saytidagi nashrlarning ro'yxati.
Adabiyotlar
- ^ "RWTH Axen Universitetining hurmatli professor-o'qituvchilari". Arxivlandi asl nusxasi 2018-06-28 da. Olingan 2018-02-28.
- ^ "moves.rwth-aachen.de/people/katoen/". Olingan 2018-02-28.
- ^ a b "FMT Group Twente". Arxivlandi asl nusxasi 2018-03-05 da. Olingan 2018-02-28.
- ^ Joost-Pieter Katoen da Matematikaning nasabnomasi loyihasi
- ^ "Tarjimai hol" (PDF). Olingan 2018-04-03.
- ^ Bayer, Kristel; Katoen, Joost-Pieter (2008). Modelni tekshirish tamoyillari. Kembrij, Mass: MIT Press. ISBN 978-0-262-02649-9.
- ^ "Joost-Pieter Katoen Academia Europaea'da". Olingan 2018-02-28.
- ^ "Joost-Pieter Katoen uchun faxriy doktorlik unvoniga bag'ishlangan press-reliz". Olingan 2018-02-28.
- ^ "RWTH Axen press-bayonoti". Olingan 2018-05-06.
- ^ "Tvente universiteti matbuot bayonoti". Olingan 2018-05-06.
- ^ "ETAPS boshqaruv qo'mitasi". Olingan 2018-02-28.
- ^ "FAMOS 2017 mukofotiga bag'ishlangan RWTH press-relizi". Olingan 2018-02-28.
