This is My blog powered by Jekyll with Minima theme and hosted by github page.

I am looking forward to post many random stuffs including those that I’ve been studying and that I have been working on. Posts about the stuffs that I have been studying wont be accurate; hence, if there is some parts that I am misunderstanding, it would be great to get to know!

I am interested in Type theory, categorical logic and program verification.