הצגת המקור של הדף "ברברה ליסקוב"

אין באפשרותך לערוך את הדף הזה, מהסיבה הבאה:

כתובת ה־IP שלך נחסמה בכל אתרי הוויקי.

החסימה בוצעה על־ידי ‪EPIC‬. הסיבה שניתנה לחסימה היא: Open proxy/Webhost: See the help page if you are affected

תחילת החסימה: 10:48, 2 ביולי 2024
פקיעת החסימה: 10:48, 2 ביולי 2025

כתובת ה־IP הנוכחית שלך היא 206.189.44.186. הטווח החסום הוא 206.189.32.0/20.

יש לציין את כל הפרטים האלה בכל פנייה לבירור החסימה. אם נראה לך שנחסמת בטעות, אפשר למצוא מידע נוסף והוראות בדף המדיניות הגלובלי No open proxies.

מלבד זאת, נא לדון בחסימה על־ידי שליחת בקשה לביקורת באתר מטא. אפשר גם לשלוח מכתב בדואר אלקטרוני לתור ה־VRT של הדיילים בכתובת stewards@wikimedia.org ולכלול בו את כל הפרטים לעיל.

באפשרותך לצפות בקוד המקור של הדף הזה ולהעתיקו.

{{מדען
|שם=ברברה ליסקוב
|שם בשפת המקור=Barbara Jane Huberman Liskov
|תאריך לידה=[[7 בנובמבר]] [[1939]]
|תאריך פטירה=
|תמונה=[[קובץ:Barbara Liskov.PNG|250px]]
|כיתוב=ברברה ליסקוב (2009)
|תרומות עיקריות=הובילה לפיתוח תכנות מונחה עצמים
|ענף מדעי=[[מדעי המחשב]]
|הערות=
|מדינה=[[ארצות הברית]]}}
'''ברברה ג'יין הוברמן ליסקוב''' (ב[[אנגלית]]: '''Barbara Jane Huberman Liskov'''; נולדה ב-[[7 בנובמבר]] [[1939]]) היא מדענית [[ארצות הברית|אמריקאית]] בתחום [[מדעי המחשב]].{{הערה|[https://amturing.acm.org/award_winners/liskov_1108679.cfm Barbara Liskov - A.M. Turing Award Winner]|שם=אבג}} מכהנת (2014) כפרופסור במחלקות [[הנדסת חשמל]] ומדעי המחשב ב[[המכון הטכנולוגי של מסצ'וסטס|מכון הטכנולוגי של מסצ'וסטס]],{{הערה|[http://www.pmg.csail.mit.edu/~liskov/ Barbara Liskov], Programming Methodology Group, MIT|כיוון=שמאל}} זוכת [[פרס טיורינג]] לשנת [[2008]].

תחומי המחקר שלה הם מתודולוגיות תכנות, [[חישוב מבוזר|חישובים מבוזרים]], [[שפות תכנות]] ו[[מערכות הפעלה]].

== חיים אישיים והשכלה ==
ביוני [[1961]], סיימה ליסקוב תואר ראשון BA ב[[מתמטיקה]] ב[[אוניברסיטת קליפורניה בברקלי]]. במקום להמשיך את דרכה לתואר השני בתחום המתמטיקה, החליטה ליסקוב לעבוד בחברת Mitre, בה גילתה שליבה נסוב לתחום התכנות.{{הערה|שם=אבג}} ברברה ליסקוב, היא אחת ה[[נשים במדע|נשים]] הראשונות ב[[ארצות הברית]] שקיבלה [[תואר דוקטור]] ל[[מדעי המחשב]] בשנת [[1968]] מ[[אוניברסיטת סטנפורד]].{{הערה|{{cite web|url=http://www.engineergirl.org/?id=3046|title=Barbara Liskov -- Engineergirl|accessdate=2007-09-06}} Profile from the National Academies of Engineering.}}{{הערה|{{cite web|url=http://www.cs.wisc.edu/includes/textfiles/phds.65-70.txt|title=UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970|accessdate=2010-11-08}} PhDs granted at UW-Madison Computer Sciences Department.}} את הדוקטור עשתה תחת הנחיתו של [[ג'ון מקארתי]]. נושא התזה היה תוכנית מחשב שתשחק בלוח [[סיום (שחמט)|סיום]] משחק ה[[שחמט]].{{הערה|{{Cite web|last=Huberman (Liskov)|first=Barbara Jane|title=A program to play chess end games|year=1968|publisher=Stanford University Department of Computer Science, Technical Report CS 106, Stanford Artificial Intelligence Project Memo AI-65|postscript=<!--None-->|url=http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0673971|access-date=2014-01-09|archive-url=https://web.archive.org/web/20140109225347/http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0673971|archive-date=2014-01-09|url-status=dead}}}} לאחר קבלת תואר הדוקטור, התחתנה עם נתן ליסקוב, וחזרה ל[[בוסטון]] להמשיך לעבוד בחברת Mitre.

מוזס ליסקוב, בנה, סיים בשנת 2004 תואר דוקטור במדעי המחשב ב-MIT ופרופסור למדעי המחשב בקולג' של ווילאם ומרי ב[[וירג'יניה|ווירג'יניה]].{{הערה|שם=אבג}}

== קריירה ==
ליסקוב הובילה פרויקטים רבים משמעותיים, בהם נכללים:
* [[מערכת הפעלה]] ונוס, שהיא מערכת קטנה, בעלות נמוכה ובעלת שיתוף זמן אינטראקטיבי.
* עיצוב ומימוש של שפת התכנות קלו {{אנ|CLU (programming language)}}, אשר מדגישה את הרעיון של תכנות מודולרי, [[אבסטרקציה (מדעי המחשב)|אבסטרקציה]] ו[[פולימורפיזם (מדעי המחשב)|פולימורפיזם]] (בשנות ה-70).<ref>{{צ-מאמר|שם=Abstraction mechanisms in CLU|קישור=https://doi.org/10.1145/359763.359789|כתב עת=Communications of the ACM|שנת הוצאה=1977-08-01|עמ=564–576|כרך=20|doi=10.1145/359763.359789|מחבר=Barbara Liskov, Alan Snyder, Russell Atkinson, Craig Schaffert}}</ref>
* פיתוח שפת התכנות ארגוס {{אנ|Argus (programming language)}}, אשר מרחיבה את שפת קלו, היא השפה העילית הראשונה שתמכה במימוש ויישום של תוכניות מבוזרות וגם מדגימה את הטכניקה של {{קישור שפה||Promise pipelining#Promise pipelining|promise pipelining}} (בשנות ה-80).<ref>{{צ-מאמר|שם=Distributed programming in Argus|קישור=https://doi.org/10.1145/42392.42399|כתב עת=Communications of the ACM|שנת הוצאה=1988-03-01|עמ=300–312|כרך=31|doi=10.1145/42392.42399|מחבר=Barbara Liskov}}</ref>
* ת'ור (Thor) מערכת [[מסד נתונים]] מונחת עצמים.
* יחדיו עם ג'נט וינג, פיתחו הגדרה מסוימת של תת-טיפוס, הידוע בשם [[עקרון ההחלפה של ליסקוב]], שהתפרסם ב-1993.

ליסקוב פעלה כיועצת לחברות רבות (כגון [[DEC]],{{כ}} Bolt,{{כ}} [[NCR]],{{כ}} Newman,{{כ}} Cadence ועוד) במגוון נושאים הקשורים במחשבים. ב-[[2014]] הובילה את קבוצת מתודולוגית התכנות ב[[המכון הטכנולוגי של מסצ'וסטס|מכון הטכנולוגי של מסצ'וסטס]] (MIT), כאשר דגש המחקר הנוכחי הוא עמידות בפני תקלות ביזנטיות ו[[חישוב מבוזר]].

== פרסים והוקרות ==
ליסקוב היא חברה באקדמיה הלאומית להנדסה וחברה באקדמיה לאמנויות ומדעים האמריקנית ושל האגודה למכונות מחשוב ([[ACM]]). בשנת 2002, היא הוכרה כאחת מחברות סגל הטובות ביותר ב-MIT, ובין 50 החברי הסגל הטובים ביותר במדעים בארצות הברית.{{הערה|{{cite news|title=MIT's magnificent seven: Women faculty members cited as top scientists|url=http://web.mit.edu/newsoffice/2002/women.html|accessdate=29 October 2012|newspaper=MIT News Office|date=5 Nov 2002|location=Cambridge, MA}}}}

בשנת 2004, זכתה ליסקוב במדליה על שם [[ג'ון פון נוימן]] עבור תרומותיה המהותיות ל[[שפות תכנות]], מתודולוגית תכנות ומערכות מבוזרות.{{הערה|[http://www.ieee.org/about/awards/bios/vonneumann_recipients.html IEEE John von Neumann Medal Recipients] from the website of [[IEEE]]|כיוון=שמאל}} ב-19 בנובמבר 2005, ברברה ליסקוב יחד עם [[דונלד קנות']] זכו ב[[תואר דוקטור]] לשם כבוד מ[[המכון הטכנולוגי של ציריך]].{{הערה|{{cite web|title=Honorary Doctors|url=http://www.inf.ethz.ch/news/spotlight/honorary|publisher=ETH Computer Science|accessdate=29 October 2012|location=Zurich|date=22 Mar 2006|quote=Barbara Liskov and Donald E. Knuth were awarded the title ETH Honorary Doctor on 19 November 2005.|archiveurl=https://web.archive.org/web/20130108045203/http://www.inf.ethz.ch/news/spotlight/honorary|archivedate=2013-01-08|url-status=dead}}}}

בשנת 2007 זכתה ב-ACM SIGSOFT על מאמר מתקדם בנושא מנגנוני הפשטה בשפת קלו.

במרץ 2009 זכתה ב[[פרס טיורינג]] לשנת 2008{{הערה|[http://www.boston.com/business/technology/articles/2009/03/10/top_prize_in_computing_goes_to_mit_professor/ Top prize in computing goes to MIT professor] from the website of ''[[The Boston Globe]]''|כיוון=שמאל}} מטעם [[ACM]] על תרומתה לתחום התכנות ו[[עיצוב תוכנה]], תאורטי ופרקטי, בעיקר בנושאי [[אבסטרקציה (מדעי המחשב)|אבסטרקציה]] של מידע, עמידות לשגיאות ו[[חישוב מבוזר]]. שיטות מחקר שהציגה הובילו לפיתוח [[תכנות מונחה-עצמים|תכנות מונחה עצמים]].

== ספרים ==
ליסקוב חיברה שלושה ספרים ומעל למאה מאמרים טכניים.{{הערה|http://www.pmg.lcs.mit.edu/~liskov/newcv-09.pdf}} ספריה:
<div class="mw-content-ltr">
* CLU Reference Manual. Springer-Verlag, 1984 with R. Atkinson, T. Bloom, E. Moss, J. C. Schaﬀert, R. Scheiﬂer, and A. Snyder
. Also published as Lecture Notes in Computer Science 114, G. Goos and J. Hartmanis, Eds., Springer-Verlag, 1981
* Abstraction and Speciﬁcation in Program Development. MIT Press and McGraw Hill, 1986, with J Guttag.
* Program Development in Java: Abstraction,Speciﬁcation, and Object-Oriented Design. Addison Wesley,2001, with J.Guttag
</div>

== קישורים חיצוניים ==
{{ויקישיתוף בשורה}}
* {{אתר רשמי}}
{{פרופילי מדענים}}
* [http://www.pmg.lcs.mit.edu/~liskov/newcv-09.pdf קורות החיים של ברברה ליסקוב]
* {{פרס טיורינג|liskov_1108679}}
* [http://www.pmg.csail.mit.edu/ Programming Methodology Group]
* [http://web.mit.edu/newsoffice/2009/turing-liskov-0310.html Turing Award press release]
* [https://web.archive.org/web/20090401052346/http://www.sciencefriday.com/program/archives/200903135 National Public Radio "Science Friday" interview with Barbara Liskov, originally aired on 13 Mar 2009]
* [http://women.acm.org/ Celebrating Women of Distinction, Barbara Liskov, Turing Award interview by], [[Stephen Ibaraki]]
* {{Cite web
| title = BARBARA LISKOV: An Interview Conducted by William Aspray, IEEE History Center, August 6, 1991
| work = GHN: IEEE Global History Network
| accessdate = 2013-11-29
| url = http://www.ieeeghn.org/wiki/index.php/Oral-History:Barbara_Liskov
}}
* {{בריטניקה}}
<!-- [http://www.engineergirl.org/nae/CWE/egdir.nsf/Profiles+By+UNID+-+Full/6ACECD215B453636852569EA0004217C?OpenDocument Prof. Liskov summarizes her career and offers advice to young women engineers] -->

== הערות שוליים ==
{{הערות שוליים}}

{{זוכי פרס טיורינג}}

{{בקרת זהויות}}

{{מיון רגיל:ליסקוב, ברברה}}
[[קטגוריה:מפתחי שפות תכנות]]
[[קטגוריה:חוקרי שפות תכנות]]
[[קטגוריה:זוכות פרס טיורינג]]
[[קטגוריה:זוכי פרס טיורינג]]
[[קטגוריה:זוכות פרס מכון ויצמן למדע למדעניות מצטיינות]]
[[קטגוריה:מדעניות מחשב אמריקאיות]]
[[קטגוריה:מהנדסות אמריקאיות]]
[[קטגוריה:בוגרות אוניברסיטת קליפורניה בברקלי]]
[[קטגוריה:בוגרי אוניברסיטת קליפורניה בברקלי]]
[[קטגוריה:בעלות תואר דוקטור מאוניברסיטת סטנפורד]]
[[קטגוריה:בעלי תואר דוקטור מאוניברסיטת סטנפורד]]
[[קטגוריה:זוכות פרס ויצמן לנשים במדע]]
[[קטגוריה:אמריקאיות שנולדו ב-1939]]
[[קטגוריה:אמריקאים שנולדו ב-1939]]
[[קטגוריה:זוכי מדליית בנג'מין פרנקלין]]

תבניות המופיעות בדף זה:

תבנית:Cite news (הצגת מקור) (הגנת תבניות)
תבנית:Cite web (הצגת מקור) (הגנת תבניות)
תבנית:PDF page URL (הצגת מקור) (מוגנת חלקית)
תבנית:Str endswith (הצגת מקור) (מוגנת חלקית)
תבנית:Str left (הצגת מקור) (הגנה מוגברת)
תבנית:אנ (הצגת מקור) (הגנה מוגברת)
תבנית:אנגלית (הצגת מקור) (הגנה מוגברת)
תבנית:אתר רשמי (הצגת מקור) (הגנת תבניות)
תבנית:בלי הסוגריים (הצגת מקור) (הגנת תבניות)
תבנית:בקרת זהויות (הצגת מקור) (הגנה מוגברת)
תבנית:בריטניקה (הצגת מקור) (מוגנת חלקית)
תבנית:הודעת פרמטר לא מולא (הצגת מקור) (הגנה מוגברת)
תבנית:החלף (הצגת מקור) (מוגנת חלקית)
תבנית:הערה (הצגת מקור) (הגנת תבניות)
תבנית:הערה/קוד (הצגת מקור) (הגנת תבניות)
תבנית:הערות שוליים (הצגת מקור) (הגנה מוגברת)
תבנית:ויקינתונים (הצגת מקור) (הגנת תבניות)
תבנית:ויקישיתוף בשורה (הצגת מקור) (הגנת תבניות)
תבנית:זוכי פרס טיורינג (עריכה)
תבנית:כ (הצגת מקור) (הגנת תבניות)
תבנית:ללא גלישה (הצגת מקור) (הגנה מוגברת)
תבנית:מדען (הצגת מקור) (הגנת תבניות)
תבנית:ניווט קבוצות (הצגת מקור) (הגנה מוגברת)
תבנית:נכתב כתב עת (עריכה)
תבנית:פרופילי מדענים (הצגת מקור) (הגנת תבניות)
תבנית:פרופילים (הצגת מקור) (הגנת תבניות)
תבנית:פרס טיורינג (הצגת מקור) (מוגנת חלקית)
תבנית:צ-מאמר (הצגת מקור) (הגנת תבניות)
תבנית:קוד שפה (עריכה)
תבנית:קידוד תווים מיוחדים (הצגת מקור) (הגנה מוגברת)
תבנית:קישור ויקינתונים (הצגת מקור) (הגנת תבניות)
תבנית:קישור שפה (הצגת מקור) (מוגנת חלקית)
תבנית:רווח קל (הצגת מקור) (הגנה מוגברת)
תבנית:רשתות חברתיות (הצגת מקור) (הגנת תבניות)
תבנית:שם הדף בלי הסוגריים (הצגת מקור) (הגנת תבניות)
תבנית:שפת קישור (הצגת מקור) (מוגנת חלקית)
תבנית:תבנית מידע/אתר אינטרנט (הצגת מקור) (הגנה מוגברת)
יחידה:Arguments (הצגת מקור) (הגנה מוגברת)
יחידה:Citation/CS1 (הצגת מקור) (הגנה מוגברת)
יחידה:Citation/CS1/COinS (הצגת מקור) (מוגנת חלקית)
יחידה:Citation/CS1/Configuration (הצגת מקור) (הגנה מוגברת)
יחידה:Citation/CS1/Date validation (הצגת מקור) (הגנה מוגברת)
יחידה:Citation/CS1/Identifiers (הצגת מקור) (מוגנת חלקית)
יחידה:Citation/CS1/Utilities (הצגת מקור) (מוגנת חלקית)
יחידה:Citation/CS1/Whitelist (הצגת מקור) (הגנה מוגברת)
יחידה:Citation/CS1/styles.css (הצגת מקור) (מוגנת חלקית)
יחידה:LocationAndCountry (הצגת מקור) (הגנת תבניות)
יחידה:Navbar (הצגת מקור) (הגנה מוגברת)
יחידה:Navbox (הצגת מקור) (הגנה מוגברת)
יחידה:No globals (הצגת מקור) (הגנה מוגברת)
יחידה:PV-options (הצגת מקור) (הגנת תבניות)
יחידה:ParamValidator (הצגת מקור) (הגנת תבניות)
יחידה:PropertyLink (הצגת מקור) (הגנה מוגברת)
יחידה:String (הצגת מקור) (הגנה מוגברת)
יחידה:TableTools (הצגת מקור) (הגנת תבניות)
יחידה:URL (הצגת מקור) (הגנה מוגברת)
יחידה:Wikidata (הצגת מקור) (הגנה מוגברת)
יחידה:WikidataCrossValidation (הצגת מקור) (הגנת תבניות)
יחידה:WikidataSelectors (הצגת מקור) (מוגנת חלקית)
יחידה:אישיות (עריכה)
יחידה:אתר רשמי (הצגת מקור) (מוגנת חלקית)
יחידה:בקרת זהויות (הצגת מקור) (הגנה מוגברת)
יחידה:גיל לערכי אישים (הצגת מקור) (הגנת תבניות)
יחידה:הערה (הצגת מקור) (הגנת תבניות)
יחידה:מדען (עריכה)
יחידה:סוגריים (הצגת מקור) (הגנה מוגברת)
יחידה:פרמטרים (הצגת מקור) (הגנה מוגברת)
יחידה:קידוד תווים מיוחדים (הצגת מקור) (הגנה מוגברת)
יחידה:שפת קישור (הצגת מקור) (הגנת תבניות)
יחידה:שפת קישור/styles.css (הצגת מקור) (הגנת תבניות)
יחידה:תאריך (הצגת מקור) (הגנת תבניות)
יחידה:תאריך עברי (הצגת מקור) (הגנה מוגברת)
יחידה:תבנית מידע (הצגת מקור) (הגנה מוגברת)
יחידה:תבנית מידע/אישיות (הצגת מקור) (הגנה מוגברת)
יחידה:תבנית מידע/אתר (הצגת מקור) (הגנה מוגברת)

חזרה לדף ברברה ליסקוב.

אוחזר מתוך "https://he.wikipedia.org/wiki/ברברה_ליסקוב"