In Memoriam Dick Kieburtz (28 November 1933 - 26 November 2013)
February 10, 2014
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.