Daniel R. Licata
Fourth-year PhD student in Computer
Science at CMU Research:Programs should be elegant, correct, fast, and evolvable. My goal is to create programming languages and verification techniques that make this happen. Read my drafts, papers, and talks. Read brief descriptions of the projects I've worked on. Teaching:I was a TA for 15-312: Principles of Programming Languages in Spring 2006. Closures were the answer to most (but not quite all) of the hard questions. At Brown, I was a TA / Head TA for CS17/18: An Integrated Introduction to Computer Science from Fall 2001 to Spring 2004. Evalpigs, devilcats, and SparkDino, oh my! Service:I have written many articles for the Twelf Wiki. I was the quorum-master of the ConCert Reading Group. We organized the 2006 ICFP Programming Contest. |