I’m Max Chang, a graduate student in Logic and an open-source developer.

My interests include non-classical logics, logical reasoning in LLMs, and LLM agents.

Outside academia, I build tools around the TypeScript ecosystem and typeset nearly everything in Typst.

Typst · TypeScript · Vite · Astro · Nuxt · Python

Find me on GitHub, or reach me at himaxchang.me.

Education