لسلی والینت - ویکی‌پدیا، دانشنامهٔ آزاد

لسلی والینت
لسلی والینت
نام هنگام تولد	لسلی گابریل والینت
زادهٔ	۲۸ مارس ۱۹۴۹ ‏(۷۵ سال)
ملیت	بریتانیا
محل تحصیل	دانشگاه کمبریج; کالج سلطنتی لندن; دانشگاه وارویک;
شناخته‌شده; برای	والینت – وجیرانی ثیرام
	پیشینه علمی
شاخه(ها)	ریاضیات; علوم رایانه
محل کار	دانشگاه هاروارد; دانشگاه ادینبرو;
پایان‌نامه	(1974)
استاد راهنما	مایک پترسون
دانشجویان دکتری	مارک جروم; مایکل کرنز; دن روث; روکو سرودیو;

لسلی والینت (انگلیسی: Leslie G. Valiant؛ زادهٔ ۲۸ مارس ۱۹۴۹)^[۳] دانشمند علوم رایانه و نظریه‌پرداز محاسباتی بریتانیایی آمریکایی است.^[۴]^[۵]^[۶] او در حال حاضر پروفسور تی جفرسون کولیج در علوم رایانه و ریاضیات کاربردی در دانشگاه هاروارد است.^[۷]^[۸]

والینت در سال ۲۰۱۰ به عنوان یک قهرمان در علم کامپیوتر نظری و الگویی برای شجاعت و خلاقیت در پرداختن به برخی از عمیق‌ترین مشکلات حل نشده در علم رایانه؛ به ویژه برای "ترکیب چشمگیر عمق و وسعت" جایزه تورینگ را از طرف انجمن ماشین‌های حسابگر A.C.M دریافت کرد.^[۴]^[۵]

تحصیلات

والینت در کالج کینگ، کمبریج، امپریال کالج لندن و دانشگاه واریک جایی که در سال ۱۹۷۴ پی‌اچ‌دی علوم رایانه را دریافت کرد، تحصیل کرده است.^[۹]^[۱۰]^[۱۱]

حرفه و تحقیق

