Functional programmer, C++ enthusiast.
Working on automated theorem proving, formal verification.
You're more than welcome to contact me -> funkey45 at "jooohaaa (the similarily looking word ), dot com.
Note: If you have a question, SO is the place to ask, not my personal email, thank you :).
Q&A for professional and enthusiast programmers
Q&A for peer programmer code reviews
Q&A for professional programmers interested in conceptual questions about software development
Q&A for professional and independent game developers
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Q&A for electronics and electrical engineering professionals, students, and enthusiasts
Q&A for academics and those enrolled in higher education
Q&A for people studying math at any level and professionals in related fields