Areas of Expertise
Formal languages, intelligent software agents, robotics, software analysis and optimization, and formal representations