Boaz Barak

이론에서 AI 안전으로

보아즈 바라크의 경력은 이론 컴퓨터과학의 추상적인 깊이에서 인공지능이 직면한 시급한 과제들로 이어지는 경로를 따라갑니다. 그의 연구는 학문 분야를 가로지르며 계산 복잡성과 현대 AI 시스템의 실질적인 안전 우려를 연결합니다.

바라크는 하버드 대학교 존 A. 폴슨 공학 및 응용과학대학에서 Catalyst 교수직을 맡고 있습니다. 2025년 가을부터 그는 하버드와 OpenAI 사이에서 시간을 나누며, 그곳에서 기술 인력의 일원으로 활동합니다. 이 이중 역할은 이론적 통찰을 현실의 응용으로 옮기는 데 대한 그의 집중을 반영합니다.

여러 분야를 아우르는 연구

바라크의 연구는 컴퓨터과학의 여러 영역을 망라합니다. 그의 초기 연구는 계산 복잡성, 암호학, 양자 컴퓨팅에 초점을 두었습니다. 이 분야들은 계산, 암호화, 양자 시스템의 근본적인 한계를 탐구합니다.

최근 몇 년 동안 그의 관심은 머신러닝과 AI 안전으로 옮겨갔습니다. 그는 학습 알고리즘의 이론적 기반과 점점 더 강력해지는 AI 시스템이 야기하는 위험을 살핍니다. 그의 접근은 수학적 엄밀함과 실질적 함의에 대한 관점을 함께 담고 있습니다.

바라크는 산제이 아로라와 함께 교재 *Computational Complexity: A Modern Approach*를 공동 집필했습니다. 이 책은 해당 분야의 대학원 수준 강의에서 표준 참고서가 되었습니다. 이 책은 계산 이론의 핵심 개념을 제시하면서도 명확성과 접근성을 강조합니다.

학문적·전문적 경로

바라크는 과학 연구소인 바이츠만 연구소에서 박사학위를 받았습니다. 박사 과정을 마친 뒤 그는 프린스턴의 고등연구원에서 박사후 연구원으로 시간을 보냈습니다. 그의 학문 경력에는 프린스턴 대학교 컴퓨터과학과에서 부교수로 재직한 기간이 포함됩니다.

하버드에 합류하기 전에는 Microsoft Research New England에서 수석 연구원으로 일했습니다. 그의 역할은 종종 연구와 멘토링을 결합해 학생들을 지도하고, 기관을 넘어 동료들과 협업하는 형태로 이루어져 왔습니다.

그의 기여는 여러 차례의 수상과 펠로십으로 인정받았습니다. 여기에는 ACM Dissertation Award, Packard Fellowship, Sloan Fellowship이 포함됩니다. 또한 그는 Simons Investigator로 선정되었고, Association for Computing Machinery의 펠로로도 지명되었습니다.

교육과 대중 참여

하버드에서 바라크는 이론 컴퓨터과학과 머신러닝 과목을 가르칩니다. 그의 강의는 계산 복잡성, 암호학, AI의 수학적 기반과 같은 주제를 다룹니다. 그는 또한 하버드 머신러닝 기초 세미나를 공동으로 조직합니다.

교실 밖에서도 바라크는 자신의 블로그인 *Windows on Theory*를 통해 더 넓은 대중과 소통합니다. 이 블로그는 컴퓨터과학, AI, 그리고 그것이 사회에 미치는 함의를 다룹니다. 그는 때때로 기술, 정책, 윤리의 교차 지점에 대해 글을 씁니다.

바라크는 여러 교육 관련 이니셔티브에 참여하고 있습니다. 그는 에티오피아와 자메이카의 고등학생들에게 알고리즘과 코딩을 가르치는 비영리 단체 AddisCoder의 이사회에서 활동합니다. 또한 소외된 지역사회를 대상으로 한 유사 프로그램인 Jam Coders에도 기여하고 있습니다.

그의 자문 역할은 과학 및 미디어 조직으로까지 확장됩니다. 그는 Simons Institute for the Theory of Computing의 과학 자문 위원회 위원이며, *Quanta Magazine*의 자문 위원회에도 참여하고 있습니다. 이러한 직책은 떠오르는 연구와 그 대중 전달 방식에 관한 논의를 형성하는 데 도움이 됩니다.

바라크의 현재 학생들은 머신러닝 이론부터 AI 안전에 이르기까지 다양한 프로젝트를 수행하고 있습니다. 그의 연구 그룹에는 하버드뿐 아니라 그 밖의 협력자들이 포함되어 있어, 학제 간 연구에 대한 그의 헌신을 보여줍니다.