بواز باراک
بواز باراک | |
|---|---|
| اطلاعات شخصی | |
| زاده | ۱۹۷۴ |
| ملیت | اسرائیلی-آمریکایی |
| تحصیلات | کارشناسی در ریاضیات و پی‌اچ‌دی در علوم رایانه |
| شناخته شده برای | استاد علوم رایانه در دانشگاه هاروارد |
| پیشه | استاد علوم رایانه |
بوآز باراک (به انگلیسی: Boaz Barak، زادهٔ ۱۹۷۴) یک استاد اسرائیلی-آمریکایی علوم رایانه در دانشگاه هاروارد است.[۱]
سنین جوانی و تحصیلات[ویرایش]
او در سال ۱۹۹۹ با مدرک کارشناسی در ریاضیات و علوم رایانه از دانشگاه تل آویو فارغ التحصیل شد.[۲] در سال ۲۰۰۴ دکترای خود را از مؤسسه علوم وایزمن با پایان‌نامه تکنیک‌های غیر جعبه سیاه در رمزنگاری زیر نظر اودد گلدریچ دریافت کرد.[۳] باراک به مدت دو سال از سال ۲۰۰۳ تا ۲۰۰۵ در مؤسسه مطالعات پیشرفته بود. او از سال ۲۰۰۵ تا ۲۰۱۰ استادیار بخش علوم رایانه دانشگاه پرینستون و از سال ۲۰۱۰ تا ۲۰۱۱ دانشیار بود. از سال ۲۰۱۰ تا ۲۰۱۶، او محقق آزمایشگاه تحقیقاتی نیو انگلند مایکروسافت بود. از سال ۲۰۱۶، او استاد گوردون مک کی در علوم رایانه در دانشکده مهندسی و علوم کاربردی هاروارد جان آ. پالسون است. او شهروند اسرائیل و ایالات متحده است.[۲]
حرفه[ویرایش]
او به همراه سانجیف آرورا کتاب پیچیدگی محاسباتی: رویکردی مدرن را که توسط انتشارات دانشگاه کمبریج در سال ۲۰۰۹ منتشر شد، نوشت.[۴] باراک همچنین یادداشت‌های گسترده‌ای با دیوید استورر در مورد الگوریتم مجموع مربع‌ها نوشت و گهگاه در وبلاگ ویندوز آن تئوری منتشر کرد.[۲] در سال ۲۰۱۳، او، رابرت جی. گلدستون و الکساندر گلاسر روی طراحی یک سیستم "دانش صفر" کار کردند تا تأیید کنند که کلاهک‌های تعیین شده برای خلع سلاح در واقع همان چیزی هستند که مدعی هستند. یک کلاهک شناخته شده، بازرسان می‌توانند بدون افشای اسرار هسته‌ای تشخیص دهند که آیا کلاهکی که خلع سلاح می‌شود، واقعی است یا فریبکاری است که برای فرار از الزامات معاهده طراحی شده است.[۵]
در سال ۲۰۱۴ باراک به عنوان سخنران در کنگره جهانی ریاضیدانان در سئول دعوت شد. او با مارک براورمن، شی چن و آنوپ رائو برنده جایزه مقاله برجسته SIAM در سال ۲۰۱۶ برای مقاله "چگونه ارتباطات تعاملی را فشرده کنیم" شد.[۲] او در سال ۲۰۲۲ به عضویت انجمن ماشین‌های حسابگر، «به دلیل مشارکت در علوم رایانه نظری، به ویژه رمزنگاری و پیچیدگی محاسباتی، و خدمات به جامعه تئوری» معرفی شد.[۶]
منابع[ویرایش]
- ↑ "Boaz Barak, homepage". boazbarak.
- ↑ ۲٫۰ ۲٫۱ ۲٫۲ ۲٫۳ «Boaz Barak – Curriculum Vitae» (PDF).
- ↑ «Boaz Barak - The Mathematics Genealogy Project». mathgenealogy.org. دریافت‌شده در ۲۰۲۴-۰۴-۰۱.
- ↑ «Computational Complexity: A Modern Approach».
- ↑ Twitter (۲۰۱۴-۰۶-۲۶). «Fusing physics, cryptography to solve a nuclear inspection paradox». Los Angeles Times (به انگلیسی). دریافت‌شده در ۲۰۲۴-۰۴-۰۴.
- ↑ "Global Computing Association Names 57 Fellows for Outstanding Contributions That Propel Technology Today". www.acm.org (به انگلیسی). Retrieved 2024-04-06.
پیوند به بیرون[ویرایش]
- "Selected publications (with electronic versions available)". boazbarak.org.
- "On the possibility of an instance-based complexity theory - Boaz Barak". YouTube. Institute for Advanced Study. 15 April 2019.
- "Boaz Barak: Cryptography, Computation Complexity, Algorithms". YouTube. 1 November 2017.
- "On the Existence of Optimal Algorithms". YouTube. Simons Institute. 1 October 2015.
- "ICM 2014 VideoSeries IL14.1: Boaz Barak on Aug14Thu (Sum-of-squares proofs and the quest toward optimal algorithms)". YouTube. Seoul ICM VOD. 18 August 2014.
- Mohan, Geoffrey (June 26, 2014). "Fusing physics, cryptography to solve a nuclear inspection paradox". Los Angeles Times.
- "A World Disrupted: Leading Global Thinkers of 2014". Foreign Policy. Archived from the original on 1 January 2015. Retrieved 1 October 2020.
| عمومی | |
|---|---|
| کتابخانه‌های ملی | |
| پایگاه‌های دادهٔ علمی | |
| سایر | |
- اسرائیلیهای مهاجرتکرده به ایالات متحده آمریکا
- دانشمندان سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
- دانشمندان نظری رایانه
- ریاضیدانان سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
- استادان دانشگاه پرینستون
- دانشآموختگان دانشگاه تلآویو
- افراد زنده
- زادگان ۱۹۷۴ (میلادی)
- دانشمندان رایانه اهل ایالات متحده آمریکا
- دانشمندان رایانه اهل اسرائیل