Натали Револь
Натали Револь (1967 г.р.) [1] — французский ученый-компьютерщик, известный своими исследованиями в области компьютерной арифметики , включая арифметику с плавающей запятой и интервальную арифметику . Она является научным сотрудником Французского института исследований в области компьютерных наук и автоматизации (INRIA), связанного с арифметическим и вычислительным проектом Лаборатории информатики параллельного обучения в Высшей нормальной школе Лиона .
Образование и карьера [ править ]
Револь изучала информатику в Высшей национальной школе информатики и прикладной математики Гренобля (ENSIMAG) с 1987 по 1990 год, получив диплом инженера в 1990 году. С 1989 по 1990 год она также изучала прикладную математику в Университете Жозефа Фурье в Гренобле. получил степень магистра перспективных исследований в 1990 году. [1] Докторскую диссертацию « Complexite de l'evaluation Paralee des Circuits arithmetiques » [ Сложность параллельного вычисления арифметических схем ] она защитила в 1994 году в Технологическом институте Гренобля под совместным руководством Жана-Луи Роша и Жана Делла Дора. [1] [2]
После временной исследовательской должности в ENSIMAG в 1996 году она стала доцентом Лилльского университета науки и технологий . В 2002 году она заняла свою нынешнюю должность исследователя в INRIA, а с 2020 года стала исследователем «за дополнительную плату». [1]
Взносы [ править ]
Револ возглавлял рабочую группу, которая разработала стандарт IEEE 1788 для интервальной арифметики . [3] Вместе с Фабрисом Рулье она разработала библиотеку MPFI для интервальной арифметики произвольной точности . [4]
Она является соавтором книги « Справочник по арифметике с плавающей точкой» (Birkhäuser, 2010; 2-е изд., 2018). [5]
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б с д Биографическая справка (PDF) , École Normale Superieure de Lyon, октябрь 2020 г. , получено 14 июля 2021 г.
- ^ Натали Револь в проекте «Математическая генеалогия»
- ^ IEEE 1788-2015 - Стандарт IEEE для интервальной арифметики , IEEE , получено 14 июля 2021 г.
- ^ Домбровский, Рафал; Кубица, Бартломей Яцек (2009), «Сравнение интервальных библиотек C/C++ в глобальной оптимизации» (PDF) , Prace Naukowe Politechniki Warszawskiej , 169 : 51–56
- ^ Обзоры справочника по арифметике с плавающей запятой :
- Бултил, Адхемар (2015), «Обзор» , Бюллетень Бельгийского математического общества (Саймон Стевин) , 22 (1): 174–175
- Хейс, Брайан (январь – февраль 2012 г.), «Мрачность в численных вычислениях» , American Scientist , 100 (1): 84–86, JSTOR 23222826
- Мохан, ТК, Збл 1197.65001 и Збл 1394.65001
