لسلی والینت
لسلی والینت (انگلیسی: Leslie G. Valiant؛ زادهٔ ۲۸ مارس ۱۹۴۹) دانشمند علوم رایانه و نظریهپرداز محاسباتی بریتانیایی آمریکایی است. او در حال حاضر پروفسور تی جفرسون کولیج در علوم رایانه و ریاضیات کاربردی در دانشگاه هاروارد است.
لسلی والینت | |
---|---|
نام در زمان تولد | لسلی گابریل والینت |
زادهٔ | ۲۸ مارس ۱۹۴۹ (۷۳ سال) |
ملیت | بریتانیا |
محل تحصیل |
|
شناختهشده برای | والینت – وجیرانی ثیرام |
پیشینه علمی | |
شاخه(ها) | ریاضیات علوم رایانه |
محل کار | |
پایاننامه | (1974) |
استاد راهنما | مایک پترسون |
دانشجویان دکتری |
|
والینت در سال ۲۰۱۰ به عنوان یک قهرمان در علم کامپیوتر نظری و الگویی برای شجاعت و خلاقیت در پرداختن به برخی از عمیقترین مشکلات حل نشده در علم رایانه؛ به ویژه برای "ترکیب چشمگیر عمق و وسعت" جایزه تورینگ را از طرف انجمن ماشینهای حسابگر A.C.M دریافت کرد.
تحصیلات
والینت در کالج کینگ، کمبریج، امپریال کالج لندن و دانشگاه واریک جایی که در سال ۱۹۷۴ پیاچدی علوم رایانه را دریافت کرد، تحصیل کرده است.
حرفه و تحقیق
والینت به دلیل کارش در علم نظری رایانه شهرت جهانی دارد. در میان بسیاری از مشارکتهای او در نظریه پیچیدگی محاسباتی، او مفهوم "کامل-P تیز" (#P-completeness) را معرفی کرد تا توضیح دهد چرا مسائل شمارش و قابلیت اطمینان غیرقابل حل هستند. او همچنین مدل «یادگیری احتمالا تقریبا صحیح» (PAC) را معرفی کرد که به رشد زمینه تئوری یادگیری محاسباتی کمک کرده است. در سیستمهای رایانه، او بیشتر به خاطر معرفی مدل پردازش موازی همزمان فلهای شناخته شده است. کار قبلی او در نظریه اتوماتا شامل الگوریتمی برای تجزیه بدون زمینه بود که (تا سال ۲۰۱۰) هنوز هم از لحاظ مجانبی سریعترین شناخته شده است. او همچنین در علوم اعصاب محاسباتی با تمرکز بر درک حافظه و یادگیری تحقیق میکند.
جوایز و افتخارات
والینت جایزه نوانلینا را در سال ۱۹۸۶، جایزه کنوت را در سال ۱۹۹۷، جایزه ایاتیسیاس را در سال ۲۰۰۸ و جایزه تورینگ را در سال ۲۰۱۰ دریافت کرد. او در سال ۱۹۹۱ به عنوان عضو انجمن سلطنتی (FRS)، عضو انجمن پیشرفت هوش مصنوعی (AAAI) در سال ۱۹۹۲ و عضو آکادمی ملی علوم ایالات متحده در سال ۲۰۰۱ انتخاب شد.
زندگی شخصی
دو پسر او گریگوری والینت و پل والینت هر دو دانشمندان نظری کامپیوتر هستند.
منابع
- ↑ . doi:10.1016/0304-3975(86)90135-0. ; ;
- ↑ لسلی والینت 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". ;
- ↑ «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 G. Valiant». بایگانیشده از اصلی در ۲۳ دسامبر ۲۰۱۵. دریافتشده در ۲۵ ژوئیه ۲۰۱۴.