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 $\omega$-regular language properties using fixed point in Temporal Logic under Abstract Interpretation with Professor Patrick Cousot; Limits of Incompleteness for Logical Calculus using Lawvere’s Fixed-Point Theorem under Logical Framework as independent research.

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.