Lambda the Ultimate

I'm a lecturer in the School of Computer Science at the University of Manchester (UK). I'm part of the Information Mangement Group which focuses on logic based knowledge representation and reasoning (esp. description logics), Semantic Web, and E-Science among other things. Before Manchester, I was at the University of Maryland, College Park as a research associate in the Mindswap group, where I worked primarily on description logics, ontology engineering, planning (esp. for web service composition), and the Semantic Web. Yes, "primarily" on all those things :) I was heavily involved with the Squeak community for a number of years back in the 1990s.

Functional and logic programming langauges; methodology; PL design; PL education; logic based modeling; knowledge representation; query languages; nonmonotonic reasoning; belief revision; formal analyses of modularity; IDEs and visualization; automated theorem proving