دانيال كرويننغ

دانيال كرويننغ (بالإنجليزية: Daniel Kroening)‏ (ولد في 6 نوفمبر 1975)[1] وهو علم الحاسوب الألماني، وأستاذ في علوم الكمبيوتر في جامعة أوكسفورد.[2] وهو زميل في كلية ماجدالين.

دانيال كرويننغ
معلومات شخصية
الميلاد 6 نوفمبر 1975 (46 سنة) 
الجنسية
الحياة العملية
المدرسة الأم جامعة سارلاند  
المهنة عالم حاسوب  
موظف في جامعة أوكسفورد  

حياته

ولد كرونينغ في ماينز، راينلاند بالاتينات، ألمانيا.[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]

مراجع
  1. https://subs.emis.de/LNI/Dissertation/Dissertation2/GI-Dissertations.02-7.pdf p. 80
  2. "Professor Daniel Kroening | Magdalen College Oxford". Magd.ox.ac.uk. مؤرشف من الأصل في 13 أبريل 2019. اطلع عليه بتاريخ 28 يونيو 2017. الوسيط |CitationClass= تم تجاهله (مساعدة)
  3. "Daniel Kröning". www.kroening.handshake.de. مؤرشف من الأصل في 10 أغسطس 2018. اطلع عليه بتاريخ 10 مايو 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  4. Kroening, Daniel. "DBOX BBS Package". www.dbox.handshake.de. مؤرشف من الأصل في 16 أبريل 2016. اطلع عليه بتاريخ 10 مايو 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  5. "DBOX". freshmeat.sourceforge.net. مؤرشف من الأصل في 10 مايو 2018. اطلع عليه بتاريخ 10 مايو 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  6. Both, Andreas. "Chronik des Handshake e.V." www.handshake.de. مؤرشف من الأصل في 20 فبراير 2014. اطلع عليه بتاريخ 10 مايو 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  7. "VorteQ Consulting - Daniel Kröning". www.vorteqconsulting.com. مؤرشف من الأصل في 1 يوليو 2016. اطلع عليه بتاريخ 10 مايو 2018. الوسيط |CitationClass= تم تجاهله (مساعدة)
  8. Daniel Kroening نسخة محفوظة 05 فبراير 2018 على موقع واي باك مشين.
  9. "Daniel Kroening | HuffPost UK". Huffingtonpost.co.uk. 17 February 2017. مؤرشف من الأصل في 2 أغسطس 2017. اطلع عليه بتاريخ 28 يونيو 2017. الوسيط |CitationClass= تم تجاهله (مساعدة)
  10. "An Oxford University artificial intelligence startup has raised £17 million to check code for errors". uk.news.yahoo.com. مؤرشف من الأصل في 5 أكتوبر 2018. اطلع عليه بتاريخ 01 أغسطس 2017. الوسيط |CitationClass= تم تجاهله (مساعدة)

    وصلات خارجية
    • بوابة ألمانيا
    • بوابة أعلام
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.