Барбара Лискова внесена в Национальный зал славы изобретателей


Барбара Лисков вошла в Национальный зал славы изобретателей в 2012 году в знак признания ее вклада в языки программирования и системное проектирование.

Профессор Лисков, ведущий исследователь Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института (CSAIL), уже имеет несколько других наград, включая премию Тьюринга (2009 г.) и премию Катаянаги в области компьютерных наук (2011 г.).

Она получила премию Общества женщин-инженеров за достижения в 1996 году, медаль IEEE von Neumann в 2004 году, а в 2008 году она была награждена премией ACM SIGPLAN за достижения в области языков программирования. Она также была первой женщиной в США, получившей докторскую степень. она окончила факультет информатики в Стэнфорде в 1968 году.

Согласно заявлению на сайте Национального зала славы изобретателей:

«Профессор Института Массачусетского технологического института Лисков считается новатором в разработке языков программирования для компьютеров, в основном за то, что он помог сделать компьютерные программы более надежными, безопасными и простыми в использовании. Ее нововведения можно найти практически во всех современных языках программирования».

Среди ее вкладов — Принцип подстановки Лискова (LSP), формализованный в 1994 году, который характеризует, когда безопасно заменить объект подтипа на объект родительского типа, тем самым предотвращая странное поведение при запуске программы.


Добавить комментарий