Current Projects

• SKEMA: Scientific Knowledge Extraction and Model Analysis
• Designing Accountable Software Systems (DASS): a Framwork for Accountable Smart Contract Wills [nli4wills]
• ToMCAT: Theory of Mind-based Cognitive Architecture for Teams
• Reach: Reading and Assembling Contextual and Holistic Mechanisms from Text

Previous Projects

• GraSEN: Graphical Symbol Expression Network
• AutoMATES: Automated Model Assembly from Text, Equations, and Software
• Delphi: Assembling causal, dynamic probabilistic models from Text and Software
• Eidos: Open-domain machine reading
• Musica: MUSical Interactive Collaborative Agent
• Student Scientists (2010-2013): Enabling student/scientist collaboration in the classroom, in collaboration with researchers at the University of Arizona Biosphere 2