User loginNavigation |
Bijan ParsiaPersonal informationUnited States 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 History19 years 9 weeks |
Browse archives
Active forum topics
|
Recent comments
20 weeks 6 days ago
25 weeks 1 day ago
26 weeks 5 days ago
26 weeks 5 days ago
29 weeks 3 days ago
34 weeks 12 hours ago
34 weeks 13 hours ago
34 weeks 3 days ago
34 weeks 3 days ago
37 weeks 2 days ago