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 engage in a variety of other activities, mostly for the sake of avoiding real work. These include playing and writing music, typography, programming, blogging, and making friends with people and information. There are some other things I've gotten into only more recently, such as Flash.