랜달 브라이언트

Randal Bryant
랜달 브라이언트
Randal Bryant
2006년 브라이언트
태어난 (1952-10-27) 1952년 10월 27일 (69)
미국
모교미시간 대학교
로 알려져 있다.BDD(Binary Decision Diagraphics) 데이터 구조 개발, 하드웨어 및 소프트웨어 검증
수상파리 카넬라키스 이론 및 실천상
필 카우프만상
과학 경력
필드하드웨어, 시스템 소프트웨어, 네트워킹
기관카네기멜론 대학교 컴퓨터과학대학원

랜달 E. 브라이언트(Bryant, 1952년 10월 27일 출생)는 디지털 하드웨어와 소프트웨어를 공식적으로 검증하는 연구로 유명한 미국의 컴퓨터 과학자 겸 학술가다. 브라이언트는 1984년부터 카네기멜론 대학의 교수진이었다. 2004년부터 2014년까지 카네기 멜론(Carnegie Mellon)에서 컴퓨터과학대학원(SCS) 학장을 지냈다. 브라이언트 박사는 은퇴하여 2020년 6월 30일 파운더스 대학교 명예교수가 되었다.

수년간 브라이언트 박사는 알고리즘과 컴퓨터 아키텍처뿐만 아니라 하드웨어와 소프트웨어 검증에 대한 연구로 많은 인정을 받았다. 그가 1986년에 발표한 컴퓨터 과학 문헌의 시트르 데이터베이스에 게재된 어떤 간행물도 BDDs를 이용한 상징적 부울 조작에 관한 논문은 인용 부수가 가장 높다.[1] 2009년 브라이언트는 EDA 컨소시엄으로부터 "공식 검증 분야에서 중요한 기술적 돌파구"로 필 카우프만 상을 받았다.

조기생활과 교육

