Daniel R. Licata Assistant Professor, Wesleyan University, starting Fall 2013 Member at the Institute for Advanced Study PhD in Computer Science from CMU, advised by Bob Harper E-mail: drl+www at cs.cmu.edu CV, Research statement, Teaching statement (April, 2013)

Research:

Recently, I have been working on Homotopy Type Theory, an exciting new project combining type theory, homotopy theory, and category theory.

Read my papers and talks.

Teaching:

In Summer 2013, I am teaching Agda at OPLSS.

From Spring 2011 to Spring 2012, I designed and taught 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.