Jump to content

Гэри Т. Ливенс

Гэри Ливенс
Академическое образование
Образование Мичиганский университет ( BS )
Университет Южной Калифорнии ( MS )
Массачусетский технологический институт ( доктор философии )
Академическая работа
Дисциплина Информатика
Субдисциплина Язык спецификации
Гарантия информации
Объектно-ориентированное программирование
Теория типов
Компьютерное образование
Учреждения Университет штата Айова
Университет Центральной Флориды

Гэри Т. Ливенс [ 1 ] — американский академик, работающий профессором в Университете информатики Центральной Флориды .

Образование

[ редактировать ]

Ливенс получил степень бакалавра наук в области компьютерных наук и коммуникаций в Мичиганском университете , степень магистра наук в области компьютерных наук в Университете Южной Калифорнии и степень доктора философии в Массачусетском технологическом институте . [ 2 ]

С 1977 по 1984 год Ливенс работал в техническом штате Bell Labs . С 1989 по 2007 год он был профессором информатики в Университете штата Айова . Его стипендия сосредоточена на языках спецификации поведенческих интерфейсов (BISL), таких как Larch/Smalltalk, Larch/C++ и JML . Ливенс был председателем программы OOPSLA 2009 года .

  1. ^ «Указатель WWW-страниц Гэри Т. Ливенса» . www.cs.ucf.edu . Проверено 4 января 2023 г.
  2. ^ «Гэри Ливенс» . Колледж инженерии и информатики UCF . Проверено 4 января 2023 г.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: b2d09ec15e4c7f803c4e354a79351768__1672862520
URL1:https://arc.ask3.ru/arc/aa/b2/68/b2d09ec15e4c7f803c4e354a79351768.html
Заголовок, (Title) документа по адресу, URL1:
Gary T. Leavens - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)