22 Aralık 2020 (ölüm)
Edmund M. Clarke, Amerikalı bilgisayar bilimcisi (d. 1945)
Kapsam: Global — Konu: Bilim/Teknoloji