باربارا لیسکف
باربارا لیسکف (به انگلیسی: Barbara Liskov)، (باربارا جِین هابرمن) زاده ۱۹۳۹، دانشمند علوم رایانه است.
باربارا لیسکف | |
---|---|
زادهٔ | ۷ نوامبر ۱۹۳۹ (۸۴ سال) لوس آنجلس، کالیفرنیا |
ملیت | آمریکایی |
محل تحصیل | دانشگاه کالیفرنیا، برکلی دانشگاه استنفورد |
شناختهشده برای | زبان برنامهنویسی سیالیو اصل جانشینی لیسکف |
جایزه(ها) | مدال جان فون نیومن (۲۰۰۴) جایزه تورینگ (۲۰۰۸) |
پیشینه علمی | |
شاخه(ها) | علوم رایانه |
محل کار | مؤسسه فناوری ماساچوست |
استاد راهنما | جان مککارتی |
او در سال ۲۰۰۸ جایزه تورینگ را به علت «ابداعات اساسی در طراحی زبان برنامهنویسی» دریافت کرد.[۱]
زندگینامه
سنین جوانی و تحصیلات
لیسکف در ۷ نوامبر ۱۹۳۹ در یک خانواده یهودی در لس آنجلس، کالیفرنیا به دنیا آمد.[۲] او در سال ۱۹۶۱ مدرک کارشناسی در ریاضیات را در دانشگاه کالیفرنیا، برکلی دریافت کرد. او در کلاسها دانشگاه تنها یک همکلاسی زن دیگر داشت، بقیه مرد بودند. بعد از فارغالتحصیلی از دانشگاه کالیفرنیا برای دانشگاه پرینستون درخواست داد، در آن زمان پرینستون دانشآموزان دختر در رشته ریاضیات را نمیپذیرفت. او در برکلی پذیرفته شد اما به جای تحصیل به بوستون نقل مکان کرد و در شرکت میتر (Mitre) شروع به کار کرد. آنجا بود که به رایانه و برنامهنویسی علاقهمند شد.
او «استاد مؤسسه» (به انگلیسی: Institute Professor) در دانشگاهامآیتی است که بالاترین درجه استادی در این دانشگاه به حساب میآید.
در سال ۲۰۰۸ او دومین زنی است که جایزه تورینگ را دریافت کردهاست. در سال ۲۰۰۴ نیز مدال جان فون نیومن را دریافت کرد.
لیسکف زبان برنامهنویسی سیالیو و آرگوس را ابداع کرده و همراه جانت ویگ، اصل جانشینی لیسکف را اثبات کردهاست.
او نویسنده سه کتاب و صدها مقاله تخصصی است.
جوایز
لیسکف عضو آکادمی ملی مهندسی، آکادمی ملی علوم و عضو آکادمی علوم و هنر آمریکا و انجمن ماشینهای حسابگر (ACM) است. در سال ۲۰۰۲، او یکی از برترین زنان اعضای هیئت علمی در MIT و در میان برترین ۵۰ عضو هیئت در علوم در ایالات متحده شناخته شد.[۳] در سال ۲۰۰۲، مجله دیسکاور، لیسکف را یکی از مهمترین زنان از میان ۵۰ زن مهم در علم شناخت.[۴]
در سال ۲۰۰۴، باربارا لیسکف برنده مدال جان فون نویمان برای «مشارکت جدی و موثرش در زبانهای برنامهنویسی، روش برنامهنویسی و رایانش توزیعشده» شد.[۵] در ۱۹ نوامبر ۲۰۰۵، به باربارا لیسکف و دانلد کنوت دکترای افتخاری مؤسسه فناوری فدرال زوریخ اعطا شد.[۶] او در سال ۲۰۱۱ موفق از دانشگاه لوگانو و در سال ۲۰۱۸ از دانشگاه پلیتکنیک مادرید به دریافت مدرک دکترای افتخاری شد.[۷][۸]
لیسکف در مارس ۲۰۰۹ جایزه تورینگ ۲۰۰۸ را برای کارش در طراحی زبانهای برنامهنویسی و روششناسی نرمافزار که منجر به توسعه برنامهنویسی برنامهنویسی شیءگرا شد، از ACM دریافت کرد.[۹][۱۰] او در سال ۲۰۱۲ به تالار مشاهیر مخترعان ملی معرفی شد.[۱۱]
جستارهای وابسته
منابع
- مشارکتکنندگان ویکیپدیا. «Barbara Liskov». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۲۳ آوریل ۲۰۰۹.