رندال براینت

رندال براینت (؛ زادهٔ ) یک دانشمند رایانه آمریکایی است که به خاطر تحقیقاتش در زمینه درستی‌یابی صوری سخت‌افزار و نرم‌افزار دیجیتال شناخته شده است. براینت از سال ۱۹۸۴ عضو هیئت علمی دانشگاه کارنگی ملون بوده است. او از سال ۲۰۰۴ تا ۲۰۱۴ به عنوان رئیس دانشکده علوم رایانه (SCS) در کارنگی ملون خدمت کرد. دکتر براینت در ۳۰ ژوئن ۲۰۲۰ بازنشسته شد و به عنوان استاد ممتاز دانشگاه بنیانگذاران منصوب شد. وی عضو پیوسته انجمن مهندسان برق و الکترونیک است.

برایانت به خاطر تحقیقاتش در زمینه تأیید سخت‌افزار و نرم‌افزار و همچنین الگوریتم‌ها و معماری رایانه، تقدیرنامه‌های زیادی دریافت کرده است. مقاله او در سال ۱۹۸۶ در مورد دستکاری نمادین بولی با استفاده از نمودارهای تصمیم‌گیری دودویی مرتب (BDDs) بالاترین تعداد استناد را در بین تمام نشریات در پایگاه داده سایت‌سیر مربوط به علوم رایانه دارد. در سال ۲۰۰۹، برایانت جایزه فیل کافمن را از کنسرسیوم EDA «به خاطر پیشرفت‌های تکنولوژیکی اساسی‌اش در زمینه تأیید رسمی» دریافت کرد.

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

 منابع 



 پیوند به بیرون 

رده:اعضای پیوسته انجمن مهندسان برق و الکترونیک
رده:اعضای آکادمی ملی مهندسی آمریکا
رده:افراد زنده
رده:دانشمندان رایانه اهل ایالات متحده آمریکا
رده:دانش‌آموختگان دانشگاه میشیگان
رده:زادگان ۱۹۵۲ (میلادی)
رده:مهندسان برق اهل ایالات متحده آمریکا
رده:فلوهای انجمن ماشین‌های حسابگر