Albert R. Meyer

URI: https://gptkb.org/entity/Albert_R._Meyer

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Harvard_University
gptkbp:awardReceived	gptkb:AAAS_Fellow gptkb:ACM_Fellow
gptkbp:birthPlace	gptkb:United_States
gptkbp:birthYear	1941
gptkbp:doctoralAdvisor	gptkb:Patrick_C._Fischer
gptkbp:doctoralStudent	gptkb:David_Harel gptkb:Jeannette_Wing gptkb:Leonard_Adleman gptkb:Nancy_Lynch gptkb:Joseph_Halpern gptkb:Albert_R._Meyer_Jr. gptkb:Charles_Rackoff
gptkbp:employer	gptkb:Massachusetts_Institute_of_Technology
gptkbp:field	gptkb:logic theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label	Albert R. Meyer
gptkbp:knownFor	work on automata theory contributions to theoretical computer science work on computational complexity theory work on formal languages
gptkbp:memberOf	gptkb:American_Academy_of_Arts_and_Sciences gptkb:Association_for_Computing_Machinery
gptkbp:nationality	gptkb:American
gptkbp:notableStudent	gptkb:David_Harel gptkb:Jeannette_Wing gptkb:Leonard_Adleman gptkb:Nancy_Lynch gptkb:Joseph_Halpern gptkb:Charles_Rackoff
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:thesisTitle	gptkb:On_the_Lengths_of_Programs_for_Computing_Finite_Functions
gptkbp:thesisYear	1966
gptkbp:workInstitution	gptkb:Massachusetts_Institute_of_Technology
gptkbp:bfsParent	gptkb:Nancy_Lynch
gptkbp:bfsLayer	4