기계학습 모델을 효과적으로 표현하고 사용하도록 해주는 프로그래밍 언어를 어떻게 하면 만들 수 있을까? 이러한 질문에 깔끔하고 근원적인 대답을 찾는 것이 저희 연구실의 목표입니다. 주로 기계학습, 프로그래밍 언어, 확률론, 통계학등 여러 분야가 만나는데서 생기는 문제를 풀고 있습니다. 프로그램으로 표현된 모델에 적합한 확률 추론 알고리즘을 개발하기도 하고, 그러한 프로그램의 성질을 자동으로 알아내는 프로그램 분석 알고리즘을 만들기도 합니다. 확률론이나 다른 수학 분야를 일반화하고, 이렇게 일반화된 분야를 이용하여, 기계학습을 위한 프로그래밍 언어의 수학적인 기초를 다지는 연구도 하고 있습니다.