Representantes de Thomas William | |
---|---|
Nacido | (1956-05-28) 28 de mayo de 1956 |
Alma máter | Licenciatura en la Universidad de Harvard , cum laude , 1977. Maestría en la Universidad de Cornell , 1982. Doctorado, 1985. |
Carrera científica | |
Instituciones | Universidad de Wisconsin-Madison (1985-presente) GrammaTech (1988-presente) Institut National de Recherche en Informatique et en Automatique (INRIA) en Rocquencourt, Francia (1982-83) Universidad de Copenhague (1993-94) Consiglio Nazionale delle Ricerche en Pisa, Italia (2000–2001) Universidad París Diderot (2007–2008) |
Tesis | Generación de entornos basados en el lenguaje (1982) |
Asesor de doctorado | Tim Teitelbaum |
Thomas W. Reps (nacido el 28 de mayo de 1956, Estados Unidos) es un científico informático estadounidense conocido por sus contribuciones al análisis automático de programas. El Dr. Reps es profesor de Ciencias de la Computación en el Departamento de Ciencias de la Computación de la Universidad de Wisconsin-Madison , a la que se incorporó en 1985. Reps es autor o coautor de cuatro libros y más de ciento setenta y cinco artículos que describen su investigación. Su trabajo ha cubierto una amplia variedad de temas, incluidos la segmentación de programas , el análisis del flujo de datos , el análisis de punteros , la comprobación de modelos , la seguridad informática , la instrumentación (programación informática) , los entornos de desarrollo de programas basados en lenguaje , el uso de perfiles de programas en pruebas de software , la renovación de software , los algoritmos incrementales y las gramáticas de atributos . [1]
El trabajo actual de Reps se centra en el análisis estático de ejecutables (binarios) despojados y en métodos que, sin depender de la tabla de símbolos ni de la información de depuración , recuperan representaciones intermedias similares a las que crean las fases intermedias de un compilador para un programa escrito en un lenguaje de alto nivel . El objetivo es proporcionar una plataforma de desensamblador o descompilador que un analista pueda utilizar para comprender el funcionamiento de los componentes COTS , los complementos , el código móvil y las DLL , así como las instantáneas de memoria de gusanos y código infectado por virus .
Reps fue presidente y cofundador de GrammaTech , Inc.
Reps ha sido galardonado con los siguientes premios: