나탈리 리볼버

Nathalie Revol

나탈리 리볼(Nathalie Revol, 1967년 출생)[1]은 플로팅 포인트 산술과 인터벌 산술 등 컴퓨터 산술에 관한 연구로 유명한 프랑스의 컴퓨터 과학자다.그녀는 프랑스 컴퓨터 자동화 연구소(INRIA)의 연구원으로, 에콜 노르말레 수페리우레 드 리옹의 로보토아르 드 l'Informatique du Parallélisme의 산술 및 컴퓨팅 프로젝트와 관련이 있다.

교육과 경력

리볼은 1987년부터 1990년까지 에콜 국립학교에서 컴퓨터 공학을 공부했고, 1987년부터 1990년까지 ENSAGE(Enformatique et de mathématique et approgrames de Grenoble)에서 공학 학위를 받았다.1989년부터 1990년까지 그녀는 그르노블에 있는 조셉 푸리에 대학에서 응용수학을 공부했고, 1990년에는 고등학 석사학위를 받았다.[1]그녀는 1994년 장 루이 로치와 장 델라 도라의 공동 감독 하에 그르노블 기술 연구소를 통해 박사학위 논문인 'Complexite de l'평가 평행 회로[산술 회로의 병렬 평가의 복잡성]를 옹호했다.[1][2]

ENSIVAGE에서 임시로 연구직을 맡은 후 1996년 릴 과학기술대학 부교수가 되었다.2002년에는 INRIA의 연구원으로 현직을 맡았고, 2020년부터는 연구자 '호르스 클라스'로 활동하고 있다.[1]

기부금

Rivol은 인터벌 산술에 대한 IEEE 1788 표준을 생산한 작업 그룹의 의장을 맡았다.[3]그녀는 Fabrice Rouillier와 함께 임의의 정밀 간격 산술용 MPI 라이브러리를 개발했다.[4]

그녀는 '플로팅 포인트 산술 핸드북'(Birkhauser, 2010; 제2편, 2018)의 공동저자다.[5]

참조

  1. ^ a b c d Curriculum vitae (PDF), École normale supérieure de Lyon, October 2020, retrieved 2021-07-14
  2. ^ 수학계보 프로젝트 나탈리 리볼루션
  3. ^ IEEE 1788-2015 – IEEE Standard for Interval Arithmetic, IEEE, retrieved 2021-07-14
  4. ^ Dąbrowski, Rafał; Kubica, Bartłomiej Jacek (2009), "Comparison of interval C/C++ libraries in global optimization" (PDF), Prace Naukowe Politechniki Warszawskiej, 169: 51–56
  5. ^ 부동 소수점 산술 핸드북 검토:

외부 링크