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

(Visiting UTokyo as an NYU Courant junior)
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 (Type Theory and Programming Languages), Math (Model Theory, Proof 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.