William Pugh

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For the 17th century Welsh poet, see Gwilym Puw.
Bill Pugh
Born 1960 (age 53–54)
Institutions University of Maryland, College Park
Alma mater Cornell University
Thesis Incremental computation and the incremental evaluation of functional programs (1988)
Doctoral advisor Ray "Tim" Teitelbaum
Doctoral students Jeremy Manson
Website
www.cs.umd.edu/~pugh/

William Worthington "Bill" 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 together with his PhD student Jeremy Manson.

He is currently[when?] a professor emeritus of computer science at the University of Maryland, College Park, and also sits on the technical advisory board for Fortify Software.

External links[edit]