David Gries

URI: https://gptkb.org/entity/David_Gries

GPTKB entity

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