Констанс Хейтмайер
 |
Констанс Хейтмейер из Исследовательской лаборатории ВМС США в Вашингтоне, округ Колумбия, была назначена научным сотрудником Института инженеров по электротехнике и электронике (IEEE) в 2015 году. [ 1 ] за «вклад в формальные методы моделирования и анализа программного обеспечения и систем».
Ссылки
[ редактировать ]- ^ «Высокий парень, 2015 г.» (PDF) . Справочник участников IEEE . Архивировано из оригинала (PDF) 29 августа 2017 г.
 | Эта статья об американском инженере-электрике незавершена . Вы можете помочь Википедии, расширив ее . |