Peter Amey is an aeronautical engineer by original professional training. He served as an engineering officer in the Royal Air Force and spent several years at the Boscombe Down test establishment working on the certification of aircraft armament systems. Peter joined Program Validation Limited to develop SPARK and the SPARK Examiner and continues that work today with Praxis Critical Systems. As well developing SPARK he has used it on major programmes including Tornado, Eurofighter and the Lockheed C130J. Peter teaches SPARK and Ada on a regular basis and has lectured widely on the development of critical systems.
Eugene W.P. Bingue is a software-engineering consultant. He has Developed and taught a variety of Ada software engineering courses since 1985. He developed an Ada software-engineering curriculum consisting of eight courses for the Strategic Air Command; curriculum was consider the best in the Department of Defense (DOD) and was adopted by other DOD agencies and numerous civilian contractors. Software Engineering consultant to Strategic Air Command HQ community on Ada Development. Was the lead consultant to Coulter Electronics on their Ada programming activities during the development of their Automated Multiparameter Analyzer for blood cells. He has presented papers and tutorials on Ada and Ada 95 at numerous conferences such as DOD Software Technology Conference 89,90,95,96,97, Salt Lake City, Washington Ada Symposium, 91,92,93 and ACM Computer Science Conference, 94,95.
Mr. Bingue retired from the Air Force as a Captain after 20 years of service. Most recently, he was a Software Engineer in the Satellite Control and Simulation Division at the USAF Phillips Laboratory. He was instrumental in the architecture design of the MAGIC satellite health and status system for Space Command. He was also the lead software engineer for the development of the Reactor Control Unit (RCU) for the Russian Topaz II space base nuclear reactor.
Mr. Bingue has been a major contributor to the Ada Software Engineering Education Training (ASEET) Team since 1987. He chaired several working groups on educational issues and assisted in organization of ASEET annual symposium and workshops.
Roderick Chapman received MEng and DPhil degrees from the University of York, England in 1991 and 1995 respectively. He is currently a software engineer with Praxis Critical Systems, specializing in the design and implementation of high-integrity real-time and embedded systems. He has also been involved with the development of the SPARK language and its associated static analysis tools. Dr. Chapman is a member of the British Computer Society and is a Chartered Engineer.
Currie Colket is the Chair of ACM SIGAda, the Chair of the SIGAda Ada Semantic Working Group, and Chair of the ISO WG9 ASIS Rapporteur Group. He recently retired from the DoD where he served in the Air Force as an Airborne Surveillance Officer on AWACS and a computer scientist for the United States Navy. Mr. Colket is currently a software systems engineer for MITRE. His current tasks involve code analysis using ASIS-based tools. In this capacity, he has addressed the use of Ada exceptions for both code development and operational use. Prior to his affiliation with MITRE, he was a consultant for the Software Program Manager's Network (SPMN). He has a Bachelor of Science from Case Institute of Technology, a Master of Business Administration from the University of Southern Mississippi and a Master of Science in Computer Science from the Ohio State University. His email address is email@example.com.
David A. Cook is the Principal Engineering Consultant, Shim Enterprises, Inc. He is currently assigned as a software engineering consultant to the Software Technology Support Center, Hill AFB, Utah. David has over 27 years experience in software development and software management, and was formerly an associate professor of computer science at the U. S. Air Force Academy (where he was also the department research director), and also a former deputy department head of the Software Engineering Department at the Air Force Institute of Technology. He was a member of the Air Force Ada 9x Government Advisory Group, and has published numerous articles on software process improvement, software engineering, object-oriented software development, and requirements engineering. He has a B.S. in computer science (University of Central Florida), a M.S. in Teleprocessing from the University of Southern Mississippi, and a Ph.D. in computer science from Texas A&M University. He can be reached at firstname.lastname@example.org.
Leslie Dupaix is Lead Engineer, Systems Engineering and Development Team at the Software Technology Support Center, and has over 15 year of software development and systems engineering experience with both US Steel and the US Air Force. He has worked in both maintenance and acquisition activities. He has a degree in Electronics Engineering from Brigham Young University. He is an authorized Personal Software Process instructor and Team Software Process coach. He can be reached at email@example.com
Mr. McEvilley has over 20 years combined experience in systems and requirements engineering, software design and development, system integration and testing, and formal security evaluation. He has been involved with the Common Criteria for Information Technology Security Evaluation/ISO-15408 for the last 7 years. His primary focus has been application of the CC to define and validate security requirements applicable to all phases of the life-cycle for networked and distributed systems.
Micahel provided support to the National Information Assurance Partnership (NIAP) for the development of the Common Criteria Evaluation and Validation Scheme (CCEVS). He also supported the independent efforts of the National Institute of Standards and Technology (NIST) and the National Security Agency (NSA) in the application of the CC within their respective areas of responsibility.
Michael has worked with a variety of national and international government, military and commercial organizations providing training and consulting for systems security specification development efforts. He currently supports a NIST Critical Infrastructure Protection (CIP) initiative to establish security criteria for the US Process Control Industries and supports the development of a Common Criteria Users Guide. He is supporting the Japan Electronics and Information Technology Industries Association (JEITA) initiative to establish a system evaluation methodology based upon a blending of the concepts contained in the Common Criteria/ISO 15408 and the guidance provided by ISO 17799. He can be reached at firstname.lastname@example.org
S. Ron Oliver has been in the Software Industry since 1968, with a roughly equal mixture of industrial and academic experience. Since 1974 he has specialized primarily in Concurrent and Real Time Software Engineering, including Computer Communication (Network) Systems. During 9 years with the Computer Science and Computer Engineering programs at Cal Poly, he lead many research and student projects in Object Oriented Design and Implementation for Concurrent and Real Time Systems, and in the Distributed Computing Environment (DCE). Considerable work was also done with projects to simulate Computer Networks. Dr. Oliver took early retirement from Cal Poly to return to Colorado and work on methods to improve Software Quality. Most recently he has also been focusing on CORBA.