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

جوست بيتر كاتون
معلومات شخصية
الميلاد 6 أكتوبر 1964 (61 سنة)[1] 
كريمبن آن دن آيسل 
مواطنة مملكة هولندا
عضوية أكاديمية أوروبيا[2]، وجمعية آلات الحوسبة[3]، والأكاديمية الوطنية الألمانية للعلوم ليوبولدينا 
الحياة العملية
المدرسة الأم جامعة تفنته ‏ 
المهنة عالم حاسوب، وأستاذ جامعي 
اللغات الإنجليزية 
مجال العمل معلوماتية، والتحقق الرسمي، والدلاليات، وعلم الحاسوب 
موظف في المدرسة العليا التقنية الراينية الوستفالية بآخن، وجامعة تفنته ‏[4]، والمدرسة العليا التقنية الراينية الوستفالية بآخن[4]، وجامعة أكسفورد[5]، وجامعة إرلنغن نورنبيرغ[6] 
الجوائز
زمالة رابطة مكائن الحوسبة (2020)[3] 

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

تعليمه

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

أبحاثه

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

قام بكتابة ونشر كتاب مبادئ التحقق من النماذج.بالتعاون مع كريستل باير.[12]

عمله

من 1997 إلى 1999 ، كان جوست بيتر باحث في جامعة إرلنغن نورنبيرغ بعد حصوله على الدكتوراه. وفي عام 1999 ، أصبح أستاذاً مشاركاً في جامعة توينتي، ولا يزال يشغل منصبًا جزئيًا هناك. في عام 2004 ، تم تعيينه أستاذاً كاملاً في جامعة التقنية الراينية الفستفالية.[9]

في عام 2013 ، أصبح جوست زميل ثيودور فون كارمان وأستاذًا متميزًا في جامعة التقنية الراينية الفستفالية.. أيضا في عام 2013 ، تم انتخابه عضوا في أكاديميا يوروبا. في عام 2017 ، حصل على الدكتوراه الفخرية من جامعة آلبورغ.[13] في عام 2018 ، مُنح بيتر جائزة ERC Advanced Grant ذات الأجور العالية.[14][15][16]

كان جوست بيتر عضو مؤسس لمجموعة عمل IFIP (WG) 1.8 - الجمعية الدولية لمعالجة المعلومات - في نظرية التزامن وعضو في WG 2.2 الوصف الرسمي لمفاهيم البرمجة. من عام 2006 إلى عام 2010 ، كان يعمل في كلية الاستعراض في مجلس بحوث الهندسة والعلوم الفيزيائية البريطانية (EPSRC). منذ عام 2015 ، وهو يرأس اللجنة التوجيهية للمؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات (ETAPS).[17]

حصل على جائزة FAMOS من جامعة التقنية الراينية الفستفالية في عام 2017. لالتزامه بالتوازن بين العمل وحياته، وخاصة التزامه مع طلابه الشباب.[18]

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

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

انظر أيضاً

مراجع

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