Pace University. Problem decomposition and theory reformulation, integrated cognitive architectures for autonomous robots, distributed constraint satisfaction problems, semigroup theory and dynamical systems, category theory in software design.

Focuses on building and testing a robot cognitive architecture. Also does research on intelligent agents for network security and intrusion detection.