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 6358. Online I keep a personal website and my 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, Steve Jackson, and Ben Liblit. Code Sandwiches. Technical Report.
- 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 2008.
Classes Taken
- Math 641, Error-Correcting Codes (current)
- CS 701, Adv. Compilers
- CS 704, Principles of Programming Languages
- CS 706, Analysis of Software Artifacts
- CS 736, Adv. Operating Systems
- CS 769, Adv. Natural Language Processing
- CS 740, Adv. Networking
- CS 787, Adv. Algorithms
- CS 810, Computational Complexity
- CS 838, Building a Brain
- CS 880, Approximation Algorithms
- Math 741, Noncommutative Abstract Algebra
- Math 742, Commutative Abstract Algebra
- Math 770, Foundations of Mathematics (logic)
