Dr. Tom Maibaum, Canada Research Chair in Foundations of Software Engineering, is a world-leading researcher in software engineering, with extensive experience in formal specification, formal methods, component-based development, and model-driven development.

tom at maibaum.org

  • Dr. Tom Maibaum, Canada Research Chair in Foundations of Software Engineering, is a world-leading researcher in software engineering, with extensive experience in formal specification, formal methods, component-based development, and model-driven development. tom at maibaum.org