Bill Stoddart

• Integrated formal methods
• Unifying theories of programming
• Music Machine