Research Projects

scientist

RocData: The Rochester Big Data Initiative

The Rochester Big Data Initiative fosters research and collaboration across the university in computational, data-intensive science. 

Understanding Human Behavior from Social Media

Global-scale behavior and health tracking and prediction using social media.

A Unified Approach to Abductive Inference

Knowledge representation and reasoning combining first-order logic and probabilty theory for activity and plan recognition.

LACE: Laborary for Assisted Cognition Environments

Proactive memory and problem solving aids that help an individual perform the tasks of day-to-day life.

ISTCPC: Intel Science & Technology Center for Pervasive Computing

Developing the next generation of pervasive computing systems.

CAET: Cognitive Assistant for Everyday Tasks

Integrating language and machine vision for learning complex tasks by demostration. Joint project with James Allen.

Past Projects

Project ACCESS: Assisted Cognition in Community, Employment and Support Settings

Opportunity Knocks: A Personal Guidance System

Cachet: Model counting using component caching and clause learning

Sensing and Modeling Dynamic Social Networks

CORE: Computational Principles for Optimization of Resources and Execution Time

Provably Reliable Question-Answering Interfaces: the precursor to KnowItAll

ReferralWeb, a system for finding and searching social networks on the World Wide Web

Planning as Satisfiability: the SatPlan and Blackbox planning systems

Walksat and GSAT, SAT solvers using local search. For more SAT information, see Sat-Ex and SatLive!


Back to home page