Jeannette M. Wing is a computer science professor at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, and assistant director for Computer and Information Science and Engineering at the NSF. She earned her S.B. and S.M. in Electrical Engineering and Computer Science at MIT in June 1979. Her advisors were Ronald Rivest and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under John Guttag.

PropertyValue
dbpprop:abstract
  • Jeannette M. Wing is a computer science professor at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, and assistant director for Computer and Information Science and Engineering at the NSF. She earned her S.B. and S.M. in Electrical Engineering and Computer Science at MIT in June 1979. Her advisors were Ronald Rivest and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under John Guttag. Wing has been a leading member of the formal methods community, especially in the area of Larch. She has led many research projects and has published widely . With Barbara Liskov, Jeannette Wing developed the Liskov substitution principle, published in 1993. She is on the editorial board of the following journals: Journal of the ACM, Formal Aspects of Computing (North American Editor), Formal Methods in System Design, International Journal of Software and Informatics, Journal of Information Science and Engineering, Software Tools for Technology Transfer.
  • Jeannette M. Wing ist Professorin für Informatik (engl. Computer Science) an der Carnegie Mellon University. 1979 errang sie die Grade Bachelor und Master in Elektrotechnik und Informatik am MIT, ebendort erhielt sie 1983 einen Ph.D. in Informatik. Bekannt ist sie unter anderem für die Ausarbeitung des Liskovschen Substitutionsprinzips, gemeinsam mit Barbara Liskov. Ihr besonderes Forschungsinteresse galt den Bereichen Spezifikation und Verifikation, nebenläufigen und verteilten Systemen sowie Programmiersprachen. In der Gegenwart ist sie mit Techniken und Werkzeugen zur Analyse der Softwaresicherheit beschäftigt; in diesem Themengebiet war sie unter anderem für ein Jahr bei Microsoft tätig.
  • Jeannette M. Wing est professeur d'informatique à l'Université Carnegie Mellon (sur une chaire intitulée professeur du président). Elle est directrice du département d'informatique. Elle a reçu son Bachelor et son Master au Massachusetts Institute of Technology (MIT) en 1979, puis son PhD en 1983, toujours au MIT. Ses domaines d'intérêt sont les systèmes de spécification et de vérification, concurrents et répartis, ainsi que les langages de programmation. Avec Barbara Liskov, elle développa une définition particulière du sous-typage, connue sous le nom de principe de substitution de Liskov.
  • 周以真（英文名Jeannette M. Wing），美国计算机科学家。卡内基-梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。 她的主要研究领域是形式方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作，提出了著名的Liskov代換原則，是面向对象基本原则之一。 1979年6月在麻省理工学院获得学士和硕士学位，导师中有图灵奖得主Ronald Rivest。1983年获得该校的博士学位。 1983—1985年，在南加州大学任助理教授。1985年起，任教于卡内基-梅隆大学。2004—2007年间，曾担任该校计算机系主任。
dbpprop:hasPhotoCollection
dbpprop:id
  • w/Wing:Jeannette_M=
dbpprop:name
  • Jeannette M. Wing
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • Jeannette M. Wing is a computer science professor at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, and assistant director for Computer and Information Science and Engineering at the NSF. She earned her S.B. and S.M. in Electrical Engineering and Computer Science at MIT in June 1979. Her advisors were Ronald Rivest and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under John Guttag.
  • Jeannette M. Wing ist Professorin für Informatik (engl. Computer Science) an der Carnegie Mellon University. 1979 errang sie die Grade Bachelor und Master in Elektrotechnik und Informatik am MIT, ebendort erhielt sie 1983 einen Ph.D. in Informatik. Bekannt ist sie unter anderem für die Ausarbeitung des Liskovschen Substitutionsprinzips, gemeinsam mit Barbara Liskov.
  • Jeannette M. Wing est professeur d'informatique à l'Université Carnegie Mellon (sur une chaire intitulée professeur du président). Elle est directrice du département d'informatique. Elle a reçu son Bachelor et son Master au Massachusetts Institute of Technology (MIT) en 1979, puis son PhD en 1983, toujours au MIT. Ses domaines d'intérêt sont les systèmes de spécification et de vérification, concurrents et répartis, ainsi que les langages de programmation.
  • 周以真（英文名Jeannette M.
rdfs:label
  • Jeannette Wing
  • Jeannette Wing
  • Jeannette Wing
  • 周以真
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of