جوست بيتر كاتون
جوست بيتر كاتون (بالإنجليزية: Joost-Pieter Katoen) (ولد في 6 أكتوبر 1964) وهو عالم الكمبيوتر النظري الهولندي في ألمانيا.[4] وهو أستاذ متميز في علوم الكمبيوتر ورئيس مجموعة نمذجة البرمجيات والتحقق في الجامعة التقنية الراينية الفستفالية. كما يعمل بمجموعة الأساليب والأدوات الرسمية بجامعة تفينتي.[5][6]
| جوست بيتر كاتون | |
|---|---|
 |
|
| معلومات شخصية | |
| الميلاد | 6 أكتوبر 1964 (60 سنة) كريمبن آن دن آيسل |
| مواطنة |  مملكة هولندا ألمانيا |
| عضو في | أكاديمية أوروبيا[1] |
| الحياة العملية | |
| المدرسة الأم | جامعة تفنته |
| المهنة | عالم حاسوب، وأستاذ جامعي |
| اللغات | الإنجليزية |
| مجال العمل | معلوماتية، والتحقق الرسمي، وعلم المعاني، وعلم الحاسوب |
| موظف في | الجامعة التقنية الراينية الفستفالية، وجامعة تفنته [2]، والجامعة التقنية الراينية الفستفالية[2]، وجامعة أكسفورد[2]، وجامعة إرلنغن نورنبيرغ[3] |
تعديل مصدري - تعديل  | |
تعليمه عدل
حصل جوست بيتر على درجة الماجستير في تخصص علوم الكمبيوتر من جامعة تفينتي في عام 1987. في عام 1990 ، حصل على الدكتوراه المهنية في الهندسة من جامعة آيندهوفن للتكنولوجيا، وفي عام 1996 ، حصل على درجة الدكتوراه في علوم الكمبيوتر من جامعة تفينتي.[7]
أبحاثه عدل
تتمثل اهتمامات جوست بيتر البحثية الرئيسية في الأساليب الرسمية، والتحقق بمساعدة الكمبيوتر، وعلى وجه الخصوص فحص النماذج، وتزامن (حوسبة)، وعلم الدلالة الشكلي، ولا سيما دلالات لغات البرمجة الاحتمالية.[8]
قام بكتابة ونشر كتاب مبادئ التحقق من النماذج.بالتعاون مع كريستل باير.[9]
عمله عدل
من 1997 إلى 1999 ، كان جوست بيتر باحث في جامعة إرلنغن نورنبيرغ بعد حصوله على الدكتوراه. وفي عام 1999 ، أصبح أستاذاً مشاركاً في جامعة توينتي، ولا يزال يشغل منصبًا جزئيًا هناك. في عام 2004 ، تم تعيينه أستاذاً كاملاً في جامعة التقنية الراينية الفستفالية.[6]
في عام 2013 ، أصبح جوست زميل ثيودور فون كارمان وأستاذًا متميزًا في جامعة التقنية الراينية الفستفالية.. أيضا في عام 2013 ، تم انتخابه عضوا في أكاديميا يوروبا. في عام 2017 ، حصل على الدكتوراه الفخرية من جامعة آلبورغ.[10] في عام 2018 ، مُنح بيتر جائزة ERC Advanced Grant ذات الأجور العالية.[11][12][13]
كان جوست بيتر عضو مؤسس لمجموعة عمل IFIP (WG) 1.8 - الجمعية الدولية لمعالجة المعلومات - في نظرية التزامن وعضو في WG 2.2 الوصف الرسمي لمفاهيم البرمجة. من عام 2006 إلى عام 2010 ، كان يعمل في كلية الاستعراض في مجلس بحوث الهندسة والعلوم الفيزيائية البريطانية (EPSRC). منذ عام 2015 ، وهو يرأس اللجنة التوجيهية للمؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات (ETAPS).[14]
حصل على جائزة FAMOS من جامعة التقنية الراينية الفستفالية في عام 2017. لالتزامه بالتوازن بين العمل وحياته، وخاصة التزامه مع طلابه الشباب.[15]
حياته الشخصية عدل
ولد جوست-بيتر كاتون في كريمبن آن دن آيسل في عام 1964. وهو متزوج وله ثلاثة أبناء. يعيش في ماستريخت. في وقته الخاص، يتمتع بالدراجات والاستماع إلى الموسيقى.
انظر أيضاً عدل
مراجع عدل
- ^ https://www.ae-info.org/ae/User/Katoen_Joost-Pieter.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ 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
- ^ "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.
