User:Jfredett

From Wikipedia, the free encyclopedia

I'm a student at WPI, I'm interested in Discrete Math, Geometry/Rigidity, Abstract Algebra, Automated Theorem Proving, Functional/Logic programming, and Compiler/Formal Language theory. I also enjoy music and long walks on the b-- wait, my bad, this isn't friendster...