iheartmemcache
About
Boston & NYC.
I used to do software things, then I did some hardware things, and then I did some mathy/finance things, then I did some enterprise things, now I do a bit of anything that is interesting. I like to be the dumbest person in the room, because osmosis is a particularly effective way to learn. Losing at chess is fun but only if I can retrospectively analyze why I lost. I enjoy quotes like "God made the integers, all the rest is the work of Man" and IAS lectures.
Available for interesting work: http://uf-ias-2012.wikispaces.com/Open+Problems
Read this: John C. Baez and Mike Stay, "Physics, Topology, Logic and Computation: A Rosetta Stone", (2009) ArXiv 0903.0340 in New Structures for Physics, ed. Bob Coecke, Lecture Notes in Physics
If you're still an undergraduate considering graduate school, focus as much as you can on the algebraic (less so analytic) track of mathematics in addition to the standard CS courses everyone takes. Algebraic topology has a way of finding itself into type theory, and having a core knowledge will only enrich your ability to attack those problems from an unconventional approach.