Randal Bryant - Randal Bryant

Randal Bryant
Randal Bryant
2006 yılında Bryant
Doğum (1952-10-27) 27 Ekim 1952 (yaş 68)
Amerika Birleşik Devletleri
gidilen okulMichigan üniversitesi
Bilinenİkili Karar Diyagramları (BDD'ler) veri yapısının geliştirilmesi, Resmi donanım ve yazılım doğrulama
ÖdüllerParis Kanellakis Teori ve Uygulama Ödülü
Phil Kaufman Ödülü
Bilimsel kariyer
AlanlarDonanım, sistem yazılımı, ağ iletişimi
KurumlarBilgisayar Bilimleri Fakültesi, Carnegie Mellon Üniversitesi

Randal E. Bryant (27 Ekim 1952 doğumlu) bir Amerikalı bilgisayar uzmanı ve akademik resmi olarak doğrulama konusundaki araştırmasıyla dikkat çekti dijital donanım ve yazılım. Bryant, şurada öğretim üyesi olmuştur: Carnegie Mellon Üniversitesi 1984'ten beri. Şu anda Profesör David R. O'Hallaron ile bilgisayar sistemleri dersi veriyor. O olarak hizmet etti Dean of Bilgisayar Bilimleri Fakültesi (SCS) 2004'ten 2014'e kadar Carnegie Mellon'da.

Yıllar boyunca, Dr. Bryant, donanım ve yazılım doğrulamasının yanı sıra algoritmalar ve bilgisayar mimarisi üzerine yaptığı araştırmalarla pek çok ödül aldı. 1986'da sembolik Boole manipülasyonu üzerine yaptığı makale Sıralı İkili Karar Diyagramları (BDD'ler) en yüksek alıntı sayısına sahiptir. Citeseer bilgisayar bilimleri literatürü veritabanı.[1] 2009 yılında Bryant, Phil Kaufman Ödülü tarafından EDA Konsorsiyumu "resmi doğrulama alanındaki çığır açan teknolojik atılımları için."

Hayatın erken dönemi ve eğitim

Bryant, 27 Ekim 1952'de doğdu ve John H. Bryant'ın oğludur. Barbara Everitt Bryant ve torunu William Littell Everitt, elektrik mühendisliği bölümü eski dekanı, Illinois Üniversitesi, Urbana – Champaign (1949–68). Kız kardeşi, tanınmış bir tekstil sanatçısı olan Lois Bryant'tır (https://loisbryantstudio.com/home.html ). Bryant büyüdü Birmingham, Michigan. 1970 yılından başlayarak Michigan üniversitesi B.S.'yi aldığı yer. Uygulamalı Matematik alanında 1973'ten itibaren. Yüksek lisans tezi Paket İletişim Mimarisi Bilgisayar Sistemlerinin Simülasyonu 1977'de yayınlanan, dağıtık simülasyonla ilgili ilk yayınlardan biri olduğu bilinmektedir.[2] Doktora derecesini Massachusetts Teknoloji Enstitüsü 1981'de.[3]

Kariyer

  • Bryant, 1981'den 1984'e kadar Bilgisayar Bilimleri Bölümü'nde Yardımcı Doçent olarak görev yaptı. Kaliforniya Teknoloji Enstitüsü. Araştırma alanları dahil VLSI devre modelleri, mantık simülasyonu ve devre testi. Ayrıca bilgisayar mimarisi, dijital sistem teorisi ve bilgisayar algoritmaları dersleri verdi.
  • 1984'te Bryant fakülteye katıldı Carnegie Mellon Bilgisayar Bilimleri Yardımcı Doçenti olarak. Araştırmasına VLSI simülasyonu, VLSI devre doğrulama, sembolik manipülasyon ve paralel hesaplama üzerine devam etti.
  • Ziyaretçi Araştırma Görevlisiydi, Fujitsu Laboratuvarları, Ltd., Kawasaki, Japonya, 1990-1991 arası.
  • 1992'de Carnegie Mellon'da Üniversite Profesörü oldu. Profesör Bryant öğretti Bilgisayar Mimarisi 1992'den 1997'ye kadar.
  • O hizmet etti Dean of Bilgisayar Bilimleri Fakültesi 2004'ten 2014'e kadar Carnegie Mellon Üniversitesi'nde. Görev süresi boyunca, SCS'deki birleşik kayıt yüzde 50'den fazla arttı.[4]
  • 2014–2015'te Bilgi Teknolojileri Araştırma ve Geliştirme Müdür Yardımcısı olarak görev yaptı. Beyaz Saray Bilim ve Teknoloji Politikası Dairesi Robotik, makine öğrenimi, yüksek performanslı bilgi işlem, yarı iletken teknolojisi ve bulut bilişim üzerinde çalıştığı ve Büyük Veri konusunda analiz ve tavsiye verdiği yer.
  • Dr. Bryant şu anda bir profesördür. Bilgisayar Bilimleri Fakültesi. En son araştırma alanları arasında resmi donanım ve yazılım doğrulama, sistem testi ve bilgisayar bilimi eğitimi yer almaktadır. Kursu öğretiyor 15-213: Bilgisayar Sistemlerine Giriş Profesör David R. O'Hallaron ile. Onların kitabı Bilgisayar Sistemleri: Bir Programcının PerspektifiÖğrencileri donanım, işletim sistemi, derleyici ve bilgisayar ağlarıyla tanıştıran, dünya çapında 300'den fazla üniversite tarafından kullanılmaktadır.

