Brad Ediger

Software developer working in Ruby, Clojure, Haskell, and various other languages.

Currently passionate about operations research, dependently typed functional languages, espresso, and proofs of software correctness.

President at Madriska Inc. and based in Chicago.