Randal Bryant

Randal E. Bryant (nacido el 27 de octubre de 1952) es un científico informático y académico estadounidense conocido por sus investigaciones sobre la verificación formal de hardware y software digitales . Bryant ha sido miembro del cuerpo docente de la Universidad Carnegie Mellon desde 1984. Se desempeñó como decano de la Facultad de Ciencias de la Computación (SCS) de la Universidad Carnegie Mellon de 2004 a 2014. El Dr. Bryant se jubiló y se convirtió en profesor emérito de la Founders University el 30 de junio de 2020.

Bryant ha recibido numerosos reconocimientos por su investigación sobre verificación de hardware y software, así como sobre algoritmos y arquitectura informática . Su artículo de 1986 sobre manipulación simbólica booleana mediante diagramas de decisión binaria ordenados (BDD) tiene el mayor número de citas de cualquier publicación en la base de datos Citeseer de literatura informática. ^[1] En 2009, Bryant recibió el premio Phil Kaufman del Consorcio EDA "por sus avances tecnológicos fundamentales en el área de la verificación formal".

Vida temprana 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 , ex decano del departamento de ingeniería eléctrica de la Universidad de Illinois en Urbana-Champaign (1949-1968). Su hermana es Lois Bryant, una artista textil. 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 sobre Simulación de sistemas informáticos de arquitectura de comunicación por paquetes, publicada en 1977, es conocida por ser una de las primeras publicaciones sobre simulación distribuida. ^[2] Recibió su doctorado del Instituto Tecnológico de Massachusetts en 1981. ^[3]

Carrera

De 1981 a 1984, Bryant fue profesor adjunto de informática en el Instituto Tecnológico de California . Sus áreas de investigación incluían modelos de circuitos VLSI , simulación lógica y pruebas de circuitos. También impartió cursos sobre 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 adjunto de informática. Continuó su investigación sobre simulación VLSI, verificación de circuitos VLSI, manipulación simbólica y computación paralela.
Fue investigador visitante en Fujitsu Laboratories , Ltd. de 1990 a 1991.
En 1992, se convirtió en profesor universitario en Carnegie Mellon. Bryant enseñó arquitectura informática entre 1992 y 1997.
Se desempeñó como decano de la Facultad de Ciencias de la Computación de la Universidad Carnegie Mellon de 2004 a 2014. Durante su mandato, la matrícula combinada en la 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.
Fue miembro del jurado de Ingeniería y Ciencias de la Computación del Premio Infosys de 2011 a 2013 ^[5]
Entre 2014 y 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 brindó análisis y asesoramiento sobre big data.
Bryant es actualmente profesor en la Escuela de Ciencias de la Computación . Sus campos de investigación más recientes incluyen la verificación formal de hardware y software, las pruebas de sistemas y la 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 informáticas, se utiliza en más de 300 universidades de todo el mundo.

Investigación y publicaciones

En 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 "Graph-Based Algorithms for Boolean Function Manipulation" (Algoritmos basados en gráficos para la manipulación de funciones booleanas) , en la que se presentó el diagrama de decisión binaria (BDD) 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 se consideraban "una de las únicas estructuras de datos realmente fundamentales que surgieron en los últimos veinticinco años". ^[2] Después de su investigación, publicó otro artículo ^[7] sobre un tutorial y una actualización sobre los BDD en 1992. Su artículo sobre los BDD fue premiado por tener el recuento de citas más alto en la base de datos Citeseer de toda la literatura informática. ^[1]
Su trabajo en la verificación de circuitos digitales (un trabajo seminal) ha recibido numerosos premios del IEEE y otras sociedades profesionales (ver más abajo). Su artículo sobre la verificación formal mediante la evaluación simbólica de trayectorias parcialmente ordenadas ^[8] se publicó en 1995. El método de evaluación simbólica de trayectorias descrito en su artículo ha sido ampliamente adoptado en la industria, en particular 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 para la enseñanza de los 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 informáticas) afectan al comportamiento y el rendimiento del programa. Este libro, que ya va por su tercera edición, se ha traducido al coreano, chino, macedonio y ruso y se utiliza en instituciones de todo el mundo. ^[9]

Premios y honores

Bryant es miembro del IEEE y de la 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 de Teoría y Práctica (junto con Edmund M. Clarke , Ken McMillan y Allen Emerson ).
En 1989, recibió el premio IEEE WRG Baker por el mejor artículo aparecido en cualquier publicación del 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 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

^ ab "Most appointments source documents" (Documentos fuente más citados). Citeseer . Septiembre de 2006. Consultado el 5 de marzo de 2007 .
^ ab "La casa de Bryant". www.cs.cmu.edu . Consultado el 1 de febrero de 2018 .
^ ab "Randal Bryant - Educación y publicaciones".
^ Universidad Carnegie Mellon. "Comunicado de prensa: El ex decano de Ciencias Informáticas de Carnegie Mellon ahora colabora en la Oficina de Políticas de la Casa Blanca - Noticias - Universidad Carnegie Mellon" . Consultado el 1 de febrero de 2018 .
^ "Infosys Prize - Jury 2013". Infosys Science Foundation . Consultado el 1 de marzo de 2021 .
^ Bryant, RE (agosto de 1986). "Algoritmos basados en grafos para manipulación de funciones booleanas". IEEE Transactions on Computers . C-35 (8): 677–691. arXiv : cs/0508044 . doi :10.1109/TC.1986.1676819. ISSN 0018-9340. S2CID 10385726.
^ Bryant, Randal E. (1992-09-01). "Manipulación simbólica booleana con diagramas de decisión binaria ordenados" (PDF) . ACM Computing Surveys . 24 (3): 293–318. doi :10.1145/136035.136043. ISSN 0360-0300. S2CID 1933530.
^ Seger, Carl-Johan H.; Bryant, Randal E. (1 de marzo de 1995). "Verificación formal mediante 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.
^ 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 .
^ "Ganadores 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 .
^ "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 .