Edmund M. Clarke

American computer scientist (1945–2020).

Born July 27th, 1945 in Newport News.

Died December 22nd, 2020 at 75 years old in Pittsburgh (COVID-19). [ref]

Occupations
computer scientist, engineer, mathematician, university teacher
Wikipedia

The fear of death is the most unjustified of all fears, for there’s no risk of accident for someone who’s dead. Albert Einstein