Freek Wiedijk

• The Seventeen Provers of the World
• Hybrid systems
• Types for Proofs and Programs
• Hybrid Systems : Computation and Control
• Logics and Type Systems in Theory and Practice