Ethan Zhang

Contact Information

Email: ethanz4(at)illinois.edu
Phone: (650) 380-4671

Hi! I’m Ethan Zhang, a second-year undergrad at the University of Illinois Urbana-Champaign studying mathematics and computer science. I’m primarily interested in theoretical computer science and its applications to mathematics, with a particular emphasis on proof assistants, logic, and type theory. Outside of that, I enjoy fiddling around with Linux, functional programming, coffee, and fountain pens.


Design based on Kevin Pratt's Website