PhD in computer science and now software engineer in industry.

My primary areas of interest are in concurrency theory and programming language semantics. I've previously worked as a commercial programmer, so I know a little bit about that world too.