My primary research interests are in math and computer science, particularly in more mathematically driven areas of computer science like formal verification and security. I'm also interested in exploring graph theory and its applications. Last summer, I worked in Professor Clark Barrett's lab on automated reasoning and applied logic at Stanford. There, I developed a grammar-based blackbox fuzzer to help debug the lab's flagship SMT solver, CVC4. As a high school student, I did research on the firefighter problem, a deterministic discrete-time model for the spread and containment of a fire in a graph, computer viruses through a system, opinions through a social network, or an infectious disease through a population, at Florida Gulf Coast University.