관심 연구분야

• 내장형 소프트웨어
• 모델 기반 개발 방법
• 모델 체킹
    
• 이벤트 기반 시스템
• 복합 이벤트 처리
• 이벤트 중심 아키텍쳐
• 출판 구독 아키텍쳐
   
• 소프트웨어 테스팅
• 단위 테스팅 프레임웍
• 데이타베이스 시스템을 위한 테스팅 프레임웍
• GUI 응용프로그램을 위한 테스팅 프레임웍
   
• 소프트웨어 개발 방법론
• 관점지향 개발 방법
• 모니터기반 개발 방법
   
• 수행시간 모니터링
• 타이밍 제약 모니터링
• 스트림 데이터 모니터링
• 리소스 모니터링

학력

• 박사 : 텍사스 주립대학교 전산학 박사, 2005.
• 석사 : 한국 과학기술원 전산학 석사, 1998.
• 학사 : 중앙대학교 전자계산학 학사, 1996.
  

산업체 경력

• 미국 오레건 소재 인텔 소프트웨어 엔지니어 2005-2007.
  

주요 논문 [Full List]

• 소프트웨어 공학 저널:
  Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages, Aloysius Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, and Honguk Woo. IEEE Transactions on Software Engineering (TSE), 2004.
  　
• 컴퓨터 저널:
  Monitoring of Timing Constraints with Confidence Threshold Requirements, Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana. IEEE Transactions on Computers, 2007.

• 실시간 시스템 컨퍼런스:
  A Generic Framework for Monitoring Timing Constraints over Uncertain Events, Honguk Woo, Aloysius Mok, and Chan-Gun Lee. Proc. of IEEE Real-Time Systems Symposium (RTSS), 2006.
   
  Monitoring of Timing Constraints on Time Intervals, Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana. Proc. of IEEE Real-Time Systems Symposium (RTSS), 2002.

수상경력

• 한국고등교육재단 정보통신분야 해외유학 장학생, 1999-2005.
• 현대전자 주최 전국 대학생 프로그램 공모전 단체전 금상, 1994.
• 중앙대학교 수림 장학생, 1991-1993.