ello. I am a graduate student at Carnegie Mellon University, in the School of Computer Science. My research involves type systems, logics, (especially substructural and other nonstandard logics) proof theory, and proof representation. I like other things, like playing and writing music ([1], [2]) posters, typography, programming, blogging, printmaking, Flash, and making friends with people and information.