2014년 현재 한성대학교 컴퓨터공학과 교수로 재직 중이다. 누구보다 뜨거운 열정을 품고 한 사람이라도 프로그래밍에 좀 더 익숙해지기를 바라는 분이다. 관심 분야는 애자일 프로세스와 테스트, 객체지향 설계, 테스트 프로세스, 테스트케이스 자동 생성이다.
1983~1987: 서울대학교 컴퓨터공학과(학사)
1987~1989: 한국과학기술원 전산학과(석사) 소프트웨어공학 전공
1989~1993: 한국과학기술원 전산학과(박사) 소프트웨어공학 전공
1994~1998: 한림대학교 부교수
1994: 한국전자통신연구원 초빙연구원
1996.7~8: 영국 Durham 대학 방문연구원
1997~1998: 미국 purdue 대학 방문교수
2005.3~2006.2: 미국 콜로라도 주립대 방문교수
1999~현재: 한성대학교 컴퓨터공학부 교수
관심분야: 프로그램 분석, 병렬 및 분산 프로그램 테스팅, 테스트 데이터 자동생성, 모형 검사(model checking)