David Kitchin
dkitchin[at]cs.utexas.edu

I'm a graduate student in computer science(.cs) at the University of Texas at Austin (.utexas.edu). My advisor is William Cook.

Here's my resume.

Research

My primary area of research and expertise is programming languages; I am especially interested in formal models of concurrency, such as process calculi. I am currently focusing on Orc.

I have previously done research in various contexts on:

A formal semantics for feature-oriented programming

Static checking of concurrent behavior (e.g. absence of deadlock) in Pict

Programming frameworks for multi-agent systems

Diversions

For all Jack such that Jack is in the set of graduate students, all work and no play makes Jack a burnt-out nervous wreck.

Thus I find it helpful and healthful to have other things to do with my time.