# جوست بيتر كاتون

جوست بيتر كاتون (بالإنجليزية: Joost-Pieter Katoen)‏ (ولد في 6 أكتوبر 1964) وهو عالم الكمبيوتر النظري الهولندي في ألمانيا. وهو أستاذ متميز في علوم الكمبيوتر ورئيس مجموعة نمذجة البرمجيات والتحقق في الجامعة التقنية الراينية الفستفالية. كما يعمل بمجموعة الأساليب والأدوات الرسمية بجامعة تفينتي.

## تعليمه

حصل جوست بيتر على درجة الماجستير في تخصص علوم الكمبيوتر من جامعة تفينتي في عام 1987. في عام 1990 ، حصل على الدكتوراه المهنية في الهندسة من جامعة آيندهوفن للتكنولوجيا، وفي عام 1996 ، حصل على درجة الدكتوراه في علوم الكمبيوتر من جامعة تفينتي.

## أبحاثه

تتمثل اهتمامات جوست بيتر البحثية الرئيسية في الأساليب الرسمية، والتحقق بمساعدة الكمبيوتر، وعلى وجه الخصوص فحص النماذج، وتزامن (حوسبة)، وعلم الدلالة الشكلي، ولا سيما دلالات لغات البرمجة الاحتمالية.
قام بكتابة ونشر كتاب مبادئ التحقق من النماذج.بالتعاون مع كريستل باير.

## عمله

من 1997 إلى 1999 ، كان جوست بيتر باحث في جامعة إرلنغن نورنبيرغ بعد حصوله على الدكتوراه. وفي عام 1999 ، أصبح أستاذاً مشاركاً في جامعة توينتي، ولا يزال يشغل منصبًا جزئيًا هناك. في عام 2004 ، تم تعيينه أستاذاً كاملاً في جامعة التقنية الراينية الفستفالية.
في عام 2013 ، أصبح جوست زميل ثيودور فون كارمان وأستاذًا متميزًا في جامعة التقنية الراينية الفستفالية.. أيضا في عام 2013 ، تم انتخابه عضوا في أكاديميا يوروبا. في عام 2017 ، حصل على الدكتوراه الفخرية من جامعة آلبورغ. في عام 2018 ، مُنح بيتر جائزة ERC Advanced Grant ذات الأجور العالية.
كان جوست بيتر عضو مؤسس لمجموعة عمل IFIP (WG) 1.8 - الجمعية الدولية لمعالجة المعلومات - في نظرية التزامن وعضو في WG 2.2 الوصف الرسمي لمفاهيم البرمجة. من عام 2006 إلى عام 2010 ، كان يعمل في كلية الاستعراض في مجلس بحوث الهندسة والعلوم الفيزيائية البريطانية (EPSRC). منذ عام 2015 ، وهو يرأس اللجنة التوجيهية للمؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات (ETAPS).
حصل على جائزة FAMOS من جامعة التقنية الراينية الفستفالية في عام 2017. لالتزامه بالتوازن بين العمل وحياته، وخاصة التزامه مع طلابه الشباب.

## حياته الشخصية

ولد جوست-بيتر كاتون في كريمبن آن دن آيسل في عام 1964. وهو متزوج وله ثلاثة أبناء. يعيش في ماستريخت. في وقته الخاص، يتمتع بالدراجات والاستماع إلى الموسيقى.

## انظر أيضاً

* Joost-Pieter Katoen's homepage.
* Software Modeling and Verification Group.
* List of publications on computer science bibliography site DBLP.

## مراجع

* ↑ https://www.ae-info.org/ae/User/Katoen_Joost-Pieter. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
* 1 2 https://www.acm.org/media-center/2021/january/fellows-2020. اطلع عليه بتاريخ 2024-06-24. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
* 1 2 http://orcid.org/0000-0002-6143-1926. اطلع عليه بتاريخ 2019-01-12. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
* ↑ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
* ↑ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
* ↑ "Distinguished Professorships at RWTH Aachen University". مؤرشف من الأصل في 2019-04-11. اطلع عليه بتاريخ 2018-02-28.
* ↑ "moves.rwth-aachen.de/people/katoen/". مؤرشف من الأصل في 2018-09-23. اطلع عليه بتاريخ 2018-02-28.
* 1 2 "FMT Group Twente". مؤرشف من الأصل في 2018-08-18. اطلع عليه بتاريخ 2018-02-28.
* ↑ Joost-Pieter Katoen في شجرة علماء الرياضيات
* ↑ "Curriculum Vitae" (PDF). مؤرشف من الأصل (PDF) في 2018-05-07. اطلع عليه بتاريخ 2018-04-03.
* ↑ Baier, Christel؛ Katoen, Joost-Pieter (2008). Principles of Model Checking. Cambridge, Mass: The MIT Press. ISBN:978-0-262-02649-9.
* ↑ "Press Release on Honorary Doctorate for Joost-Pieter Katoen". مؤرشف من الأصل في 2018-06-28. اطلع عليه بتاريخ 2018-02-28.
* ↑ "RWTH Aachen Press Statement". مؤرشف من الأصل في 2018-05-07. اطلع عليه بتاريخ 2018-05-06.
* ↑ "University of Twente Press Statement". مؤرشف من الأصل في 2018-06-28. اطلع عليه بتاريخ 2018-05-06.
* ↑ "Joost-Pieter Katoen at Academia Europaea". مؤرشف من الأصل في 2019-03-28. اطلع عليه بتاريخ 2018-02-28.
* ↑ "Steering Committee of ETAPS". مؤرشف من الأصل في 2019-01-28. اطلع عليه بتاريخ 2018-02-28.
* ↑ "RWTH press release on FAMOS award 2017". مؤرشف من الأصل في 2018-06-28. اطلع عليه بتاريخ 2018-02-28.
* بوابة أعلام
* بوابة ألمانيا
* بوابة هولندا