|
gptkbp:instanceOf
|
gptkb:academic
gptkb:computer_scientist
|
|
gptkbp:almaMater
|
gptkb:Massachusetts_Institute_of_Technology
|
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_American_Academy_of_Arts_and_Sciences
gptkb:Fellow_of_the_American_Association_for_the_Advancement_of_Science
gptkb:Fellow_of_the_Association_for_Computing_Machinery
|
|
gptkbp:birthYear
|
1956
|
|
gptkbp:doctoralAdvisor
|
gptkb:John_Guttag
|
|
gptkbp:doctoralStudent
|
gptkb:Kathleen_Fisher
|
|
gptkbp:field
|
computer science
|
|
gptkbp:gender
|
female
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Jeannette Wing
|
|
gptkbp:knownFor
|
formal methods
computational thinking
specification and verification
|
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Association_for_Computing_Machinery
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:position
|
gptkb:Executive_Vice_President_for_Research_at_Columbia_University
Head of Computer Science Department at Carnegie Mellon University
Corporate Vice President at Microsoft Research
Director of the Data Science Institute at Columbia University
|
|
gptkbp:workInstitution
|
gptkb:Carnegie_Mellon_University
gptkb:Columbia_University
gptkb:Microsoft_Research
|
|
gptkbp:bfsParent
|
gptkb:Barbara_Liskov
|
|
gptkbp:bfsLayer
|
4
|