انتقل إلى المحتوى

هانز يورج كروفسكي

هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها
من ويكيبيديا، الموسوعة الحرة
هانز يورج كروفسكي
معلومات شخصية
الميلاد 10 أغسطس 1949 (75 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
الجنسية ألمانيا
الحياة العملية
المدرسة الأم جامعة برلين للتكنولوجيا  تعديل قيمة خاصية (P69) في ويكي بيانات
المهنة عالم حاسوب  تعديل قيمة خاصية (P106) في ويكي بيانات
موظف في جامعة بريمن[1]  تعديل قيمة خاصية (P108) في ويكي بيانات

هانز يورج كروفسكي (بالإنجليزية: Hans-Jörg Kreowski)‏ (من مواليد 10 أغسطس 1949) وهو أستاذ في علم الحاسوب في جامعة بريمن في شمال غرب ألمانيا. مجال أبحاثه الأساسي هو علم الحاسوب النظري الذي يركز على التحويل البياني، والمواصفات الجبرية، ومعالجة الصور النحوية. وهو أيضًا عضو في منتدى علماء الكمبيوتر من أجل السلام والمسؤولية الاجتماعية (FIfF).

تعليمه وعمله[عدل]

درس هانز يورج كرويسكي الرياضيات من عام 1969 إلى عام 1974 في جامعة برلين للتكنولوجيا بألمانيا بمنحة دراسية. من عام 1974 إلى عام 1978، عمل كمساعد باحث في قسم علوم الكمبيوتر في جامعة برلين للتكنولوجيا حيث كتب أطروحة الدكتوراه حول التلاعب في تحويلات الرسم البياني، ثم شغل منصب أستاذ مساعد. حصل على شهادة التأهل للأستاذية في عام 1982 وعين أستاذًا في علم الحاسوب النظري في جامعة بريمن في ألمانيا في العام نفسه، وهو المنصب الذي لا يزال يحتفظ به. هناك، جنبا إلى جنب مع فريدر نايك، وولفغانغ كوي، كلاوس بيتر لوهر وهيرمان جيرينج، عمل بشكل كبير في تطوير قسم علوم الكمبيوتر.

في عام 1985، كان كروفسكي باحثًا في شركة IBM T.J. مركز أبحاث توماس جون واتسون في مرتفعات يوركتاون (نيويورك، الولايات المتحدة الأمريكية). أسس مجموعة العمل 1.3 IFIP الجمعية الدولية لمعالجة المعلومات (أسس مواصفات الأنظمة) في عام 1992 وكان أول رئيس لها حتى عام 1997. وهو أيضًا عضو في الجمعية الأوروبية لعلوم الكمبيوتر النظرية (EATCS)، وعضو في مجتمع علوم الكمبيوتر، ومنتدى الكمبيوتر من أجل السلام في الفترة من 2003 إلى 2009. في عام 1996 حصل على جائزة الخدمة المتميزة من الاتحاد الدولي لتجهيز المعلومات، وفي عام 2001 حصل على جائزة الجمعية الدولية لمعالجة المعلومات (IFIP) الفضية. منذ عام 2013، كان هانز يورج كرويسكي عضوا ً في شركة لايبنيز للمحاماة.[2][3]

أبحاثه[عدل]

قام كيروفسكي بتأليف أكثر من 160 منشورًا علميًا مع مساهمات أساسية لنظرية وتطبيقات التحويل البياني، وتوليد الصور النحوية، والمواصفات الجبرية.[4][5] شارك في تحرير أكثر من 15 كتابًا، من بينها كتابان حول التحول البياني.[6][7] تغطي الكتب المحررة مجالات أبحاثه الرئيسية وموضوعات متنوعة مثل علوم الكمبيوتر والمجتمع، والخدمات اللوجستية، والأساليب الرسمية في نمذجة البرمجيات والنظم. لسنوات عديدة كان رئيس تحرير «عمود المسائل التعليمية» ضمن نشرة الرابطة الأوروبية لعلوم الكمبيوتر النظرية.[8][9][10][11]

مراجع[عدل]

  1. ^ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
  2. ^ "IFIP Newsletter, December 1996". مؤرشف من الأصل في 2016-03-04.
  3. ^ "Minutes of the IFIP General Assembly Meeting, 2001" (PDF). مؤرشف من الأصل (PDF) في 2016-03-04.
  4. ^ Hans-Jörg Kreowski at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server  تعديل قيمة خاصية (P2456) في ويكي بيانات
  5. ^ Drewes، Frank؛ Habel، Annegret؛ Hoffmann، Berthold؛ وآخرون (المحررون). "Manipulation of Graphs, Algebras and Pictures, Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday" (PDF). مؤرشف من الأصل (PDF) في 2016-03-25.
  6. ^ Ehrig، Hatmut؛ Engels، Gregor؛ Kreowski، Hans-Jörg؛ وآخرون، المحررون (1999). Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. Singapore: World Scientific.
  7. ^ Ehrig، Hatmut؛ Kreowski، Hans-Jörg؛ Montanari، Ugo؛ وآخرون، المحررون (1999). Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. World Scientific.
  8. ^ Astesiano، Egidio؛ Kreowski، Hans-Jörg؛ Krieg-Brückner، Bernd، المحررون (1999). Algebraic Foundations of Systems Specification. Springer.
  9. ^ Kreowski، Hans-Jörg، المحرر (2008). Informatik und Gesellschaft. LIT Verlag. ISBN:9783825887681.
  10. ^ Kreowski، Hans-Jörg؛ Scholz-Reiter، Bernd؛ Thoben، Klaus-Dieter، المحررون (2013). , Dynamics in Logistics, Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings. Lecture Notes in Logistics. Springer.
  11. ^ Kreowski، Hans-Jörg؛ Montanari، Ugo؛ Orejas، Fernando؛ Rozenberg، Grzegorz؛ Taentzer، Gabriele، المحررون (2005). Formal Methods in Software and System Modeling. Volume 3393 of Lecture Notes in Computer Science. Springer.

وصلات خارجية[عدل]