Dr Ib Holm Sørensen (1949–2012) was a computer scientist who made contributions to the Z notation and B-Method.