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