many contributions in the area of formal program semantics. In particular he developed