Araştırma ve yayınlar

  • Bryant, geçtiğimiz yıllarda resmi donanım ve yazılım doğrulaması ile bilgisayar sistemleri üzerine birçok araştırma yaptı. En tanınmış yayını[5] 1986'da "Boole Fonksiyonu Manipülasyonu için Grafik Tabanlı Algoritmalar" içinde ikili karar diyagramı (BDD'ler), Boole işlevlerini ve manipülasyon algoritmalarını temsil etmek için yeni bir veri yapısı olarak sunuldu. BDD'ler, dijital devre testi ve sentezi ve yapay zeka planlaması gibi alanlarda yoğun bir şekilde kullanılmaktadır. Ünlü Bilgisayar Bilimcisine göre Donald Knuth BDD'ler "son yirmi beş yılda ortaya çıkan gerçekten temel veri yapılarından biri" olarak kabul edildi.[2] Araştırmasının ardından yayınladı başka kağıt[6] BDD'ler hakkında 1992'de bir eğitim ve güncelleme üzerine. BDD'ler hakkındaki makalesi, en yüksek atıf sayısına sahip olduğu için ödüllendirildi. Citeseer herhangi bir bilgisayar bilimi literatürünün veritabanı.[1]
  • Dijital devreleri doğrulama çalışmaları - ufuk açıcı çalışma, birçok ödül aldı. IEEE ve diğer profesyonel dernekler (aşağıya bakınız). Onun kağıdı Kısmen sıralı yörüngelerin sembolik değerlendirmesi ile resmi doğrulama [7] 1995 yılında yayınlandı. Makalesinde anlatılan sembolik yörünge değerlendirme yöntemi, endüstriye yaygın bir şekilde benimsenmiştir ve özellikle Intel.[3] Bryant, 2004'ten itibaren veri yoğun bilgi işlem alanında yeni araştırma girişimlerini teşvik ediyor.
  • Bryant ve Carnegie Mellon Üniversitesi'nden Profesör David R.O'Hallaron birlikte kitabı yazdı "Bilgisayar Sistemleri: Bir Programcının Perspektifi" bilgisayar sistemlerini öğretme konusunda yeni bir yaklaşım benimsedikleri. Kitap, sistemlerin tasarımına ve uygulanmasına vurgu yapmak yerine, öğrencilere sistemlerin - mimari, derleyiciler, işletim sistemleri ve bilgisayar ağı - programın davranışını ve performansını nasıl etkilediğini öğretmeye odaklanıyor. Şimdi üçüncü baskısı olan bu kitap Korece, Çince, Makedonca ve Rusçaya çevrildi ve tüm dünyadaki kurumlar tarafından kullanılıyor.[8]

Ödüller ve onurlar

Referanslar

  1. ^ a b "En çok alıntı yapılan kaynak belgeler". Citeseer. Eylül 2006. Alındı 5 Mart, 2007.
  2. ^ a b "Bryant'ın evi". www.cs.cmu.edu. Alındı 2018-02-01.
  3. ^ a b "Randal Bryant - Eğitim ve Yayınlar".
  4. ^ Üniversite, Carnegie Mellon. "Basın Bildirisi: Eski Carnegie Mellon Bilgisayar Bilimleri Dekanı Şimdi Beyaz Saray Politika Ofisine Yardımcı Oluyor - Haberler - Carnegie Mellon Üniversitesi". Alındı 2018-02-01.
  5. ^ Bryant, R. E. (Ağustos 1986). Boole Fonksiyonu Manipülasyonu için "Grafik Tabanlı Algoritmalar". Bilgisayarlarda IEEE İşlemleri. C-35 (8): 677–691. arXiv:cs / 0508044. doi:10.1109 / TC.1986.1676819. ISSN  0018-9340. S2CID  10385726.
  6. ^ Bryant, Randal E. (1992-09-01). "Sıralı ikili karar diyagramları ile sembolik Boole manipülasyonu" (PDF). ACM Hesaplama Anketleri. 24 (3): 293–318. doi:10.1145/136035.136043. ISSN  0360-0300. S2CID  1933530.
  7. ^ Seger, Carl-Johan H .; Bryant, Randal E. (1995-03-01). "Kısmen sıralı yörüngelerin sembolik değerlendirmesi ile resmi doğrulama". Sistem Tasarımında Biçimsel Yöntemler. 6 (2): 147–189. doi:10.1007 / BF01383966. ISSN  0925-9856. S2CID  14804600.
  8. ^ Üniversite, Carnegie Mellon. "Randal Bryant - Yazılım Araştırma Enstitüsü - Carnegie Mellon Üniversitesi". www.isri.cmu.edu. Alındı 2018-02-01.
  9. ^ "ACM / IEEE A. Richard Newton Elektronik Tasarım Otomasyonunda Teknik Etki Ödülü". SIGDA. Alındı 2 Şubat 2018.