Гэри Т. Ливенс
Гэри Ливенс | |
---|---|
Академическое образование | |
Образование | Мичиганский университет ( BS ) Университет Южной Калифорнии ( MS ) Массачусетский технологический институт ( доктор философии ) |
Академическая работа | |
Дисциплина | Информатика |
Субдисциплина | Язык спецификации Гарантия информации Объектно-ориентированное программирование Теория типов Компьютерное образование |
Учреждения | Университет штата Айова Университет Центральной Флориды |
Гэри Т. Ливенс [ 1 ] — американский академик, работающий профессором в Университете информатики Центральной Флориды .
Образование
[ редактировать ]Ливенс получил степень бакалавра наук в области компьютерных наук и коммуникаций в Мичиганском университете , степень магистра наук в области компьютерных наук в Университете Южной Калифорнии и степень доктора философии в Массачусетском технологическом институте . [ 2 ]
Карьера
[ редактировать ]С 1977 по 1984 год Ливенс работал в техническом штате Bell Labs . С 1989 по 2007 год он был профессором информатики в Университете штата Айова . Его стипендия сосредоточена на языках спецификации поведенческих интерфейсов (BISL), таких как Larch/Smalltalk, Larch/C++ и JML . Ливенс был председателем программы OOPSLA 2009 года .
Ссылки
[ редактировать ]- ^ «Указатель WWW-страниц Гэри Т. Ливенса» . www.cs.ucf.edu . Проверено 4 января 2023 г.
- ^ «Гэри Ливенс» . Колледж инженерии и информатики UCF . Проверено 4 января 2023 г.
Категории :
- Американские ученые-компьютерщики
- Преподаватель Университета Центральной Флориды
- Живые люди
- Незавершённые статьи по компьютерным наукам
- Выпускники Мичиганского университета
- Выпускники Университета Южной Калифорнии
- Выпускники Массачусетского технологического института
- Преподаватели Университета штата Айова