Hi, this is Zayn. I am currently an HONORS MATH/CS junior in Courant Institute School of Mathematics, Computing, and Data Science, New York University.

I am currently doing research about Formal Verification using fixed point in Temporal Logic under Abstract Interpretation; Type Theory on Incompleteness.

For my interests, philosophical ideas, contacts, and more info, please refer to About Section. For my recent publications, please refer to Publications Section. For my professors, mentors, and students, please refer to Connections Section. For the courses I am teaching or taught, please refer to Teachings Section. For my recent ideas and thinkings, please refer to Posts Section, you can also refer to Search Section to search specific posts.