والینت به دلیل کارش در علم نظری رایانه شهرت جهانی دارد. در میان بسیاری از مشارکت‌های او در نظریه پیچیدگی محاسباتی، او مفهوم "کامل-P تیز" (#P-completeness) را معرفی کرد تا توضیح دهد چرا مسائل شمارش و قابلیت اطمینان غیرقابل حل هستند. او همچنین مدل «یادگیری احتمالا تقریبا صحیح» (PAC) را معرفی کرد که به رشد زمینه تئوری یادگیری محاسباتی کمک کرده است. در سیستم‌های رایانه، او بیشتر به خاطر معرفی مدل پردازش موازی همزمان فله‌ای شناخته شده است. کار قبلی او در نظریه اتوماتا شامل الگوریتمی برای تجزیه بدون زمینه بود که (تا سال ۲۰۱۰) هنوز هم از لحاظ مجانبی سریعترین شناخته شده است. او همچنین در علوم اعصاب محاسباتی با تمرکز بر درک حافظه و یادگیری تحقیق می‌کند.

جوایز و افتخارات

والینت جایزه نوانلینا را در سال ۱۹۸۶، جایزه کنوت را در سال ۱۹۹۷، جایزه ای‌ا‌تی‌سی‌اس را در سال ۲۰۰۸^[۱۲] و جایزه تورینگ را در سال ۲۰۱۰ دریافت کرد.^[۱۳] او در سال ۱۹۹۱ به عنوان عضو انجمن سلطنتی (FRS)^[۱۴]، عضو انجمن پیشرفت هوش مصنوعی (AAAI) در سال ۱۹۹۲^[۱۵] و عضو آکادمی ملی علوم ایالات متحده در سال ۲۰۰۱^[۱۶] انتخاب شد.

زندگی شخصی

دو پسر او گریگوری والینت^[۱۷] و پل والینت^[۱۸] هر دو دانشمندان نظری کامپیوتر هستند.^[۱۹]

منابع

↑ . doi:10.1016/0304-3975(86)90135-0. {{cite journal}}: Cite journal requires |journal= (help); Missing or empty |title= (help); Text "noedit" ignored (help)
↑ ^۲٫۰ ^۲٫۱ لسلی والینت at Mathematics Genealogy Project
↑ «Leslie Valiant». royalsociety.org. دریافت‌شده در ۲۰۲۲-۱۰-۲۹.
↑ ^۴٫۰ ^۴٫۱ «Leslie G Valiant - A.M. Turing Award Laureate». amturing.acm.org. دریافت‌شده در ۲۰۲۲-۱۰-۲۹.
↑ ^۵٫۰ ^۵٫۱ Hoffmann, Leah (2011-06-01). "Q&A: A lifelong learner". Communications of the ACM. 54 (6): 128–ff. doi:10.1145/1953122.1953152. ISSN 0001-0782.
↑ "Valiant, Prof. Leslie Gabriel, (born 28 March 1949), T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics, Harvard University, since 2001". WHO'S WHO & WHO WAS WHO (به انگلیسی). doi:10.1093/ww/9780199540884.001.0001/ww-9780199540884-e-40928;jsessionid=402b108c8e57fc889cab4abded16c632. Retrieved 2022-10-29.
↑ "L G Valiant - Home". Author DO Series (به انگلیسی). Retrieved 2022-10-29.
↑ "dblp: Leslie G. Valiant". dblp.org (به انگلیسی). Retrieved 2022-10-29.
↑ «Leslie G Valiant - A.M. Turing Award Laureate». amturing.acm.org. دریافت‌شده در ۲۰۲۲-۱۰-۳۱.
↑ Valiant, Leslie (1973-07). "Decision procedures for families of deterministic pushdown automata". {{cite journal}}: Cite journal requires |journal= (help); Check date values in: |date= (help)
↑ «Leslie Valiant - The Mathematics Genealogy Project». mathgenealogy.org. دریافت‌شده در ۲۰۲۲-۱۰-۳۱.
↑ «The EATCS Award 2008».
↑ "'Probably Approximately Correct' Inventor, From Harvard U., Wins Turing Award". The Chronicle of Higher Education (به انگلیسی). 2011-03-09. Retrieved 2022-11-04.
↑ «Leslie Valiant». royalsociety.org. دریافت‌شده در ۲۰۲۲-۱۱-۱۰.
↑ «Elected AAAI Fellows». www.aaai.org. دریافت‌شده در ۲۰۲۲-۱۱-۱۰.
↑ «Leslie G. Valiant». www.nasonline.org. دریافت‌شده در ۲۰۲۲-۱۱-۱۰.
↑ «Gregory Valiant Homepage». theory.stanford.edu. دریافت‌شده در ۲۰۲۲-۱۱-۱۳.
↑ «Paul Valiant's homepage». www.cs.purdue.edu. دریافت‌شده در ۲۰۲۲-۱۱-۱۳.
↑ "Valiant, Prof. Leslie Gabriel, (born 28 March 1949), T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics, Harvard University, since 2001". WHO'S WHO & WHO WAS WHO (به انگلیسی). doi:10.1093/ww/9780199540884.001.0001/ww-9780199540884-e-40928;jsessionid=a6a0aeeb580f5360ad5e3913ddfc589a. Retrieved 2022-11-13.

مشارکت‌کنندگان ویکی‌پدیا. «Leslie Valiant». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۵ ژوئیه ۲۰۱۴.
«Leslie G. Valiant». بایگانی‌شده از اصلی در ۲۳ دسامبر ۲۰۱۵. دریافت‌شده در ۲۵ ژوئیه ۲۰۱۴.

[1] . doi:10.1016/0304-3975(86)90135-0. {{cite journal}}: Cite journal requires |journal= (help); Missing or empty |title= (help); Text "noedit" ignored (help)

[mathgene-2] ۲٫۰ ^۲٫۱ لسلی والینت at Mathematics Genealogy Project

[3] «Leslie Valiant». royalsociety.org. دریافت‌شده در ۲۰۲۲-۱۰-۲۹.

[:0-4] ۴٫۰ ^۴٫۱ «Leslie G Valiant - A.M. Turing Award Laureate». amturing.acm.org. دریافت‌شده در ۲۰۲۲-۱۰-۲۹.

[:1-5] ۵٫۰ ^۵٫۱ Hoffmann, Leah (2011-06-01). "Q&A: A lifelong learner". Communications of the ACM. 54 (6): 128–ff. doi:10.1145/1953122.1953152. ISSN 0001-0782.

[6] "Valiant, Prof. Leslie Gabriel, (born 28 March 1949), T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics, Harvard University, since 2001". WHO'S WHO & WHO WAS WHO (به انگلیسی). doi:10.1093/ww/9780199540884.001.0001/ww-9780199540884-e-40928;jsessionid=402b108c8e57fc889cab4abded16c632. Retrieved 2022-10-29.

[7] "L G Valiant - Home". Author DO Series (به انگلیسی). Retrieved 2022-10-29.

[8] "dblp: Leslie G. Valiant". dblp.org (به انگلیسی). Retrieved 2022-10-29.

[9] «Leslie G Valiant - A.M. Turing Award Laureate». amturing.acm.org. دریافت‌شده در ۲۰۲۲-۱۰-۳۱.

[10] Valiant, Leslie (1973-07). "Decision procedures for families of deterministic pushdown automata". {{cite journal}}: Cite journal requires |journal= (help); Check date values in: |date= (help)

[11] «Leslie Valiant - The Mathematics Genealogy Project». mathgenealogy.org. دریافت‌شده در ۲۰۲۲-۱۰-۳۱.

[12] «The EATCS Award 2008».

[13] "'Probably Approximately Correct' Inventor, From Harvard U., Wins Turing Award". The Chronicle of Higher Education (به انگلیسی). 2011-03-09. Retrieved 2022-11-04.

[14] «Leslie Valiant». royalsociety.org. دریافت‌شده در ۲۰۲۲-۱۱-۱۰.

[15] «Elected AAAI Fellows». www.aaai.org. دریافت‌شده در ۲۰۲۲-۱۱-۱۰.

[16] «Leslie G. Valiant». www.nasonline.org. دریافت‌شده در ۲۰۲۲-۱۱-۱۰.

[17] «Gregory Valiant Homepage». theory.stanford.edu. دریافت‌شده در ۲۰۲۲-۱۱-۱۳.

[18] «Paul Valiant's homepage». www.cs.purdue.edu. دریافت‌شده در ۲۰۲۲-۱۱-۱۳.

[19] "Valiant, Prof. Leslie Gabriel, (born 28 March 1949), T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics, Harvard University, since 2001". WHO'S WHO & WHO WAS WHO (به انگلیسی). doi:10.1093/ww/9780199540884.001.0001/ww-9780199540884-e-40928;jsessionid=a6a0aeeb580f5360ad5e3913ddfc589a. Retrieved 2022-11-13.

[۱]

[۲]

[۳]

[۴]

[۵]

[۶]

[۷]

[۸]

[۹]

[۱۰]

[۱۱]

[۱۲]

[۱۳]

[۱۴]

[۱۵]

[۱۶]

[۱۷]

[۱۸]

[۱۹]

ن ب و برندگان جایزه تورینگ
دهه ۱۹۶۰	آلن پرلیس (۱۹۶۶) موریس ویلکس (۱۹۶۷) ریچارد همینگ (۱۹۶۸) ماروین مینسکی (۱۹۶۹)
دهه ۱۹۷۰	جیمز ویلکینسون (۱۹۷۰) جان مک‌کارتی (دانشمند علوم رایانه) (۱۹۷۱) ادسخر دیکسترا (۱۹۷۲) چارلز بکمن (۱۹۷۳) دانلد کنوت (۱۹۷۴) آلن نیوول; هربرت الکساندر سایمون (۱۹۷۵) مایکل رابین; دینا اسکات (۱۹۷۶) جان باکوس (۱۹۷۷) رابرت فلوید (۱۹۷۸) کنت ای. آیورسن (۱۹۷۹)
دهه ۱۹۸۰	تونی هور (۱۹۸۰) ادگار کاد (۱۹۸۱) استیون کوک (۱۹۸۲) کن تامسون; دنیس ریچی (۱۹۸۳) نیکلاوس ویرت (۱۹۸۴) ریچارد ام. کارپ (۱۹۸۵) جان هاپکرافت; رابرت تارجان (۱۹۸۶) جان کوک (۱۹۸۷) ایوان سادرلند (۱۹۸۸) ویلیام کاهان (۱۹۸۹)
دهه ۱۹۹۰	فرناندو کورباتو (۱۹۹۰) رابین میلز (۱۹۹۱) باتلر لامپسن (۱۹۹۲) یوریس هارتمانیس; ریچارد استیرنز (۱۹۹۳) ادوارد فاین‌باوم; راج ردی (۱۹۹۴) مانوئل بلوم (۱۹۹۵) امیر پنوئلی (۱۹۹۶) داگلاس انگلبارت (۱۹۹۷) جیم گری (۱۹۹۸) فردریک بروکز (۱۹۹۹)
دهه ۲۰۰۰	اندرو یائو (۲۰۰۰) اوله-یوهان دال; کریستین نیگارد (۲۰۰۱) رونالد ریوست; ادی شامیر; لئونارد آدلمن (۲۰۰۲) الن کی (۲۰۰۳) وینتون سرف; باب کان (۲۰۰۴) پیتر ناور (۲۰۰۵) فرانسیس آلن (۲۰۰۶) ادموند ام کلارک; ارنست آلن امرسون; جوزف سیفاکیس (۲۰۰۷) باربارا لیسکف (۲۰۰۸) چارلز ثاکر (۲۰۰۹)
دهه ۲۰۱۰	لسلی والینت (۲۰۱۰) یودیا پرل (۲۰۱۱) شافی گولدواسر; سیلویو میکالی (۲۰۱۲) لزلی لمپورت (۲۰۱۳) مایکل استون‌براکر (۲۰۱۴) مارتین هلمن; ویتفیلد دیفی (۲۰۱۵) تیم برنرز-لی (۲۰۱۶) جان هنسی; دیوید پترسون (دانشمند رایانه) (۲۰۱۷) یوشوا بنجیو; جفری هینتون; یان لی کان (۲۰۱۸) ادوین کتمول; پت هانراهان (۲۰۱۹)
دهه ۲۰۲۰	آلفرد آهو; جفری اولمن (۲۰۲۰) جک دونگارا (۲۰۲۱)