Automated Reasoning Laboratory


The group is involved in a number of different project areas:

  • Diagrammatic Reasoning: explorations on how diagrammatic information can be used in problem solving and data storage/retrieval. This involves work with the Diagrammatic Reasoning Consortium, which also includes faculty from the University of Hartford
  • Puppotics: use of robotic techniques in puppetry
  • Robotic control and communications: examination of control and communications strategies for multiple robot systems
  • Plan recognition: exploring methods for predicting user behavior in human-computer interaction
  • Functional programming and mobile computing: variety of issues having to do with the mobile distribution of computation

Faculty Members

Robert McCartney, Director, Computer Science and Engineering, University of Connecticut


Connect With Us