IMU 아바쿠스 메달

2022년 이전에는 롤프 네반린나 상(Rolf Nevanlinna Prize)으로 알려졌던 IMU 아바쿠스 메달(IMU Abacus Medal
)은 국제 수학 연맹(IMU)이 주최하는 세계 수학자 대회에서 4년마다 정보 과학의 수학적 측면에 대한 뛰어난 공헌을 한 사람에게 수여된다. 여기에는 다음이 포함된다.

 계산 복잡도 이론, 프로그래밍 언어의 논리, 알고리즘 분석, 암호학, 컴퓨터 비전, 패턴 인식, 정보 처리 및 지능 모델링을 포함한 컴퓨터 과학의 모든 수학적 측면.
 과학적 계산 및 수치해석학. 최적화 및 제어이론의 전산적 측면. 기호계산.

이 상은 1981년 국제 수학 연맹 집행위원회에 의해 제정되었으며 핀란드 수학자 롤프 네반린나의 이름을 따서 명명되었다. 금메달과 상금으로 구성된다. 이 상은 젊은 이론 컴퓨터 과학자를 대상으로 하며, 시상식이 열리는 해 1월 1일 기준으로 만 40세 미만인 사람만 자격이 있다. 필즈상을 포함한 다른 IMU 상과 함께 수여된다.

명칭
이 상은 1981년 상이 제정되기 1년 전에 사망한 핀란드 수학자 롤프 네반린나를 기리기 위해 원래 명명되었다. 메달 앞면에는 네반린나의 옆모습, "Rolf Nevanlinna Prize"라는 문구, 그리고 매우 작은 글자로 "RH 83"이 새겨져 있었다. RH는 메달 디자이너인 라이모 헤이노를, 83은 첫 주조 연도를 나타낸다. 뒷면에는 상의 후원 기관인 헬싱키 대학교와 관련된 두 인물이 새겨져 있다. 가장자리에는 수상자의 이름이 새겨져 있다.

세계 국립 수학 대회 연맹 회장인 알렉산더 소이퍼는 네반린나가 히틀러 지지자였고 제2차 세계 대전 중 무장친위대 핀란드 의용대대의 대표 역할을 했다는 이유로 네반린나를 기리는 이 상에 대해 불평했다. 소이퍼는 2015년 저서에서 네반린나의 전시 활동을 논하고, 상의 이름을 변경해 달라는 개인적 요청과 그의 조직의 요청을 IMU 집행위원회에 전달했다. 2018년 7월, 제18차 IMU 총회는 상에서 롤프 네반린나의 이름을 삭제하기로 결정했다. 이후 이 상은 IMU 아바쿠스 메달로 명명될 것이라고 발표되었다.

수상자
 연도 수상자 수상 사유 1982 로버트 타잔 "정보 과학의 수학적 측면에 대한 뛰어난 공헌으로 첫 네반린나 상을 받았다. "순수 수학은 효율성 문제와는 완전히 독립적으로 유한하든 무한하든 그 구성을 연구하는 사치를 누린다"고 타잔의 작업에 대해 야코프 슈와르츠는 설명했다. "반면, 이론 컴퓨터 과학은 궁극적으로 제한된 속도와 데이터 저장 공간으로 작동하는 컴퓨팅 엔진에 관심을 가져야 하며, 따라서 효율성을 주요 관심사 중 하나로 삼아야 한다. 알고리즘 설계와 알고리즘 분석이라는 밀접하게 관련된 두 활동은 이러한 불가피한 관심에서 비롯된다."" 1986 레슬리 밸리언트 "밸리언트는 빠르게 성장하는 젊은 이론 컴퓨터 과학 분야의 거의 모든 지점의 성장에 결정적인 기여를 했으며, 그의 카운팅 문제 이론이 아마도 그의 가장 중요하고 성숙한 작업일 것이다."" 1990 알렉산더 라즈보로프"회로 복잡도의 하한에 대한 그의 획기적인 연구로." 1994 아비 위그더슨"컴퓨터 과학의 수학적 기초에 대한 그의 뛰어난 연구로. 연구 대상에는 예를 들어, 복잡한 작업을 해결하는 효율적인 방법 찾기와 특정 문제에 대한 계산 노력의 상한 및 하한이 포함된다. 위그더슨은 역설적인 용어인 "제로 지식 상호작용 증명"을 이해하는 데 중요한 공헌을 했다."Wigderson - Nevanlinna Prize 1994 1998 피터 쇼어"양자 컴퓨팅에 대한 그의 뛰어난 연구와 특히 쇼어 알고리즘을 도출한 공로로." 2002 마두 수단 "확률적으로 검증 가능한 증명, 최적화 문제의 비근사성, 오류 수정 코드를 포함한 이론 컴퓨터 과학의 여러 분야에 대한 중요한 공헌으로." 2006 존 클라인버그"영향력 있는 '허브 및 권위'-알고리즘; 대규모 소셜 네트워크에서 짧은 체인 발견 방법; 데이터 스트림의 버스트 모델링, 식별 및 분석 기술; 소셜 네트워크에서 커뮤니티 성장의 이론적 모델; 클러스터링의 수학적 이론에 대한 기여를 포함한 글로벌 정보 환경의 수학적 이론에 대한 깊고 창의적이며 통찰력 있는 공헌으로." 2010 대니얼 스필먼Live video of ICM 2010 "선형 프로그래밍의 부드러운 분석, 그래프 기반 코드 알고리즘, 그래프 이론의 수치 계산 응용으로." 2014 수바시 콧 "'고유 게임' 문제에 대한 그의 선견지명 있는 정의와 그 복잡성 및 최적화 문제의 효율적인 근사 연구에서의 중추적인 역할을 이해하려는 노력 주도로. 그의 연구는 알고리즘 설계 및 근사 난이도에 획기적인 발전을 가져왔고, 계산 복잡도, 분석 및 기하학 간의 새롭고 흥미로운 상호작용을 이끌어냈다."2018콘스탄티노스 다스칼라키스 "시장, 경매, 균형 및 기타 경제 구조에서 근본적인 문제의 계산 복잡성에 대한 우리의 이해를 변화시킨 공로로. 그의 연구는 이러한 영역에서 효율적인 알고리즘과 효율적으로 수행될 수 있는 것의 한계를 모두 제공한다."2022마크 브레이버먼"정보 이론을 사용하여 통신 프로토콜에 대해 추론하는 프레임워크인 정보 복잡도 이론을 개발한 그의 획기적인 연구로. 그의 연구는 분할 상환 통신에 대한 하한을 제공하는 직접 합 정리, 기발한 프로토콜 압축 방법, 그리고 잡음에 강한 새로운 상호작용 통신 프로토콜로 이어졌다."

 같이 보기 
 튜링상
 크누스상
 괴델상
 아벨상
 칼링가상
 필즈상
 가우스상
 천 메달
 쇼크상
 울프상
 컴퓨터 과학상 목록
 수학상 목록

 각주 

 외부 링크 
 IMU 아바쿠스 메달 - 공식 사이트
 롤프 네반린나 상 - 공식 사이트

분류:정보 이론
분류:컴퓨터 과학상
분류:4년마다 열리는 행사