جوست بيتر كاتون
| جوست بيتر كاتون | |
|---|---|
 |
|
| معلومات شخصية | |
| الميلاد | 6 أكتوبر 1964 (60 سنة) كريمبن آن دن آيسل |
| مواطنة |  مملكة هولندا ألمانيا |
| عضو في | أكاديمية أوروبيا[1]، وجمعية آلات الحوسبة[2]، والأكاديمية الوطنية الألمانية للعلوم ليوبولدينا |
| الحياة العملية | |
| المدرسة الأم | جامعة تفنته |
| المهنة | عالم حاسوب، وأستاذ جامعي |
| اللغات | الإنجليزية |
| مجال العمل | معلوماتية، والتحقق الرسمي، وعلم المعاني، وعلم الحاسوب |
| موظف في | الجامعة التقنية الراينية الفستفالية، وجامعة تفنته [3]، والجامعة التقنية الراينية الفستفالية[3]، وجامعة أكسفورد[4]، وجامعة إرلنغن نورنبيرغ[5] |
| الجوائز | |
زمالة رابطة مكائن الحوسبة (2020)[2] |
|
تعديل مصدري - تعديل  | |
جوست بيتر كاتون (بالإنجليزية: Joost-Pieter Katoen) (ولد في 6 أكتوبر 1964) وهو عالم الكمبيوتر النظري الهولندي في ألمانيا.[6] وهو أستاذ متميز في علوم الكمبيوتر ورئيس مجموعة نمذجة البرمجيات والتحقق في الجامعة التقنية الراينية الفستفالية. كما يعمل بمجموعة الأساليب والأدوات الرسمية بجامعة تفينتي.[7][8]
تعليمه
[عدل]حصل جوست بيتر على درجة الماجستير في تخصص علوم الكمبيوتر من جامعة تفينتي في عام 1987. في عام 1990 ، حصل على الدكتوراه المهنية في الهندسة من جامعة آيندهوفن للتكنولوجيا، وفي عام 1996 ، حصل على درجة الدكتوراه في علوم الكمبيوتر من جامعة تفينتي.[9]
أبحاثه
[عدل]تتمثل اهتمامات جوست بيتر البحثية الرئيسية في الأساليب الرسمية، والتحقق بمساعدة الكمبيوتر، وعلى وجه الخصوص فحص النماذج، وتزامن (حوسبة)، وعلم الدلالة الشكلي، ولا سيما دلالات لغات البرمجة الاحتمالية.[10]
قام بكتابة ونشر كتاب مبادئ التحقق من النماذج.بالتعاون مع كريستل باير.[11]
عمله
[عدل]من 1997 إلى 1999 ، كان جوست بيتر باحث في جامعة إرلنغن نورنبيرغ بعد حصوله على الدكتوراه. وفي عام 1999 ، أصبح أستاذاً مشاركاً في جامعة توينتي، ولا يزال يشغل منصبًا جزئيًا هناك. في عام 2004 ، تم تعيينه أستاذاً كاملاً في جامعة التقنية الراينية الفستفالية.[8]
في عام 2013 ، أصبح جوست زميل ثيودور فون كارمان وأستاذًا متميزًا في جامعة التقنية الراينية الفستفالية.. أيضا في عام 2013 ، تم انتخابه عضوا في أكاديميا يوروبا. في عام 2017 ، حصل على الدكتوراه الفخرية من جامعة آلبورغ.[12] في عام 2018 ، مُنح بيتر جائزة ERC Advanced Grant ذات الأجور العالية.[13][14][15]
كان جوست بيتر عضو مؤسس لمجموعة عمل IFIP (WG) 1.8 - الجمعية الدولية لمعالجة المعلومات - في نظرية التزامن وعضو في WG 2.2 الوصف الرسمي لمفاهيم البرمجة. من عام 2006 إلى عام 2010 ، كان يعمل في كلية الاستعراض في مجلس بحوث الهندسة والعلوم الفيزيائية البريطانية (EPSRC). منذ عام 2015 ، وهو يرأس اللجنة التوجيهية للمؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات (ETAPS).[16]
حصل على جائزة FAMOS من جامعة التقنية الراينية الفستفالية في عام 2017. لالتزامه بالتوازن بين العمل وحياته، وخاصة التزامه مع طلابه الشباب.[17]
حياته الشخصية
[عدل]ولد جوست-بيتر كاتون في كريمبن آن دن آيسل في عام 1964. وهو متزوج وله ثلاثة أبناء. يعيش في ماستريخت. في وقته الخاص، يتمتع بالدراجات والاستماع إلى الموسيقى.
انظر أيضاً
[عدل]- Joost-Pieter Katoen's homepage.
- Software Modeling and Verification Group.
- List of publications on computer science bibliography site DBLP.
مراجع
[عدل]- ^ https://www.ae-info.org/ae/User/Katoen_Joost-Pieter.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ ا ب https://www.acm.org/media-center/2021/january/fellows-2020. اطلع عليه بتاريخ 2024-06-24.
{{استشهاد ويب}}:|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
- ^ 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.
