Robert Bruce Findler

URI: https://gptkb.org/entity/Robert_Bruce_Findler
GPTKB entity
Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:computer_scientist
gptkb:person
gptkbp:almaMater gptkb:Rice_University
gptkbp:contributedTo gptkb:Redex
gptkb:Racket
gptkb:PLT_Scheme
gptkbp:doctoralAdvisor gptkb:Matthias_Felleisen
gptkbp:employer gptkb:Northwestern_University
gptkbp:field gptkb:programming_language
formal methods
software engineering
https://www.w3.org/2000/01/rdf-schema#label Robert Bruce Findler
gptkbp:knownFor gptkb:Racket_programming_language
gptkb:Redex
gptkb:PLT_Scheme
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:computer_scientist
gptkb:professor
gptkbp:bfsParent gptkb:How_to_Design_Programs
gptkbp:bfsLayer 7