Innovative software researcher and technologist with over twenty-six years of broad experience in cutting-edge, government funded research and development. Actively leads and contributes to external government bid and proposals efforts, cultivates customer contacts, and proposes new-starts in uncharted technical areas. Utilizing expertise developed over wide ranging research projects, develops new techniques, produces tangible results, and architects integration of same into new and existing frameworks and/or large-scale software systems. Current and past projects range from embedded, real-time avionics software, to automated network and information security, to meta-level, software modeling, generation, testing and analysis tool-sets.Specialties: Model-Based Development, Formal Methods, Automated Planning, Network and Information Security.