Stack Overflow
Stack Overflow

Raute
63
reputation
1
8
  • Member since August 28 2017
  • 34 profile views
  • Last seen Dec 09 '18 at 12:06

Self-taught logic addict, also interested in computer science.

Areas of interest:

  • mathematical and philosophical aspects of provability
  • non-classical logics (intuitionistic, modal, paraconsistent, non-monotonic, linear...)
  • functional programming & logic programming
  • automata theory

    • Tools of trade: Haskell, Coq, Prolog, Sublime Text 3 ... but mostly pen and paper
    Likes: libraries, flyers, chess tactics, stationery, hotspots, caffeine, sunrises