Jonathan Ly

Hi! I'm Jonathan, a current student at the University of Washington studying computer science. I am interested in theoretical computer science broadly, particularly computability and complexity theory, logic and programming languages, and formal methods in software.

I have secondary interests in areas of applied mathematics, specifically in numerical methods and partial differential equations.

I am currently a teaching assistant for CSE 421: Introduction to Algorithms in the Paul G. Allen School of Computer Science and Engineering.

Want to talk? Please contact me via LinkedIn!