دانيال كرويننغ
دانيال كرويننغ (بالإنجليزية: Daniel Kroening) (ولد في 6 نوفمبر 1975)[1] وهو علم الحاسوب الألماني، وأستاذ في علوم الكمبيوتر في جامعة أوكسفورد.[2] وهو زميل في كلية ماجدالين.
| دانيال كرويننغ | |
|---|---|
| معلومات شخصية | |
| الميلاد | 6 نوفمبر 1975 (49 سنة) |
| الجنسية |  |
| الحياة العملية | |
| المدرسة الأم | جامعة سارلاند |
| مشرف الدكتوراه | فولفغانغ باول |
| المهنة | عالم حاسوب، وباحث |
| موظف في | جامعة أكسفورد |
تعديل مصدري - تعديل  | |
حياته
عدلولد كرونينغ في ماينز، راينلاند بالاتينات، ألمانيا.[1] درس دانيال في كل من: ماري تيريز - جمنازيوم، إرلانجن، بافاريا من 1986 إلى 1990 وفي ساربروكن وكذلك في سارلاند من 1990 إلى 1995.[3] كان عمل كرويننج المبكر في تلك السنوات هو تنفيذ بروتوكولات نقل البيانات وحزمة برمجيات BBS مع إدارة الوصول إلى الإنترنت لمزودي خدمات الإنترنت الصغيرة، والتي أطلقها بموجب تراخيص مفتوحة المصدر.[4][5] في عام 1992، انضم كرويننج إلى «هاندشيك». وهو مزود للخدمة وهي شركة محلية غير ربحية. منذ عام 1993، استضاف كرونينغ وشغل نظام BBS الرئيسي للتعارف، وبحلول نهاية عام 1994، كان يدير برنامجه. منذ عام 1996، شارك أيضًا في الإدارة التنفيذية لـ «هاندشيك». كتب بانتظام على المواضيع ذات الصلة بالحاسوب في صحيفة ساربروكن، وهي صحيفة محلية. بعد المدرسة الثانوية، أكمل كرونينغ خدمته الإجبارية في المجتمع.[3][6]
عمله
عدلبدأ كروينغ دراسة علوم الكمبيوتر والاقتصاد في جامعة سارلاند.[1] في فصل الشتاء عام 1996 وحصل على درجتي الدبلوم والدكتوراه في عامي 1999 و 2001. كان واحدا من أسرع الطلاب في تاريخ هيئة التدريس، حيث استغرق أربعة سنوات ونصف فقط لحصوله على درجة الدكتوراه. تلقى تخرجه السريع اهتمام وسائل الإعلام المحلية.[2]
بعد حصوله على الدكتوراه، عمل كرونينغ في جامعة كارنيغي ميلون في مرحلة ما بعد الدكتوراة قبل انضمامه إلى المعهد الفدرالي السويسري للتكنولوجيا في زيورخ (ETH Zürich) كأستاذ مساعد. استقر في النهاية في جامعة أوكسفورد.[7]
ركز كرويننج في أباحاثه على تحليل البرامج والأجهزة.[8]
نشر الكتب المدرسية حول إجراءات القرار وتصميم الأجهزة.[8]
تشمل أنشطة كرويننج المهنية كونه عضوًا في لجنة المؤتمر الرئيسي لتحليل البرامج CAV.[8]
عمل كروينغ مستشارًا لشركات مثل انتل واي بي ام وفوجيتسو. وهو أيضا الرئيس التنفيذي لشركة Diffblue، وهي شركة متخصصة في الذكاء الاصطناعي.[7][9][10]
مراجع
عدل- ^ ا ب ج https://subs.emis.de/LNI/Dissertation/Dissertation2/GI-Dissertations.02-7.pdf p. 80
- ^ ا ب "Professor Daniel Kroening | Magdalen College Oxford". Magd.ox.ac.uk. مؤرشف من الأصل في 2019-04-13. اطلع عليه بتاريخ 2017-06-28.
- ^ ا ب "Daniel Kröning". www.kroening.handshake.de. مؤرشف من الأصل في 2018-08-10. اطلع عليه بتاريخ 2018-05-10.
- ^ Kroening، Daniel. "DBOX BBS Package". www.dbox.handshake.de. مؤرشف من الأصل في 2016-04-16. اطلع عليه بتاريخ 2018-05-10.
- ^ "DBOX". freshmeat.sourceforge.net. مؤرشف من الأصل في 2018-05-10. اطلع عليه بتاريخ 2018-05-10.
- ^ Both، Andreas. "Chronik des Handshake e.V." www.handshake.de. مؤرشف من الأصل في 2014-02-20. اطلع عليه بتاريخ 2018-05-10.
- ^ ا ب "VorteQ Consulting - Daniel Kröning". www.vorteqconsulting.com. مؤرشف من الأصل في 2016-07-01. اطلع عليه بتاريخ 2018-05-10.
- ^ ا ب ج Daniel Kroening نسخة محفوظة 05 فبراير 2018 على موقع واي باك مشين.
- ^ "Daniel Kroening | HuffPost UK". Huffingtonpost.co.uk. 17 فبراير 2017. مؤرشف من الأصل في 2017-08-02. اطلع عليه بتاريخ 2017-06-28.
- ^ "An Oxford University artificial intelligence startup has raised £17 million to check code for errors". uk.news.yahoo.com. مؤرشف من الأصل في 2018-10-05. اطلع عليه بتاريخ 2017-08-01.
.svg){kind=small}
