I am currently a fifth year Ph.D. candidate at Rutgers University working with Dr. Alex Kontorovich. My research interests are in number theory and formalization in the programming language and theorem prover Lean.