I love playing the piano during my free time. Currently interested in in Type Theory and Theorem Provers.