I am an undergraduate studying math and computer science. I am particularly interested in formal verification and graph theory.