Jonathan Ly

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

I am currently a research contributor at the HPDIC lab, working on homomorphic encryption. Specifically, I am researching efficient caching protocols for encryption built on top of pre-existing schemes, and their applications in areas of databases, such as private set intersection.

Want to talk? Please contact me via LinkedIn.