Love to learn especially logic-oriented things. My formal background is in pure mathematics, but I work as a software engineer.