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

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

جوست بيتر كاتون
 
معلومات شخصية
الميلاد 6 أكتوبر 1964 (57 سنة) 
كريمبن آن دن آيسل  
الجنسية
عضو في الأكاديمية الأوروبية [1] 
الحياة العملية
المدرسة الأم جامعة تفنته   
المهنة عالم حاسوب ،  وباحث  
موظف في الجامعة التقنية الراينية الفستفالية ،  وجامعة تفنته  [2]،  والجامعة التقنية الراينية الفستفالية [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 أبريل 2019. اطلع عليه بتاريخ 28 فبراير 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  4. "moves.rwth-aachen.de/people/katoen/". مؤرشف من الأصل في 23 سبتمبر 2018. اطلع عليه بتاريخ 28 فبراير 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  5. "FMT Group Twente". مؤرشف من الأصل في 18 أغسطس 2018. اطلع عليه بتاريخ 28 فبراير 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  6. Joost-Pieter Katoen في شجرة علماء الرياضيات
  7. "Curriculum Vitae" (PDF). مؤرشف من الأصل (PDF) في 7 مايو 2018. اطلع عليه بتاريخ 03 أبريل 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  8. Baier, Christel; Katoen, Joost-Pieter (2008). Principles of Model Checking. Cambridge, Mass: The MIT Press. ISBN 978-0-262-02649-9. الوسيط |CitationClass= تم تجاهله (مساعدة)
  9. "Press Release on Honorary Doctorate for Joost-Pieter Katoen". مؤرشف من الأصل في 28 يونيو 2018. اطلع عليه بتاريخ 28 فبراير 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  10. "RWTH Aachen Press Statement". مؤرشف من الأصل في 7 مايو 2018. اطلع عليه بتاريخ 06 مايو 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  11. "University of Twente Press Statement". مؤرشف من الأصل في 28 يونيو 2018. اطلع عليه بتاريخ 06 مايو 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  12. "Joost-Pieter Katoen at Academia Europaea". مؤرشف من الأصل في 28 مارس 2019. اطلع عليه بتاريخ 28 فبراير 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  13. "Steering Committee of ETAPS". مؤرشف من الأصل في 28 يناير 2019. اطلع عليه بتاريخ 28 فبراير 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  14. "RWTH press release on FAMOS award 2017". مؤرشف من الأصل في 28 يونيو 2018. اطلع عليه بتاريخ 28 فبراير 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
    • بوابة هولندا
    • بوابة ألمانيا
    • بوابة أعلام
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.