John C. Mitchell

URI: https://gptkb.org/entity/John_C._Mitchell

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:MIT
gptkbp:awardReceived	gptkb:ACM_Fellow gptkb:IEEE_Fellow
gptkbp:birthPlace	gptkb:United_States
gptkbp:doctoralAdvisor	gptkb:John_Guttag
gptkbp:doctoralStudent	gptkb:Dan_Boneh gptkb:David_Wagner gptkb:Dawn_Song gptkb:Vitaly_Shmatikov gptkb:Martin_Abadi gptkb:George_Necula
gptkbp:editor	gptkb:Journal_of_the_ACM gptkb:Journal_of_Computer_Security Theoretical Computer Science
gptkbp:employer	gptkb:Stanford_University
gptkbp:field	gptkb:programming_language gptkb:security computer science web security
gptkbp:hasPhD	yes
https://www.w3.org/2000/01/rdf-schema#label	John C. Mitchell
gptkbp:memberOf	gptkb:ACM gptkb:IEEE
gptkbp:nationality	gptkb:American
gptkbp:notableWork	gptkb:Concepts_in_Programming_Languages gptkb:Foundations_for_Programming_Languages
gptkbp:occupation	gptkb:computer_scientist gptkb:professor
gptkbp:taughtAt	gptkb:Stanford_University
gptkbp:bfsParent	gptkb:Kathleen_Fisher
gptkbp:bfsLayer	6