William Worthington Pugh Jr. (born 1960) is an American computer scientist who invented the skip list and the Omega test for deciding Presburger arithmetic.
He was the co-author of the static code analysis tool FindBugs, and was highly influential in the development of the current memory model of the Java language.
Pugh received a Ph.D. in computer science, with a minor in acting, from Cornell University.
[1] In 2012 he became professor emeritus of the University of Maryland's department of computer science in College Park.
You can help Wikipedia by expanding it.This biographical article relating to a computer specialist in the United States is a stub.