 William Pugh (computer scientist)

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.