I've been interested in computers since I was a child. This lead me to learn programming, and to try understanding the theory underneath it. My main interest is the field of computation and programming languages, including type theory, static analysis and logic. I continue learning about this day by day. Recently, I've also been enlightened by Homotopy Type Theory.
In a more practical manner, I enjoy learning new technologies, new languages and new points of view. My aim is to use these practical and theoretical knowledge to create tools and product that help people in their work.
My education is not only on CS, but also in maths. At first I liked the simplicity and beauty of formalizing and explain difficult concepts. As time passes, these ideas are becoming more and more useful in my daily work.
Q&A for professional and enthusiast programmers
Q&A for professional mathematicians
Stack Exchange Network staging zone, where users come together to build new Q&A sites