서울대학교 컴퓨터 공학과를 졸업하고, 자이닉스와 오라클 코리아에서 소프트웨어 개발자로 일했다. 영국 런던 킹스 칼리지에서 석사 및 박사 학위를 받았다. 현재 영국 런던 유니버시티 칼리지 컴퓨터 과학과 교수이며 소프트웨어 공학 문제에 인공 지능 기술을 접목하는 연구를 하고 있다.