GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
David Gries
URI:
https://gptkb.org/entity/David_Gries
GPTKB entity
Statements (25)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Princeton_University
gptkb:Queens_College,_City_University_of_New_York
gptkbp:awardReceived
gptkb:ACM_Karl_V._Karlstrom_Outstanding_Educator_Award
gptkbp:birthYear
1939
gptkbp:doctoralAdvisor
gptkb:Friedrich_L._Bauer
gptkbp:employer
gptkb:Cornell_University
gptkbp:field
gptkb:mathematics
computer science
https://www.w3.org/2000/01/rdf-schema#label
David Gries
gptkbp:knownFor
computer science education
formal methods
programming methodology
gptkbp:memberOf
gptkb:Association_for_Computing_Machinery
gptkbp:nationality
gptkb:American
gptkbp:notableWork
gptkb:Programming_Methodology
gptkb:A_Logical_Approach_to_Discrete_Math
gptkb:The_Science_of_Programming
gptkbp:occupation
gptkb:computer_scientist
gptkb:professor
gptkbp:bfsParent
gptkb:T._V._Raman
gptkb:Susan_Owicki
gptkb:A_Logical_Approach_to_Discrete_Math
gptkb:The_Science_of_Programming
gptkbp:bfsLayer
7