كارستن لوند

📅 آخر تحديث: ٤ أغسطس ٢٠٢٦
✍️ نُشر في: ٤ أغسطس ٢٠٢٦
الموسوعة الحرة

كارستن لوند (مواليد 1 يوليو 1963) هو عالم حاسوب نظري من أصل دنماركي ، ويعمل حاليًا في مختبرات AT&T في بيدمينستر، نيو جيرسي ، الولايات المتحدة. [ 1 ]

وُلد لوند في مدينة آرهوس بالدنمارك ، وحصل على درجة "كانديدات" عام 1988 من جامعة آرهوس ، وعلى درجة الدكتوراه في علوم الحاسوب من جامعة شيكاغو . وقد اختيرت أطروحته، بعنوان " قوة التفاعل "، كأطروحة متميزة من قِبل جمعية آلات الحوسبة (ACM ).

شارك لوند في تأليف ورقتين من أصل خمس أوراق بحثية متنافسة في ندوة عام 1990 حول أسس علوم الحاسوب، والتي تناولت توصيف فئات التعقيد مثل PSPACE و NEXPTIME من حيث أنظمة الإثبات التفاعلية ؛ [ 2 ] [ 3 ] [ 4 ] وأصبح هذا العمل جزءًا من أطروحته للدكتوراه عام 1991 من جامعة شيكاغو تحت إشراف لانس فورتناو ولازلو باباي ، [ 5 ] والتي حاز عنها على المركز الثاني في جائزة أطروحة الدكتوراه من جمعية آلات الحوسبة (ACM) لعام 1991. [ 6 ]

يُعرف أيضًا بعمله المشترك مع سانجيف أرورا ، ومادو سودان ، وراجيف موتاني ، وماريو سيجيدي، والذي اكتشف وجود براهين قابلة للتحقق احتماليًا لمسائل NP-hard ، واستخدمها لإثبات نتائج صعوبة مسائل التقريب ؛ [ 7 ] [ 8 ] وفي عام 2001، حصل هو وزملاؤه على جائزة غودل لمساهمتهم في هذه الاكتشافات. [ 9 ]

وقد نشر مؤخراً أعمالاً حظيت باقتباسات كثيرة حول هندسة حركة مرور الإنترنت . [ 10 ] [ 11 ]

وهو يعمل لدى مختبرات AT&T منذ أغسطس 1991. [ 12 ]

مراجع

  1. ↑ الصفحة الرئيسية للوند في شركة AT&T .
  2. ↑ كولاتا، جينا (26 يونيو 1990)، "في حالة من الهيجان، الرياضيات تدخل عصر البريد الإلكتروني" ، صحيفة نيويورك تايمز.
  3. ↑ لوند، كارستن؛ فورتناو، لانس؛ كارلوف، هوارد جيه؛ نيسان، نوام (1990)، "الأساليب الجبرية لأنظمة الإثبات التفاعلية"، وقائع الندوة السنوية الحادية والثلاثين حول أسس علوم الحاسوب ، الصفحات 2-10 ، doi : 10.1109/FSCS.1990.89518 ، ISBN  978-0-8186-2082-9، S2CID 32614901 . نُشر لاحقًا في مجلة JACM، 1991، doi : 10.1145/146585.146605 .
  4. ↑ باباي، لازلو؛ فورتناو، لانس؛ لوند، كارستن (1990)، "الوقت الأسي غير الحتمي له بروتوكولات تفاعلية ثنائية المُثبت"، وقائع الندوة السنوية الحادية والثلاثين حول أسس علوم الحاسوب ، ص 16-25 ، CiteSeerX 10.1.1.130.9311 ، doi : 10.1109/FSCS.1990.89520 ، ISBN   978-0-8186-2082-9، S2CID 38429596 . نُشر لاحقًا في مجلة Computational Complexity، 1991، doi : 10.1007/BF01200056 .
  5. ↑ كارستن لوند في مشروع علم الأنساب الرياضي .
  6. ↑ كوبس، ستيف (11 مايو 2000)، "حاصل على درجة الدكتوراه يحصل على أعلى جائزة في مجال علوم الحاسوب" ، صحيفة جامعة شيكاغو كرونيكل ، 19 (16).
  7. ↑ كولاتا، جينا (7 أبريل 1992)، "اكتشاف طريقة مختصرة جديدة لإثباتات الرياضيات الطويلة" ، صحيفة نيويورك تايمز.
  8. ^ أرورا ، سانجيف. لوند، كارستن. موتواني، راجيف؛ السودان، مادو؛ Szegedy، Mario (1998)، “التحقق من البرهان وصلابة مشاكل التقريب”، مجلة ACM ، 45 (3): 501-555 ، دوى : 10.1145/278298.278306 ، S2CID 8561542 . تم تقديمها في الأصل في ندوة عام 1992 حول أسس علوم الحاسوب ، doi : 10.1109/SFCS.1992.267823 .
  9. ↑ باربيري، إيان (2001)، جائزة غودل لعام 2001 ، ACM SIGACT.
  10. ↑ فيلدمان، أ.؛ غرينبيرغ، أ.؛ لوند، س.؛ رينغولد، ن.؛ ريكسفورد، ج. (2000)، "NetScope: هندسة حركة المرور لشبكات IP"، IEEE Network ، 14 (2): 11-19 ، Bibcode : 2000IEEEN..14b..11F ، CiteSeerX 10.1.1.42.2801 ، doi : 10.1109/65.826367 .
  11. ↑ فيلدمان، أ.؛ غرينبيرغ، أ.؛ لوند، س.؛ رينغولد، ن.؛ ريكسفورد، ج .؛ ترو، ف. (2001)، "استخلاص متطلبات حركة البيانات لشبكات بروتوكول الإنترنت التشغيلية: المنهجية والخبرة"، معاملات IEEE/ACM في الشبكات ، 9 (3): 265-279 ، Bibcode : 2001ITNet...9..265F ، CiteSeerX 10.1.1.43.3549 ، doi : 10.1109/90.929850 ، S2CID 32689094  .
  12. ↑ كيشاف، س.؛ لوند، س.؛ فيليبس، س.؛ رينغولد، ن.؛ ساران، هـ. (1995). "تقييم تجريبي لسياسات مدة الاحتفاظ بالدائرة الافتراضية في شبكات IP عبر ATM". مجلة IEEE للمجالات المختارة في الاتصالات . 13 (8): 1371-1382 . Bibcode : 1995IJSAC..13.1371K . doi : 10.1109/49.464709 .