I'm a Mathematics Student at Worcester Polytechnic Institute, I'm interested in Automated Theorem Proving and Abstract algebra.