Daniel R. Licata Post-Doc in Computer Science at CMU Working with Bob Harper E-mail: drl+www at cs.cmu.edu Office: GHC 6507 CV as of November, 2011

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.

Teaching:

This fall, I am teaching 15-150: Functional Programming, a new introductory functional programming course that does parallelism and verification from the start.

I was the TA for 15-317: Constructive Logic in Fall, 2008. I was a TA for 15-312: Principles of Programming Languages in Spring 2006. At Brown, I was a TA / Head TA for CS17/18: An Integrated Introduction to Computer Science from Fall 2001 to Spring 2004.

Service:

I have written many articles for the Twelf Wiki, and organized the Twelf Tutorial.

I was the quorum-master of the ConCert Reading Group.

We organized the 2006 ICFP Programming Contest.