앞으로 700년동안 등장할 컴퓨터는 극도로 병렬적일 것으로 예상합니다. 극도로 병렬적인 컴퓨터를 효율적으로 사용하기 위해서는 병렬 자원을 동시성 프로그래밍을 통해 잘 길들어야 합니다. 우리 연구실은 동시성과 병렬성에 관한 깊고 탄탄한 이론을 정립하고, 이론을 토대로 간단하면서도 효율적인 라이브러리와 프로그램을 개발 및 검증하여, 5-10년 내에 업계에서 널리 쓰일 시스템을 구축하고자 합니다.