Byron Cook (científico informático)

El Dr. Byron Cook es un investigador estadounidense de ciencias de la computación en el University College London . ^{[ 1 ]} Los intereses de investigación de Byron incluyen análisis / verificación de programas , lenguajes de programación, demostración de teoremas , lógica, diseño de hardware y sistemas operativos . El trabajo reciente de Byron se ha centrado en el desarrollo de herramientas automáticas para

• Demostrar las propiedades de los modelos biológicos,
• Terminación y prueba de vivacidad, ^{[ 2 ]} y
• Descubrimiento de invariantes con respecto a estructuras de datos mutables. ^{[ 3 ]}

En 2009, Cook ganó el Premio Roger Needham . Su conferencia pública versó sobre "Cómo demostrar que los programas, en última instancia, hacen algo bueno". ^{[ 4 ]}

Cook fue elegido miembro de la Real Academia de Ingeniería en 2019. ^{[ 5 ]}

• http://www0.cs.ucl.ac.uk/staff/b.cook/