Charles C. Morgan

• Abstraction, refinement and proof for probabilistic systems
• "Morgandyne" heat-transfer transducer and a flame-torch calibration technique for hypervelocity wind tunnels
• Funded welfare benefit plans
• The Norris case and benefit planning