류석영 교수는 KAIST 전산학부에서 프로그래밍 언어 및 프로그램 분석을 연구하고 있다. KAIST 전산학과에서 학사/석사/박사 과정을 모두 마친 후, 프로그램 실행 중에 발생할 수 있는 예외상황을 미리 예측하는 정적분석 기법 및 도구를 연구개발하여 박사학위를 받았다. 이후, 하버드에서 다양한 프로그래밍 언어와 다양한 플랫폼을 지원하는 디버깅 기법을 연구하고, Sun Microsystems 연구소에서 Fortress라는 차세대 프로그래밍 언어를 연구한 후 2009년 12월에 다시 KAIST로 돌아왔다. 다양한 프로그래밍 언어로 작성한 소프트웨어의 결함을 예측하고 검출하는 분석 기법을 연구하고 도구를 개발한다. 특히, 전 세계에서 가장 널리 사용되고 있는 JavaScript 웹 어플리케이션의 문제를 예측하고 검출하는 분석 및 결함 검출 프레임워크를 연구 개발하여, 전 세계의 학교 및 연구소에서 사용하고 있다.