About Zayn Wang (Zayn Lie/Zayn Wong/Zeen Wang) Contacts and Accounts ORCID: Zayn Wang: 0009-0006-4133-8181 Google Scholar: Zayn Wang GitHub: zayn7lie Email: $ echo "emF5bi53QG55dS5lZHUK" | base64 -d Interests For research, I am widely interested in exploring the limitation for human cognition and machine reasoning, focusing on the pure and applied logic, and here are some detailed areas I am interested in: logic in CS (Logical Framework, Type Theory, and Programming Languages), Math (Proof Theory especially Linear Logic and Intuitionistic Logic, and Model Theory), and Philosophy (Intuitionism) Computability and Incompleteness Fixed points analysis (both in logic, program traces, and algebra) Semantics abstraction and interpretation (Programming Languages and Formal Methods) For non-research, I love exploring technologies, music, and being active in anime. Arch Linux, Hyprland, and NeoVim user. BMS-relavent, Gothic, Celtic, Romantic music lover. Arknights (Priestess Fan), pre-TouHou, noob OSU!lazer and Beatmania player. Anime lover, favorite: Lain, Noir, STEINS;GATE, Girls’ Last Tour, etc.