I am studying propositional logic and predicate logic in my spare time atm. I also read a little bit of a stochastic model book every now and then. I studied Chaos theory a little bit, but decided to spend time reading other stuff. I would like to get through 2nd order logic, Type theory, Set Theory and Group Theory. I am trying to build a foundation to be able to read current famous papers.

I also spend a lot of my time programming in Java (mostly), WPF, Win32, C++, or Android.