My interests include discrete math, SAT solving, theorem proving, Haskell, databases and business information systems