Lev is a computer science doctoral student advised by Matthew Coudron. He is primarily interested in the theory side of quantum computing as well as how formal proof systems can impact our understanding of information and math. Lev also has experience in software engineering and enjoys applying this experience to building side projects, linking mathematics and art.