Daniel R. Licata

Third-year PhD student in Computer Science at CMU
Advisor: Bob Harper
E-mail: drl+www at cs.cmu.edu
Office: Wean 5130, (412) 268-3052
CV as of January, 2007

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 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 am the current quorum-master of the ConCert Reading Group.

We organized the 2006 ICFP Programming Contest.