상담 시간
목, 금 - 1:30-3:30
관심연구분야
프로그래밍언어, 프로그램 분석, 소프트웨어 보안, 소프트웨어 공학, 소프트웨어 감정평가, 프로그래밍언어 의미표기법
늬우스
[Program Committee] LDTA 2012, SERA 2011,
SSIRI 2011,
LDTA 2011.
[출장] David Schmidt, Kansas State University, USA, 2012년 2월 8~18일
[강의] 프로그래밍언어 패러다임의 이해, 프로그래밍언어연구회 겨울학교, 무섬마을, 2012년 2월 2~4일
[참가] ROSAEC 7th Workshop, 홍콩과기대, 2012년 1월 16~17일
[발표] 외형적 표현과 내재적 표현의 실질적 유사성 판단기준, 소프트웨어감정평가학회 추계학술대회, 강릉원주대, 2011년11월17일
[발표] Abstract LR-parsing, Festschrift in Honor of Carilyn Talcott, Menlo Park, California, Nov. 3, 2011, LNCS 7000
[발표] 소스코드 보안 취약성 진단 최신 기술 및 자동화도구, NETSEC-KR, 서울 코엑스, 2011년 4월 27일
[발표] 시큐어코딩과 소스코드 보안취약성 진단 기술, 인터넷침해대응기술연구센터, 충남대, 2011년 3월 22일
[발표] 소스코드 보안 취약성 진단 최신 기술 및 자동화도구 개발 현안, Software Security Symposium 2010, 한국광고문화회관, 서울, 2010년 12월 9일
[발표] Code Clone Ransacker (CCR): 트리기반 코드클론 수집기, 한국소프트웨어감정평가학회 추계학술발표대회, 이화여대, 서울, 2010년 11월 19일
[발표] 시큐어코딩 기술동향, "시큐어코딩제도" 마련을 위한 토론회, 프레스센터, 서울, 2010년 11월 17일
[참가] ROSAEC 4th Workshop, 속초, 2010년 8월 25~28일
[참가] 한국소프트웨어감정평가학회 춘계학술발표대회, ETRI, 대전, 2010년 6월 18일
[참가] ROSAEC 3rd Workshop, 제주, 2010년 1월 7~9일
[수상] 행정안전부장관표창, 제9905호, 2009년 12월 29일
[기사]
한양의 맥박을 찾아서 67, Weekly Hanyang, 2003
직책
한양대학교
ERICA캠퍼스
공학대학
컴퓨터공학과
교수