Meade, Md. His technical career of 21 years at the agency has been focused on software engineering standards, practices, and quality assurance metrics. In particular, he has developed the concept of formal methods for secure software synthesis, automated quality assurance analysis of code, and has written a software engineering lifecycle standard for INFOSEC software. He is currently on a technical sabbatical to concentrate on software reliability engineering.