William Worthington Pugh Jr. (nacido en 1960) es un informático estadounidense que inventó la lista de omisión y la prueba Omega para decidir la aritmética de Presburger . Fue coautor de la herramienta de análisis de código estático FindBugs y fue muy influyente en el desarrollo del modelo de memoria actual del lenguaje Java . Pugh recibió un doctorado. en ciencias de la computación, con especialización en actuación, de la Universidad de Cornell .
Bill Pugh | |
---|---|
Nació | 14 de junio de 1960 |
alma mater | Universidad de Cornell |
Conocido por | Skiplist , FindBugs |
Carrera científica | |
Campos | Ciencias de la Computación , Ingeniería de Software |
Instituciones | Universidad de Maryland, College Park |
Tesis | Computación incremental y evaluación incremental de programas funcionales (1988) |
Asesor de doctorado | Ray "Tim" Teitelbaum |
Sitio web | www |
En 2012 se convirtió en profesor emérito del departamento de informática de la Universidad de Maryland en College Park. Es miembro del consejo técnico asesor de la empresa de análisis estático Fortify Software .