Randal Bryant

Científico informático estadounidense (nacido en 1952)

Esta biografía de una persona viva se basa demasiado en referencias a fuentes primarias . Ayude agregando fuentes secundarias o terciarias . El material contencioso sobre personas vivas que no tenga origen o sea deficiente debe eliminarse de inmediato , especialmente si es potencialmente difamatorio o dañino. ( Febrero de 2018 ) ( Obtenga información sobre cómo y cuándo eliminar este mensaje de plantilla )

Randal Bryant
Bryant en 2006
Nació	(1952-10-27) 27 de octubre de 1952 (68 años) Estados Unidos
alma mater	Universidad de Michigan
Conocido por	Desarrollo de estructura de datos de diagramas de decisión binaria (BDD), verificación formal de hardware y software
Premios	Premio Paris Kanellakis de teoría y práctica Premio Phil Kaufman
Carrera científica
Los campos	Hardware, software del sistema, redes
Instituciones	Facultad de Ciencias de la Computación , Universidad Carnegie Mellon

Randal E. Bryant (nacido el 27 de octubre de 1952) es un científico informático y académico estadounidense conocido por su investigación sobre la verificación formal de hardware y software digital . Bryant ha sido miembro de la facultad en la Universidad Carnegie Mellon desde 1984. Se desempeñó como Decano de la Escuela de Ciencias de la Computación (SCS) en Carnegie Mellon de 2004 a 2014. El Dr. Bryant se retiró y se convirtió en Profesor Emérito de la Universidad Founders el 30 de junio. 2020.

A lo largo de los años, el Dr. Bryant ha recibido numerosos reconocimientos por su investigación sobre la verificación de hardware y software, así como sobre algoritmos y arquitectura informática. Su artículo de 1986 sobre la manipulación booleana simbólica utilizando diagramas de decisión binarios ordenados (BDD) tiene el recuento de citas más alto de cualquier publicación en la base de datos Citeseer de literatura informática. ^[1] En 2009 Bryant fue galardonado con el premio Phil Kaufman por el Consorcio EDA "por sus avances tecnológicos fundamentales en el área de la verificación formal".

Temprana edad y educación

Bryant nació el 27 de octubre de 1952 y es hijo de John H. Bryant y Barbara Everitt Bryant , y nieto de William Littell Everitt , exdecano del departamento de ingeniería eléctrica de la Universidad de Illinois en Urbana – Champaign (1949-1968 ). Su hermana es Lois Bryant, una conocida artista textil ( https://loisbryantstudio.com/home.html ). Bryant se crió en Birmingham, Michigan . A partir de 1970, asistió a la Universidad de Michigan , donde recibió su licenciatura en Matemáticas Aplicadas en 1973. Su tesis de maestría en Simulación de Arquitectura de Comunicación de Paquetes Sistemas Computacionales, publicado en 1977, es conocido por ser una de las primeras publicaciones sobre simulación distribuida. ^[2] Recibió su doctorado en el Instituto de Tecnología de Massachusetts en 1981. ^[3]

Carrera profesional

• De 1981 a 1984, Bryant fue profesor asistente de informática en el Instituto de Tecnología de California . Sus áreas de investigación incluyeron modelos de circuitos VLSI , simulación lógica y pruebas de circuitos. También impartió cursos de arquitectura informática, teoría de sistemas digitales y algoritmos informáticos.
• En 1984, Bryant se incorporó a la facultad de Carnegie Mellon como profesor asistente de informática. Continuó su investigación sobre simulación VLSI, verificación de circuitos VLSI, manipulación simbólica y cálculo paralelo.
• Fue investigador visitante, Fujitsu Laboratories , Ltd., Kawasaki, Japón de 1990 a 1991.
• En 1992, se convirtió en profesor universitario en Carnegie Mellon. El profesor Bryant enseñó Arquitectura de Computadoras de 1992 a 1997.
• Se desempeñó como Decano de la Facultad de Ciencias de la Computación en la Universidad Carnegie Mellon de 2004 a 2014. Durante su mandato, la inscripción combinada en SCS aumentó más del 50 por ciento. ^[4]
• En 2003, Bryant fue elegido miembro de la Academia Nacional de Ingeniería por sus contribuciones a la simulación simbólica y la verificación lógica.
• Formó parte del jurado de Ingeniería y Ciencias de la Computación del Premio Infosys de 2011 a 2013 ^[5].
• En 2014-2015, fue subdirector de Investigación y Desarrollo de Tecnología de la Información en la Oficina de Política Científica y Tecnológica de la Casa Blanca , donde trabajó en robótica, aprendizaje automático, computación de alto rendimiento, tecnología de semiconductores y computación en la nube y proporcionó análisis y asesoramiento en Big Data.
• El Dr. Bryant es actualmente profesor en la Facultad de Ciencias de la Computación . Sus campos de investigación más recientes incluyen verificación formal de hardware y software, pruebas de sistemas y educación en ciencias de la computación. Imparte el curso 15-213: Introducción a los sistemas informáticos con el profesor David R. O'Hallaron. Su libro Computer Systems: A Programmer's Perspective , que presenta a los estudiantes el hardware, el sistema operativo, el compilador y las redes de computadoras, es utilizado por más de 300 universidades en todo el mundo.

Investigaciones y publicaciones

• Durante los últimos años, Bryant ha realizado muchas investigaciones sobre verificación formal de hardware y software, así como sobre sistemas informáticos. Su publicación más conocida ^[6] en 1986 fue "Algoritmos basados ​​en gráficos para la manipulación de funciones booleanas" , en la que el diagrama de decisión binaria (BDD) se presentó como una estructura de datos novedosa para representar funciones booleanas y algoritmos de manipulación. Los BDD se han utilizado ampliamente en campos como la prueba y síntesis de circuitos digitales y la planificación de inteligencia artificial. Según el famoso científico informático Donald Knuth , los BDD fueron considerados como "una de las únicas estructuras de datos realmente fundamentales que surgieron en los últimos veinticinco años". ^[2] Tras su investigación, publicóotro artículo ^[7] sobre un tutorial y actualización sobre BDD en 1992. Su artículo sobre BDD fue premiado por tener el recuento de citas más alto en la base de datos Citeseer de cualquier literatura informática. ^[1]
• Su trabajo en la verificación de circuitos digitales, un trabajo fundamental, ha recibido numerosos premios de IEEE y otras sociedades profesionales (ver más abajo). Su artículo sobre Verificación formal por evaluación simbólica de trayectorias parcialmente ordenadas ^[8] se publicó en 1995. El método de evaluación de trayectoria simbólica descrito en su artículo ha sido ampliamente adoptado en la industria, especialmente utilizado por Intel . ^[3] A partir de 2004, Bryant ha estado promoviendo nuevas iniciativas de investigación en computación intensiva en datos.
• Bryant y el profesor David R. O'Hallaron de la Universidad Carnegie Mellon escribieron juntos el libro "Computer Systems: A Programmer's Perspective", en el que adoptan un enfoque novedoso sobre la enseñanza de sistemas informáticos. En lugar de hacer hincapié en el diseño y la implementación de los sistemas, el libro se centra en enseñar a los estudiantes cómo los sistemas (arquitectura, compiladores, sistemas operativos y redes de computadoras) afectan el comportamiento y el rendimiento del programa. Este libro, ahora en su tercera edición, ha sido traducido al coreano, chino, macedonio y ruso y lo utilizan instituciones de todo el mundo. ^[9]

Premios y honores

• Bryant es miembro del IEEE y del ACM .
• Es miembro de la Academia Nacional de Ingeniería y de la Academia Estadounidense de Artes y Ciencias .
• En 1998 recibió el premio ACM Kanellakis Theory and Practice (junto con Edmund M. Clarke , Ken McMillan y Allen Emerson )
• En 1989, recibió el premio Baker de IEEE WRG al mejor artículo aparecido en cualquier publicación de IEEE en el año anterior (1987).
• En 2007, Bryant recibió el premio IEEE Emmanuel R. Piore por su investigación sobre herramientas para verificar los diseños de semiconductores antes de su fabricación. ^[10]
• En 2009, Bryant recibió el premio EDAC / IEEE Phil Kaufman por sus "avances tecnológicos fundamentales en el área de verificación formal".
• En 2010, recibió el Premio Técnico A. Richard Newton en Automatización de Diseño Electrónico. ^[11]

Referencias

1. "Documentos fuente más citados" . Citeseer . Septiembre de 2006 . Consultado el 5 de marzo de 2007 .
2. "Casa de Bryant" . www.cs.cmu.edu . Consultado el 1 de febrero de 2018 .
3. "Randal Bryant - Educación y publicaciones" .
4. Universidad, Carnegie Mellon. "Comunicado de prensa: ex decano de informática de Carnegie Mellon ahora ayuda en la oficina de política de la Casa Blanca - Noticias - Universidad Carnegie Mellon" . Consultado el 1 de febrero de 2018 .
5. "Premio Infosys - Jurado 2013" . Fundación de Ciencias Infosys . Consultado el 1 de marzo de 2021 .
6. Bryant, RE (agosto de 1986). "Algoritmos basados ​​en gráficos para la manipulación de funciones booleanas". Transacciones IEEE en computadoras . C-35 (8): 677–691. arXiv : cs / 0508044 . doi : 10.1109 / TC.1986.1676819 . ISSN 0018-9340 . S2CID 10385726 .  
7. Bryant, Randal E. (1 de septiembre de 1992). "Manipulación simbólica booleana con diagramas de decisión binaria ordenados" (PDF) . Encuestas de computación ACM . 24 (3): 293–318. doi : 10.1145 / 136035.136043 . ISSN 0360-0300 . S2CID 1933530 .   
8. Seger, Carl-Johan H .; Bryant, Randal E. (1 de marzo de 1995). "Verificación formal por evaluación simbólica de trayectorias parcialmente ordenadas" . Métodos formales en el diseño de sistemas . 6 (2): 147–189. doi : 10.1007 / BF01383966 . ISSN 0925-9856 . S2CID 14804600 .  
9. Universidad, Carnegie Mellon. "Randal Bryant - Instituto de investigación de software - Universidad Carnegie Mellon" . www.isri.cmu.edu . Consultado el 1 de febrero de 2018 .
10. "Destinatarios del premio IEEE Emanuel R. Piore" (PDF) . IEEE . Archivado desde el original (PDF) el 24 de noviembre de 2010 . Consultado el 20 de marzo de 2021 .
11. "Premio de impacto técnico ACM / IEEE A. Richard Newton en automatización de diseño electrónico" . SIGDA . Consultado el 2 de febrero de 2018 .