William Worthington Pugh Jr. (nacido en 1960) es un científico informático estadounidense que inventó la lista de saltos 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 tuvo una gran influencia en el desarrollo del modelo de memoria actual del lenguaje Java . Pugh recibió un doctorado en ciencias de la computación, con una especialización en actuación, de la Universidad de Cornell . Su asesor de tesis fue Tim Teitelbaum . [1]
En 2012 se convirtió en profesor emérito del Departamento de Informática de la Universidad de Maryland en College Park. Forma parte del consejo asesor técnico de la empresa de análisis estático Fortify Software .