I've been a grad student in UW-Madison's CS department since Fall 2006. I'm in the programming languages group. I've also done a bit of mathematics and a touch of theory. My office is CS 5394. Online I keep a personal website and an online brain.

I'm one of the department Coke heads, so I can take account deposits for, and address grievances regarding, the CS Coke machine.

Things Written

• Matt Elder and Ben Liblit. Heap Typability is NP-Complete. Technical Report.
• Matt Elder. Path Bundles on n-Cubes. In Discrete Mathematics vol. 308. 2008.
• Yanchar, Elder, Harris, and Hinrichs. Anticipatory Procrastination. Rejected from SIGROFL's 2008 ROFLConference.

Classes Taken

Previous:

• CS 701, Adv. Compilers
• CS 706, Analysis of Software Artifacts
• CS 736, Adv. Operating Systems
• CS 769, Adv. Natural Language Processing
• CS 787, Adv. Algorithms
• CS 810, Computational Complexity
• CS 838, Building a Brain
• CS 880, Approximation Algorithms
• Math 741, Abstract Algebra