In Memoriam Dick Kieburtz (28 November 1933 - 26 November 2013)

February 10, 2014

dick kieburtz

This portrait was taken on August 15, 2015 in Seattle where we were attending FLoC 2006. The caption on flickr reads:

Desert and coffee at copacabana cafe on Pike Place Market with Dick Kieburtz who is one of the earliest users of Stratego. He’s been working on a theorem prover for P logic, which is used for asserting properties of Haskell programs.