이고리 라브로프
이고리 세르게예비치 라브로프 (러시아어: Игорь Сергеевич Лавров, 1930년 10월 12일 - 1991년 12월 16일)는 소련 및 러시아의 수학자이자 논리학자이다.
생애 및 경력
이고리 라브로프는 1930년 레닌그라드 (현재의 상트페테르부르크)에서 태어났다. 레닌그라드 대학교 수학-물리학 학부를 졸업하고, 스테클로프 수학연구소 레닌그라드 분소에서 연구원으로 활동했다. 주로 수학적 논리학, 알고리즘 이론 분야에서 연구했으며, 특히 계산 복잡도 이론과 프로그래밍 이론에 기여했다. 그는 여러 권의 교과서와 연구 논문을 저술했으며, 그의 연구는 소련 및 국제 학계에서 널리 인정받았다. 1991년 상트페테르부르크에서 사망했다.
주요 업적
- 계산 복잡도 이론 연구
- 프로그래밍 이론 연구
- 수학적 논리학 분야 교과서 저술
참고 문헌
- (러시아어) 라브로프, 이. 세르게예비치. Математическая логика (수학적 논리학). 모스크바: 나우카, 1984.