Michael Sperber is an expert in creating high-level software models for complex problem domains. These models allow developers and users to represent domain-specific knowledge directly in the software, rather than forcing them to use awkward technical models.