I am currently a student at CU-Boulder studying CS and applied Math. My goal is to someday write a program that can derive mathmatics.