Zum Hauptinhalt springen

Home/Awards/Herbrand Award

Memorial pages by award

Herbrand Award

award for research contributions to automated deduction

5

Memorial Pages

Dignified digital memorial pages for unforgettable people.

Platform

Memorial Pages
Cemeteries
Funeral Homes
Florists
Regions

Explore

Occupations
Awards
Birthplaces
Deathplaces
Education
Religions
Cause of Death
Sports Teams
Positions & Offices
Employers
Nominations

Company

About Emoria
Contact

Legal

Imprint
Privacy Policy
Terms of Service
Cookie Policy
Right of Withdrawal
Withdraw contracts here

© 2026 Emoria. All rights reserved.

Create a Memorial

Create a digital memorial page for a loved one. Free and forever.

Explore

·More awards

Knight of the Legion of Honour

7,407 memorials

Order of Lenin

6,071 memorials

Officer of the Legion of Honour

4,033 memorials

Order of the Red Banner of Labour

3,979 memorials

Order of the Red Star

3,557 memorials

Knight of the Order of Polonia Restituta

3,360 memorials

5 memorial pages of recipients of the Herbrand Award

Portrait of Martin Davis (1928–2023) – memorial page

Memorial

Martin Davis

03/08/1928 – 01/01/2023

94 years

American mathematician

Portrait of Edmund M. Clarke (1945–2020) – memorial page

Memorial

Edmund M. Clarke

07/27/1945 – 12/22/2020

75 years

American computer scientist

Memorial

Mark E. Stickel

06/22/1947 – 04/13/2013

65 years

Memorial

William McCune

12/17/1953 – 05/02/2011

57 years

Memorial

Harald Ganzinger

10/31/1950 – 06/03/2004

53 years