Daniel R. Licata

Fifth-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 July, 2008

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 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.