브라이언트는 1952년 10월 27일에 태어났으며, 존 H. 브라이언트와 바바라 에버릿 브라이언트의 아들로, 일리노이 대학교의 전 전기공학부 학장인 윌리엄 리텔 에버릿(1949–68)의 손자다. 그의 여동생은 유명한 직물 아티스트인 로이스 브라이언트(https://loisbryantstudio.com/home.html))이다. 브라이언트는 미시건주 버밍엄에서 자랐다. 1970년부터 미시건 대학에 입학하여 1973년부터 응용수학에서 B.S를 받았다. 1977년에 출판된 패킷 통신 아키텍처 컴퓨터 시스템의 시뮬레이션에 관한 그의 석사 논문은 분산 시뮬레이션에 관한 최초의 간행물 중 하나로 알려져 있다.[2] 1981년 매사추세츠 공과대학에서 박사학위를 받았다.[3]

경력

  • 1981년부터 1984년까지 브라이언트는 캘리포니아 공과대학교 컴퓨터 과학 부교수였다. 그의 연구 분야에는 VLSI 회로 모델, 논리 시뮬레이션, 회로 테스트 등이 포함되었다. 그는 또한 컴퓨터 아키텍처, 디지털 시스템 이론, 컴퓨터 알고리즘의 강좌를 가르쳤다.
  • 1984년 브라이언트는 컴퓨터 과학의 조교수로 카네기 멜론에서 교수직에 합류했다. 그는 VLSI 시뮬레이션, VLSI 회로 검증, 기호 조작, 병렬 컴퓨팅에 대한 연구를 계속했다.
  • 그는 1990-1991년 일본 가와사키의 후지쯔 연구소의 방문 연구원이었습니다.
  • 1992년에 그는 카네기 멜론 대학교수가 되었다. 브라이언트 교수는 1992년부터 1997년까지 컴퓨터 건축학을 가르쳤다.
  • 그는 2004년부터 2014년까지 카네기 멜론 대학교의 컴퓨터 과학 학장으로 재직했다. 그의 재임 기간 동안 SCS의 총 등록은 50% 이상 증가했다.[4]
  • 2003년에 브라이언트는 상징적 시뮬레이션과 논리 검증에 기여하여 미국 공학 아카데미 회원으로 선출되었다.
  • 그는 2011년부터 2013년까지[5] 인포시스상 공학 및 컴퓨터 과학 심사위원이었다.
  • 2014~2015년 백악관 과학기술정책실 정보기술연구개발 부국장을 맡아 로봇·기계학습·고성능 컴퓨팅·반도체 기술·클라우드 컴퓨팅 등을 담당하며 빅데이터에 대한 분석과 조언을 제공했다.
  • 브라이언트 박사는 현재 컴퓨터 과학 대학의 교수로 있다. 그의 가장 최근의 연구 분야는 공식적인 하드웨어와 소프트웨어 검증, 시스템 테스트, 컴퓨터 과학 교육 등이다. 그는 데이비드 R. 오할라론 교수와 함께 15-213: 컴퓨터 시스템 소개 과정을 가르친다. 그들의 책 "컴퓨터 시스템: 프로그래머의 관점"은 학생들에게 하드웨어, 운영 체제, 컴파일러, 컴퓨터 네트워크를 소개하며, 전세계 300개 이상의 대학에서 사용되고 있다.

연구 및 출판물

  • 지난 몇 년 동안 브라이언트는 컴퓨터 시스템뿐만 아니라 공식적인 하드웨어와 소프트웨어 검증에 대한 많은 연구를 해 왔다. 1986년 그가 가장 잘 알려진 출판물은[6] "그래프 기반 BDDs(Binary Decision Diagraphy Manufact Manufact Manufact Manufaction)"로, BDDs(Binary Decision Diagraphy)가 Boolean 함수와 조작 알고리즘을 나타내는 새로운 데이터 구조로 제시되었다. BDD는 디지털 회로 시험과 종합, 인공지능 계획 등의 분야에서 광범위하게 사용되어 왔다. 유명한 컴퓨터 과학자인 도널드 크누스에 따르면, BDDs는 "지난 25년 동안 나온 유일한 진짜 근본적인 데이터 구조 중 하나"로 여겨졌다.[2] 그의 연구에 이어, 그는 1992년에 BDD에 대한 튜토리얼과 업데이트에 관한 또 다른 논문을[7] 발표했다. BDD에 대한 그의 논문은 어떤 컴퓨터 과학 문헌의 시테서 데이터베이스에서 가장 높은 인용 숫자를 기록한 것에 대해 상을 받았다.[1]
  • 디지털 회로를 검증하는 그의 연구 - 소수 작업은 IEEE 및 기타 전문 협회로부터 수많은 상을 받았다(아래 참조). 부분적으로 순서가 정해진 궤도에[8] 대한 상징적 평가에 의한 형식적 검증에 관한 그의 논문은 1995년에 발표되었다. 그의 논문에서 기술된 상징적 궤적 평가 방법은 업계에 널리 채택되어 왔으며, 특히 인텔이 그 방법을 많이 사용하고 있다.[3] 2004년부터 Bryant는 데이터 집약적인 컴퓨팅 분야에서 새로운 연구 이니셔티브를 추진해왔다.
  • 브라이언트와 카네기멜론 대학의 데이비드 오할라론 교수는 컴퓨터 시스템: 프로그래머의 관점이라는 책을 함께 썼는데, 이 책에서 그들은 컴퓨터 시스템을 가르치는 새로운 접근법을 썼다. 이 책은 시스템의 설계와 실행을 강조하기보다는, 학생들에게 건축, 컴파일러, 운영체제, 컴퓨터 네트워킹 등 시스템이 프로그램의 행동과 성능에 어떤 영향을 미치는지를 가르치는 데 초점을 맞추고 있다. 현재 제3판인 이 책은 한국어, 중국어, 마케도니아어, 러시아어로 번역되어 전 세계 기관에서 사용되고 있다.[9]

수상 및 수상

참조

  1. ^ a b "Most cited source documents". Citeseer. September 2006. Retrieved March 5, 2007.
  2. ^ a b "Bryant's home". www.cs.cmu.edu. Retrieved 2018-02-01.
  3. ^ a b "Randal Bryant - Education and Publications".
  4. ^ University, Carnegie Mellon. "Press Release: Former Carnegie Mellon Computer Science Dean Now Assisting in White House Policy Office - News - Carnegie Mellon University". Retrieved 2018-02-01.
  5. ^ "Infosys Prize - Jury 2013". Infosys Science Foundation. Retrieved 1 March 2021.
  6. ^ Bryant, R. E. (August 1986). "Graph-Based Algorithms for Boolean Function Manipulation". IEEE Transactions on Computers. C-35 (8): 677–691. arXiv:cs/0508044. doi:10.1109/TC.1986.1676819. ISSN 0018-9340. S2CID 10385726.
  7. ^ Bryant, Randal E. (1992-09-01). "Symbolic Boolean manipulation with ordered binary-decision diagrams" (PDF). ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. ISSN 0360-0300. S2CID 1933530.
  8. ^ Seger, Carl-Johan H.; Bryant, Randal E. (1995-03-01). "Formal verification by symbolic evaluation of partially-ordered trajectories". Formal Methods in System Design. 6 (2): 147–189. doi:10.1007/BF01383966. ISSN 0925-9856. S2CID 14804600.
  9. ^ University, Carnegie Mellon. "Randal Bryant - Institute for Software Research - Carnegie Mellon University". www.isri.cmu.edu. Retrieved 2018-02-01.
  10. ^ "IEEE Emanuel R. Piore Award Recipients" (PDF). IEEE. Archived from the original (PDF) on November 24, 2010. Retrieved March 20, 2021.
  11. ^ "ACM/IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation". SIGDA. Retrieved 2 February 2018.