Ethan Zhang

Hi! I'm Ethan Zhang, a first-year math major at the University of Illinois Urbana-Champaign. I'm interested in theoretical computer science and its applications to mathematics, with a particular emphasis on proof assistants, logic, and type theory. On the applied side, I'm interested in Linux and the design of programming languages and other software tooling.