الرئيسيةعريقبحث

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

☰ جدول المحتويات

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

جوست بيتر كاتون
Joost-Pieter-Katoen.jpg
 
معلومات شخصية
الميلاد 6 أكتوبر 1964 (56 سنة) 
كريمبن آن دن آيسل 
الجنسية ألمانيا
عضو في الأكاديمية الأوروبية[1] 
الحياة العملية
المهنة عالم حاسوب،  وباحث 
موظف في الجامعة التقنية الراينية الفستفالية،  والجامعة التقنية الراينية الفستفالية[2]،  وجامعة أوكسفورد[2] 

تعليمه

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

أبحاثه

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

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

عمله

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

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

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

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

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

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

انظر أيضاً

مراجع

  1. https://www.ae-info.org/ae/User/Katoen_Joost-Pieter
  2. http://orcid.org/0000-0002-6143-1926 — تاريخ الاطلاع: 12 يناير 2019
  3. "Distinguished Professorships at RWTH Aachen University". مؤرشف من الأصل في 11 أبريل 201928 فبراير 2018.
  4. "moves.rwth-aachen.de/people/katoen/". مؤرشف من الأصل في 23 سبتمبر 201828 فبراير 2018.
  5. "FMT Group Twente". مؤرشف من الأصل في 18 أغسطس 201828 فبراير 2018.
  6. Joost-Pieter Katoen في شجرة علماء الرياضيات
  7. "Curriculum Vitae" ( كتاب إلكتروني PDF ). مؤرشف من الأصل ( كتاب إلكتروني PDF ) في 7 مايو 201803 أبريل 2018.
  8. Baier, Christel; Katoen, Joost-Pieter (2008). Principles of Model Checking. Cambridge, Mass: The MIT Press.  .
  9. "Press Release on Honorary Doctorate for Joost-Pieter Katoen". مؤرشف من الأصل في 28 يونيو 201828 فبراير 2018.
  10. "RWTH Aachen Press Statement". مؤرشف من الأصل في 7 مايو 201806 مايو 2018.
  11. "University of Twente Press Statement". مؤرشف من الأصل في 28 يونيو 201806 مايو 2018.
  12. "Joost-Pieter Katoen at Academia Europaea". مؤرشف من الأصل في 28 مارس 201928 فبراير 2018.
  13. "Steering Committee of ETAPS". مؤرشف من الأصل في 28 يناير 201928 فبراير 2018.
  14. "RWTH press release on FAMOS award 2017". مؤرشف من الأصل في 28 يونيو 201828 فبراير 2018.

موسوعات ذات صلة :