Edward Anthony Ashcroft

• Mathematical logic applied to the semantics of computer programs