GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
John C. Mitchell
URI:
https://gptkb.org/entity/John_C._Mitchell
GPTKB entity
Statements (32)
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