He is an expert in formal languages, intelligent software agents, robotics, software analysis and optimization, and formal representations. To learn more about Keith visit: http://news.erau.edu published: 11 Aug 2011