Оглавление
Нэнси Линч
-
Профессиональная карьера Нэнси Энн Линч
- Специалист по информатике, работает в Массачусетском технологическом институте.
- Профессор NEC в области науки о ПО и инженерии, возглавляет исследовательскую группу по теории распределенных систем.
-
Образование и ранние годы
- Родилась в Бруклине, образование связано с математикой, училась в Бруклинском колледже и MIT.
- Получила докторскую степень в 1972 году под руководством Альберта Р. Мейера.
-
Работа и достижения
- До прихода в MIT работала в нескольких университетах, включая Тафтс, Южную Калифорнию и Джорджию Tech.
- Исследует применение математики к распределенным системам, получила премию PODC Influential-Paper Award за работу о консенсусе.
- Автор многочисленных статей о распределенных алгоритмах, формальном моделировании и валидации систем.
- Автор учебника для аспирантов по распределенным алгоритмам, член Национальной академии наук, Национальной инженерной академии и научный сотрудник ACM.
-
Признание и награды
- Получила стипендию ACM, премию Дейкстры, премию Ван Вейнгаардена, премию Кнута и другие.
- Лектор в Афинах и член Национальной академии наук.
-
Библиография
- Список публикаций Нэнси Линч включает статьи и книги по распределенным алгоритмам и формальному моделированию.