دانيال كرويننغ (Daniel Kroening) (ولد في 6 نوفمبر 1975)[1] وهو علم الحاسوب الألماني، وأستاذ في علوم الكمبيوتر في جامعة أوكسفورد.[2] وهو زميل في كلية ماجدالين.
| دانيال كرويننغ | |
|---|---|
| معلومات شخصية | |
| الميلاد | 6 نوفمبر 1975 (45 سنة) |
| الجنسية |  |
| الحياة العملية | |
| المدرسة الأم | جامعة سارلاند |
| المهنة | عالم حاسوب |
| موظف في | جامعة أوكسفورد |
حياته
ولد كرونينغ في ماينز، راينلاند بالاتينات، ألمانيا.[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. مؤرشف من الأصل في 13 أبريل 201928 يونيو 2017.
- "Daniel Kröning". www.kroening.handshake.de. مؤرشف من الأصل في 10 أغسطس 201810 مايو 2018.
- Kroening, Daniel. "DBOX BBS Package". www.dbox.handshake.de. مؤرشف من الأصل في 16 أبريل 201610 مايو 2018.
- "DBOX". freshmeat.sourceforge.net. مؤرشف من الأصل في 10 مايو 201810 مايو 2018.
- Both, Andreas. "Chronik des Handshake e.V." www.handshake.de. مؤرشف من الأصل في 20 فبراير 201410 مايو 2018.
- "VorteQ Consulting - Daniel Kröning". www.vorteqconsulting.com. مؤرشف من الأصل في 1 يوليو 201610 مايو 2018.
- Daniel Kroening - تصفح: نسخة محفوظة 05 فبراير 2018 على موقع واي باك مشين.
- "Daniel Kroening | HuffPost UK". Huffingtonpost.co.uk. 17 February 2017. مؤرشف من الأصل في 2 أغسطس 201728 يونيو 2017.
- "An Oxford University artificial intelligence startup has raised £17 million to check code for errors". uk.news.yahoo.com. مؤرشف من الأصل في 5 أكتوبر 201801 أغسطس 2017.