Chechik, a renowned expert in the application of formal methods to improve the quality of software, is the latest U of T computer scientist to receive the prestigious honour.