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.
My resume.
Things Written
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)