Введение

Виктор А. Карреньо (род. 1956) — инженер-аэрокосмический инженер NASA и аэрокосмический технолог. Он является патентообладателем системы телеметрии с одним частотным мультипередатчиком.

Ранние годы

Карреньо родился в Санто-Доминго, Доминиканская Республика. Его семья переехала в Пуэрто-Рико, когда он был маленьким ребенком, и он вырос в городе Гуайнабо. Карреньо проявлял интерес к электронике и решению математических задач с детства. После окончания начальной и средней школы он поступил в среднюю школу Маргариты Янер Паласиос, где был одним из лучших учеников по математике и естественным наукам и окончил ее с отличием в 1974 году. В 1974 году Карреньо поступил в Университет Пуэрто-Рико и получил степень бакалавра наук в области электротехники в 1979 году. После окончания университета он подал заявку и был принят на работу в Исследовательский центр NASA Лэнгли, где был назначен в Отдел авиационной электронной системы, Подразделение бортовой электроники. В 1983 году он был переведен в группу оценки сбоев цифровых систем в Отделе отказоустойчивых систем. Его работа заключалась в разработке методов аналитической оценки сбоев цифровых систем, вызванных переходными процессами, индуцированными молнией.

Карьера в НАСА

Карреньо считается изобретателем и разработчиком системы телеметрии с одночастотным мультипередатчиком в 1983 году. Он также разработал и провёл эксперименты для оценки в реальном времени одноплатного компьютера Viper, работая над приборным оснащением исследовательского самолёта F-106. Карреньо продолжил высшее образование, поступив в Университет Олд Доминион, где в 1985 году получил степень магистра электротехники. В 1986 году ему был выдан патент на SFMTS, патент США № 4,631,538. В 1990 году Карреньо был назначен в команду формальных методов, Отдел технологий оценки. Эта команда занималась разработкой математических методов верификации критически важных систем. В 1994 году он поступил в Кембриджский университет в Англии и в 1997 году получил степень доктора философии в области компьютерных наук. Карреньо работал над верификацией концепций управления воздушным движением и разработкой математической инфраструктуры для поддержки такой верификации. 30 марта 2007 года Карреньо вышел на пенсию из НАСА.