Through employing metareasoning, Active Logic is a flexible alternative to more traditional Artificial Intelligence systems. Because Active Logic is an application that tracks its reasoning, it is able to reason about its own inferences, and thereby recognize and recover from errors.

The Gas Station Project is an approximation algorithm that can assess routing problems and generalize the shortest distances to reach a destination. Along with "The Traveling Salesman Problem", this research is based off of a new cost model dependent on gas prices rather than distance traveled.

Mobile social applications provide new information sharing and networking opportunities based on a user’s location, activity, and set of nearby users. The underlying communication protocols for these applications must be carefully designed to not leak sensitive information —identity, movement patterns, etc.— to strangers without prior consent. EbN is a communication system which meets the needs of a wide range of mobile social apps while providing strong security guarantees.