|
تضامنًا مع حق الشعب الفلسطيني |
جوست بيتر كاتون
| جوست بيتر كاتون | |
|---|---|
| معلومات شخصية | |
| الجنسية |  |
تعديل مصدري - تعديل  | |
جوست بيتر كاتون (بالإنجليزية: Joost-Pieter Katoen) (ولد في 6 أكتوبر 1964) وهو عالم الكمبيوتر النظري الهولندي في ألمانيا.[1] وهو أستاذ متميز في علوم الكمبيوتر ورئيس مجموعة نمذجة البرمجيات والتحقق في الجامعة التقنية الراينية الفستفالية. كما يعمل بمجموعة الأساليب والأدوات الرسمية بجامعة تفينتي.[2][3]
تعليمه
حصل جوست بيتر على درجة الماجستير في تخصص علوم الكمبيوتر من جامعة تفينتي في عام 1987. في عام 1990 ، حصل على الدكتوراه المهنية في الهندسة من جامعة آيندهوفن للتكنولوجيا، وفي عام 1996 ، حصل على درجة الدكتوراه في علوم الكمبيوتر من جامعة تفينتي.[4]
أبحاثه
تتمثل اهتمامات جوست بيتر البحثية الرئيسية في الأساليب الرسمية، والتحقق بمساعدة الكمبيوتر، وعلى وجه الخصوص فحص النماذج، وتزامن (حوسبة)، وعلم الدلالة الشكلي، ولا سيما دلالات لغات البرمجة الاحتمالية.[5]
قام بكتابة ونشر كتاب مبادئ التحقق من النماذج.بالتعاون مع كريستل باير.[6]
عمله
من 1997 إلى 1999 ، كان جوست بيتر باحث في جامعة إرلنغن نورنبيرغ بعد حصوله على الدكتوراه. وفي عام 1999 ، أصبح أستاذاً مشاركاً في جامعة توينتي، ولا يزال يشغل منصبًا جزئيًا هناك. في عام 2004 ، تم تعيينه أستاذاً كاملاً في جامعة التقنية الراينية الفستفالية.[3]
في عام 2013 ، أصبح جوست زميل ثيودور فون كارمان وأستاذًا متميزًا في جامعة التقنية الراينية الفستفالية.. أيضا في عام 2013 ، تم انتخابه عضوا في أكاديميا يوروبا. في عام 2017 ، حصل على الدكتوراه الفخرية من جامعة آلبورغ.[7] في عام 2018 ، مُنح بيتر جائزة ERC Advanced Grant ذات الأجور العالية.[8][9][10]
كان جوست بيتر عضو مؤسس لمجموعة عمل IFIP (WG) 1.8 - الجمعية الدولية لمعالجة المعلومات - في نظرية التزامن وعضو في WG 2.2 الوصف الرسمي لمفاهيم البرمجة. من عام 2006 إلى عام 2010 ، كان يعمل في كلية الاستعراض في مجلس بحوث الهندسة والعلوم الفيزيائية البريطانية (EPSRC). منذ عام 2015 ، وهو يرأس اللجنة التوجيهية للمؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات (ETAPS).[11]
حصل على جائزة FAMOS من جامعة التقنية الراينية الفستفالية في عام 2017. لالتزامه بالتوازن بين العمل وحياته، وخاصة التزامه مع طلابه الشباب.[12]
حياته الشخصية
ولد جوست-بيتر كاتون في كريمبن آن دن آيسل في عام 1964. وهو متزوج وله ثلاثة أبناء. يعيش في ماستريخت. في وقته الخاص، يتمتع بالدراجات والاستماع إلى الموسيقى.
انظر أيضاً
- Joost-Pieter Katoen's homepage.
- Software Modeling and Verification Group.
- List of publications on computer science bibliography site DBLP.
مراجع
- ^ "Distinguished Professorships at RWTH Aachen University". مؤرشف من الأصل في 2019-04-11. اطلع عليه بتاريخ 2018-02-28.
- ^ "moves.rwth-aachen.de/people/katoen/". مؤرشف من الأصل في 2018-09-23. اطلع عليه بتاريخ 2018-02-28.
- ^ أ ب "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.
