English Tim Denvir Cited by user Magic links bot on 18 Mar 2021 Tim Denvir (born 1939) is a British software engineer, specialising in formal methods.