29224213

도경구 | 都敬九

  • Professor, Division of Computer Science, College of Computing, Hanyang University ERICA
  • Head, Programming Languages Laboratory (a.k.a. PLASSE Research Laboratory), Hanyang University ERICA
  • CEO, Softopia, Inc.
  • ERICA 2.0 자문위원
  • 한국저작권위원회 소프트웨어 감정전문위원

Degree

  • Ph.D. in Computer Science, Kansas State University, 1992. Dissertation: Action Semantics-Directed Prototyping (supervised by David A. Schmidt)
  • M.S. in Computer Science, Iowa State University, 1987. Thesis: Generating a Standard Representation from Pascal Programs (supervised by James Bieman)
  • B.E. in Industrial Engineering, Hanyang University, 1980.

Career

  • CEO, Softopia Inc., 2013.10.18 ~
  • Professor, Associate Professor, Assistant Professor, Division of Computer Science, College of Computing, Hanyang University ERICA, 1995.9 ~
  • Dean, College of Computing, Hanyang University ERICA, 2016.9 ~ 2018.12
  • Director, SMaSH (Software Maven School at Hanyang), 2012.7 ~ 2016.2
  • Visiting Scholar, Department of Computer Science, University of California Davis, U.S.A., host: Professor Zhendong Su, 2005.3 ~ 2006.2
  • CEO, Smart Card Laboratory, 2000.9 ~ 2001.12
  • Assistant Professor, University of Aizu, Japan, 1993.4 ~ 1995.8
  • Teaching & Research Assistant, Kansas State University, U.S.A., 1987.1 ~ 1992.12
  • Master’s degree student in Industrial Engineering, Hanyang University, 1982.9 ~ 1984.2
  • Artillery Officer (ROTC 18), Republic of Korea Army, 1980.3 ~ 1982.6

Award

  • 도경구, 행정안전부 장관 표창, 제9905호, 2009.12.29
  • 도경구, 변석우, 신승철, 정주희: 가헌학술상, 한국정보과학회/가헌신도리코재단, 2004.10.22

Research Interests

  • Programming language design workbench
  • Domain-specific language design
  • Program analysis : String analysis
  • Grammatical inference
  • Software security

Publication

String analysis

  • Hyunha Kim, Kyung-Goo Doh, David A. Schmidt: Static validation of dynamically generated HTML documents based on abstract parsing and semantic processing, SAS’13, In Proceedings of the 20th International Symposium on Static Analysis, Seattle, Washington, June 20-22, Lecture Notes in Computer Science 7935:194-214, Springer, 2013.

  • Kyung-Goo Doh, Hyunha Kim, David A. Schmidt: Abstract LR-parsing, Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, Menlo Park, California, Nov.3-4, Lecture Notes in Computer Science 7000:90-109, Springer, 2011.

  • Kyung-Goo Doh, Hyunha Kim, David A. Schmidt: Abstract parsing: static analysis of dynamically generated string output using LR-parsing technology, SAS’09, In Proceedings of the 16th International Symposium on Static Analysis, Los Angeles, California, USA, August 9-11, Lecture Notes in Computer Science 5673:256-272, Springer, 2009.

  • Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh: A practical string analyzer by the widening approach, APLAS’06, In Proceedings of the 4th Asian Symposium on Programming Languages and Systems, Sydney, Australia, November 8-10, Lecture Notes in Computer Science 4279:374-388, Springer-Verlag, 2006.

Programming Language Design

  • Kyung-Goo Doh, David A. Schmidt: An action semantics based on two combinators, Semantics and Algebraic Specification - Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 5700:274-296, Springer, 2009.

  • Kyung-Goo Doh, Peter D. Mosses: Composing programming languages by combining action-semantics modules, Science of Computer Programming 47(1):3-36, Elsevier Science Publishers, April, 2003. [Ranked 7th among the most downloaded articles of the journal in 2003]. [An earlier, different version is published in Proceedings of LDTA2001, Workshop on Language Design, Tools and Applications, Genova, Italy, April 7, Electronic Notes in Theoretical Computer Science, 44(2):87-109, Elsevier Science Publishers, June 2001].

  • Kyung-Goo Doh, Hyun-Goo Kang: Online partial evaluation of actions, IWAS’99, In Proceedings of 2nd International Workshop on Action Semantics, Amsterdam, Netherland, March 21, BRICS Notes Series NS-99-3, pp.71-88, 1999.

  • Kyung-Goo Doh: Action transformation by partial evaluation, PEPM’95, In Proceedings of ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, La Jolla, California, U.S.A., June 21-22, ACM Press, pp.230-240, 1995.

  • Kyung-Goo Doh, David A. Schmidt: The facets of action semantics: some principles and applications, IWAS’94, In Proceedings of International Workshop on Action Semantics, Edinburgh, Scotland, April 14, BRICS Notes Series NS-94-1, University of Aarhus, Denmark, pp.1-15, 1994.

  • Kyung-Goo Doh: Action semantics: a tool for developing programming languages, InfoScience’93, In Proceedings of International Conference on Information Science and Technology, Seoul, Korea, October 21-22, Korea Information Science Society, pp.432-439, 1993.

  • Kyung-Goo Doh, David A. Schmidt: Action semantics-directed prototyping, Computer Languages, 19(4):213-233, Pergamon Press, 1993.

  • Kyung-Goo Doh, David A. Schmidt: Extraction of strong typing laws from action semantics definitions, ESOP’92, In Proceedings of European Symposium On Programming, Rennes, France, February 26-28, Lecture Notes in Computer Science 582:151-166 , Springer-Verlag, 1992.

Software Security

  • Suman Saha, Shizhen Jin, Kyung-Goo Doh: Detection of DOM-based cross-site scripting by dynamically extracted scripts, In Proceedings of International Conference on Information Science and Technology, Part 2, pp.487-491, Shanghai, China, April 2012.

  • Ho-Gil Song, Yukyong Kim, Kyung-Goo Doh: Automatic detection of access control vulnerabilities in Web applications by URL crawling and forced browsing, In Proceedings of International Conference on Information Science and Technology, Part 2, pp.482-486, Shanghai, China, April 2012.

  • Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh: A programming environment for ubiquitous computing environment, ACM SIGPLAN Notices, 42(4):14-22, April, 2007.

  • Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh: A policy description language for context-based access control and adaptation in ubiquitous environment, TRUST’06, 1st International Workshop on Trustworthiness, Reliability and Services in Ubiquitous and Sensor Networks, Seoul, Korea, Aug 1-4, Proceedings of EUC Workshops: Lecture Notes in Computer Science 4097:650-659, Springer-Verlag, 2006.

  • Kyung Goo Doh, Seung Cheol Shin: Detection of information leak by data flow analysis, ACM SIGPLAN Notices, 37(8): 66-71, ACM Press, August, 2002.

Software Engineering

  • Hyo-Sub Lee, Myung-Ryul Choi, Kyung-Goo Doh: Tree-Pattern-Based Clone Detection with High Precision and Recall, KSII Transactions on Internet and Information Systems 12(5):1932-1950, 2018.

  • Hyo-Sub Lee, Kyung-Goo Doh: Tree-pattern-based duplicate code detection, DSMM’09, In Proceedings of the ACM First International Workshop on Data-intensive Software Management and Mining, pp.7-12, Hong Kong, November 6, 2009.

  • Muhammad Saleem, Kyung-Goo Doh: Generic information system using SMS gateway, Fourth International Conference on Computer Sciences and Convergence Information Technology, 2009.

  • Noman Zahid, Muhammad Shahid Ansari, Kyung-Goo Doh: Transaction synchronization protocol using XML in client-server environment, DSMM’09, In Proceedings of the ACM First International Workshop on Data-intensive Software Management and Mining, pp.19-20, Hong Kong, November 6, 2009.

  • Muhammad Shahid Ansari, Noman Zahid, Kyung-Goo Doh: A comparative analysis of XML schema languages, In: Ślęzak D., Kim T., Zhang Y., Ma J., Chung K. (eds) Database Theory and Application. DTA 2009. Communications in Computer and Information Science, vol 64. Springer, Berlin, Heidelberg, pp.41-48, 2009.

  • Kyung-Goo Doh, James Bieman, Albert Baker: Generating A Standard Representation From Pascal Programs, Technical Report #86-15, Department of Computer Science, Iowa State University, December 1986.

Service-Oriented Computing

  • Yukyong Kim, Yongtae Shin, Kyung-Goo Doh: Quantitative trust management with QoS-aware service selection, International Journal of Web and Grid Services, 11(3): 247-264, 2015.

  • Yukyong Kim, Kyung-Goo Doh: Use-case driven service modelling with XML-based tailoring for SOA, International Journal of Web and Grid Services, 9(1):35-53, 2013.

  • Yukyong Kim, Kyung-Goo Doh: Pragmatic granularity decision for right-grained services in service-oriented modelling, International Journal of Web and Grid Services, 8(2):111-133, 2012.

  • Yukyong Kim, Kyung-Goo Doh: A trust management model for QoS-based service selection, WISA’12, In Proceedings of the 13th International Workshop on Information Security Applications, Jeju, Korea, August 16-18, Lecture Notes in Computer Science 7690:345-357, Springer, 2012.

  • Yukyong Kim, Kyung-Goo Doh: Formal identification of right-grained services for service-oriented modeling, WISE’09, In Proceedings of 10th International Conference on Web Information Systems Engineering, Poznan, Poland, October 5-7, Lecture Notes in Computer Science 5802:261-273, Springer, 2009.

  • Yukyong Kim, Kyung-Goo Doh: An approach to modeling context-adaptable services, KES’07, In Proceedings of 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, Vietri sul Mare, Italy, September 12-14, Lecture Notes in Computer Science, 4694:626-633, Springer, 2007.

  • Yukyong Kim, Kyung-Goo Doh: The service modeling process based on use case refactoring, BIS’07, In Proceedings of 10th International Conference on Business Information Systems, Poznan, Poland, April 25-27, Lecture Notes in Computer Science 4439:108-120, Springer, 2007.

Editorial

  • Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff: Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, September 19-20, EPTCS 129, 2013.

Domestic Publication

논문

  • 박건우, 홍성문, 김현하, 도경구, “트리 기반 컨볼루션 신경망을 이용한 BigCloneBench 개선”, 한국소프트웨어감정평가학회논문지, 제15권, 제1호, 43~53, 2019년 6월
  • 홍성문, 김현하, 이제형, 박성우,모지환, 도경구, “공통 토큰에 기반한 서로 다른 언어의 유사성 검사”, 한국소프트웨어감정평가학회논문지, 제14권, 제2호, 35~44, 2018년 12월 (우수논문상 수상, 제2019-A01호, 2019년 5월 17일)
  • 최성하, 도경구, “벨론 레퍼런스 코퍼스를 기준으로 exEyes의 재현율 평가”, 한국소프트웨어감정평가학회논문지, 제11권, 제1호, 31~40, 2015년 6월
  • 이효섭, 도경구, “CCR: 트리패턴 기반의 코드클론 탐지기”, 한국소프트웨어감정평가학회논문지, 제8권, 제2호, 13~28, 2012년 12월
  • 김현하, 김유경, 도경구, “SOA를 위한 모델기반 취약점 분석”, 한국소프트웨어감정평가학회논문지, 제8권, 제2호, 45~52, 2012년 12월
  • 이효섭, 도경구, “코드클론 표본 집합체 자동 생성기”, 한국소프트웨어감정평가학회논문지, 제7권, 제1호, 29~40, 2011년 6월
  • 김유경, 도경구, 주영도, “서비스 유연성을 높이기 위한 유스케이스 가변성 분석 기반의 SOA 서비스 모델링”, 한국소프트웨어감정평가학회논문지, 제6권, 제1호, 49~60, 2010년 5월
  • 이지연, 창병모, 안준선, 도경구, “상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근제어 시스템”, 정보처리학회논문지, 제15-A권, 제1호, 2008년 2월 29일
  • 최태형, 김정준, 도경구, “웹 응용프로그램의 삽입취약점 탐지를 위한 문자열분석”, 정보보호학회논문지, 제17권, 제6호, 2007년 12월
  • 이효섭, 도경구, 주영도, “AST를 기반으로 한 프로그램 클론 검출 방법”, 한국소프트웨어감정평가학회논문지, 제3권, 제1호, 35~42, 2007년 5월
  • 이효섭, 임흥태, 도경구, “프로그램 표절 탐지를 위한 프로그램 유사성 측정 방법 조사”, 한국소프트웨어감정평가학회논문지, 2005
  • 신승철, 변석우, 정주희, 도경구, “명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석”, 정보과학회논문지 : 소프트웨어 및 응용, 제31권, 제5호, 667-676, 2004.05 [가헌학술상 수상 논문]
  • 임흥태, 신승철, 도경구, “집합 제한식을 이용한 프로시저-내 정보흐름 안전성 분석”, 프로그래밍언어논문지, 제17권, 제3호, 67-76, 2003.11
  • 최성권, 신승철, 도경구, “정보 흐름에 대한 SSA 기반 분석”, 프로그래밍언어논문지, 제17권, 제3호, 77-84, 2003.11
  • 조순희, 신승철, 도경구, “바이트코드 정보흐름 분석기의 구현”, 프로그래밍언어논문지, 제16권, 제3호, 55-62, 2002.10
  • 조영갑, 도경구, 신승철, “SMV를 이용한 정보 흐름 안전성의 모델 검사”, 프로그래밍언어논문지, 제15권, 제2호, 39-48, 2001.11
  • 도경구, “액숀의미표기법을 통한 객체의 이해”, 정보처리논문지, 제7권, 제12호, 3976-3985, 2001.12
  • 도경구, “액숀의미방식에 의한 언어모듈의 정의와 확장”, 정보과학회논문지:소프트웨어 및 응용, 제27권, 제8호, 902-911, 2000.08
  • 강현구, 도경구, “액숀의 온라인 부분계산”, 정보과학회논문지(B), 제26권, 제12호, 1531-1541, 1999.12

Project

  • [SW중심대학 산학R&D프로젝트, 지티원] 기계학습을 이용한 전천후 문법무지 파싱 기법 연구, 2019.1.1-12.31, 50,000,000원
  • [SW중심대학 산학R&D프로젝트, 지티원] 다양한 언어에 느슨하게 대응하는 파서에 대한 연구, 2018.4.1-11.30, 50,000,000원
  • [국가보안기술연구소 위탁과제] 정적 기반 안드로이드 앱의 메소드 데이터 추적 기술 연구, 2017.5.1-10.31, 40,000,000원
  • [사제동행 창의학술연구] 이제형, 박성우, 모지환, 기계학습을 활용한 그래프기반 패턴탐지 검출, 2017.10.1-12.31
  • [지티원(주)] 문법구조기반 문자열 분석 엔진의 성능 테스트 및 안정화, 기타 고도화 (책임), 2015.08.01-20125.12.31, 30,000,000원
  • [IITP IT/SW 창의연구과정] 모바일 앱 소스코드 보안취약점 자동탐지도구 개발 (책임), 2014.06.01-2015.05.31, 77,000,000원
  • [교육과학기술부지원 ERC] 소프트웨어무결점연구센터, 세부과제: 소프트웨어 소스 특질 자동 추출 기술 개발 (책임), 2008.09.01-2014.02.28(6년), 288,500,000원 (40+50+70+60+8.5+60)
  • [KISA 위탁과제] SW 및 모바일 앱 보안약점 진단규칙 개선, 2012.10~12, 40,000,000원
  • [지티원(주)] COIL언어의 자료흐름분석 고도화 (책임), 2011.07.01-2012.02.29, 50,000,000원
  • [중소기업청 기업부설연구소 지원사업] 웹응용소프트웨어 보안취약성 정밀진단 기술 개발 (책임), 2010.06.01-2012.05.31(2년), 100,025,000원 (총 400,100,000원)
  • [KISA 행정안전부 정보시스템 보안성강화체계 구축 사업] 소프트웨어 취약성 점검도구 및 보안성강화지원시스템 개발,
    • 제1차: 2009.09.30-2009.12.31 (지티원, 파수닷컴, 정보보호학회 소프트웨어보안연구회)
    • 제2차: 2010.07.01-2010.12.31 (수행기관: 지티원, 파수닷컴)
  • [교육과학기술부 2단계 BK21 핵심 사업] 고신뢰성 환경적응형 정보시스템 개발 사업, 박성주(책임), 도경구, 김태형, 이욱세, 2006.3.1-2009.2.28(3년), 174,000,000원 (총 696,000,000원)
  • [지티원(주)] 고성능 문자열분석기의 설계 및 구현 (책임), 2008.01.01-11.31, 69,600,000원
  • [특정기초연구: 과학기술부 기초과학연구사업] 유비쿼터스 컴퓨팅을 위한 프로그래밍 환경 연구, 창병모(책임), 도경구, 안준선, 2006.03.01-2009.2.28(3년), 110,000,000원 (총 330,000,000원)
  • [아이티플러스(주)] C 및 Java의 보안 취약점 분석기의 설계 및 핵심엔진 구현, 도경구(책임), 이욱세, 2006.09.01-2007.08.31, 69,600,000원
  • [아이티플러스(주)] O 언어 프로그램에 대한 요약기술 개발 및 USA개선, 도경구(책임), 이욱세, 2005.07.01~09.30, 30,000,000원
  • [아이티플러스(주)] Java 프로그램의 문자열 분석기 구현 (책임)
    • 1차: 2003.10.01-2004.03.31 (30,000,000원)
    • 2차: 2004.04.01-2004.09.30 (30,000,000원)
    • 3차: 2004.10.1-2004.12.31 (30,000,000원)
    • 4차:
  • [한양대학교 교내연구특성화연구팀공모사업] 인텔리전스 모니터링 시스템 기술 개발, 오희국(책임), 도경구, 손진현, 2003.11.01-2005.10.30, 90,000,000원
  • [산업자원부 산업기술개발사업, 인텍크산업(주)] 콤비카드 응용시스템 개발 - 지불시스템 연구, 2002.12.1-2003.11.30
  • [과학재단] 프로그램 안전성을 위한 정형 증명 기술 (참여), 2000.9.1-2003.8.31
  • [한국전자지불포럼] 전자지불 기술동향 분석 및 표준화 로드맵 작성, 2003.1.1-2003.3.31
  • [산업자원부 산업기반기술개발사업, 효성(주)] 개방형 전자화폐 시스템의 요구분석 및 설계, 1999.12.1-2002.9.30
  • [한양대학교 교내연구비] 액숀 의미구조 정의를 통한 특수목적용 언어의 설계, 2001.7.1-2002.6.30
  • [한국전자지불포럼] 전자화폐 표준화 동향, 2002.1.1-2002.6.30
  • [아이티플러스(주)] Java Card 기술동향 연구, 2001.6.1-2001.10.31
  • [아이티플러스(주)] 저작권 보호를 위한 전자출판물 파일시스템 개발, 1999.3.1-2000.12.31
  • [정보통신부 정보통신우수시범학교지원사업] 통신망을 활용한 다중 로봇 시스템 제어 및 요소기기 개발 (참여), 1999.6.1-2000.5.31
  • [펜타시스템테크놀로지(주)] 전자상거래를 위한 지불시스템의 기술 동향 및 요소 기술 분석, 1998.8.11-1999.8.10 (참여)
  • [정보통신부 대학기초 연구과제] Haskell의 부분계산기 설계 및 구현, 1996.7.1-1999.6.30
  • [한양대학교 교내연구비] 액숀 의미구조를 통한 객체지향 언어의 정형적 의미구조 연구, 1998.5.1-1999.4.30
  • [한국과학재단 핵심전문] Action semantics 처리시스템의 설계와 구현, 1997.3.1-1999.2.28
  • [한국정보통신진흥협회] 한국형 전자화폐를 활용한 유통시스템 모델 연구, 1997.7.1-1997.11.30
  • [안산시, 한신기계공업(주)] 공기압축기 운전상태 점검 및 제어용 데이터 관리 시스템 개발, 1996.8.1-1997.7.31
  • [서울이동통신(주)] 인터넷 폰/팩스의 최근 동향 및 추진방향, 1996.10.1-1996.12.31
  • [한양대학교 공학기술연구소] 액숀의미론을 이용한 프로그래밍언어 개발방법론 연구, 1995.10.1-1996.9.30
  • [한양대학교] 프로그래밍언어 개발자를 위한 워크벤치, 1995.9.01-1996.8.31

Book

저서

  • [출판예정] 도경구, “프로그래밍 기초”, 생능출판사, 2019
  • 도경구, “컴퓨터입문: 제6장 - 컴퓨터언어와 프로그래밍”, 한양대학교 전산교재 편찬위원회, 한양대학교 출판원, 1996

역서

  • 도경구, “알고리즘 기초” 제4판, 홍릉출판사, 2014 (ISBN 979-11-5600-012-9) : Richard Neapolitan, Kumarss Naimipour, Foundations of Algorithms, 2011
  • 도경구, 신승철, 안준선, 이욱세, “프로그래밍 언어론 : 원리 + 유형”, 생능출판사, 2008 (ISBN 978-89-7050-602-9) : Allen B. Tucker, Robert E. Noonan, Programming Languages: Principles and Paradigms, 2008
  • 오세만, 장천형, 표창우, 도경구, 최진영, “Big Java” 제2판, 생능출판사, 2006 (ISBN 89-7050-445-1) : Cay Horstmann, Big Java, 2006
  • 김정선, 도경구, 문영식, 오희국, 이동호, 최중민, “이공학도를 위한 C 프로그래밍”, 학술정보, 2005
  • 도경구, “알고리즘” 제3판 (Java 버전), 사이텍미디어, 2004 (ISBN 89-5550-143-9)
  • 도경구, “알고리즘” 제3판 (C++ 버전), 사이텍미디어, 2004 (ISBN 89-5550-140-4)
  • 김재훈, 도경구, 우균, 정덕길, 정민수, “컴파일러제작: 원리와 실제”, 영한출판사, 2002 (ISBN 89-87318-45-1)
  • 도경구, “알고리즘”, 사이텍미디어, 1999 (ISBN 89-88397-24-X)
  • 김정선, 도경구, 박성주, 오희국, 최중민, “C언어와 프로그래밍”, 교보문고, 1998 (ISBN 89-7085-249-2 93000)

Lecture

Undergraduate

  • CSE2020 음악프로그래밍 : 2019
  • ESS1017 Computational Civilization and Artificial Intelligence, HESS : 2019
  • CSE1017 프로그래밍기초 : 2010, 2011, 2012, 2014, 2015, 2016, 2017, 2018, 2019
  • ENE414 프로그래밍언어론 : 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2011, 2012, 2015, 2016, 2018
  • CUL0118 컴퓨팅사고와문제해결 : 2017
  • CSE2018 시스템프로그래밍기초 : 2016
  • CUL7070 프로그래밍개론 : 2015, 2016 (Online)
  • CSE2016 프로그램설계방법론 : 2014
  • CSE215 프로그램설계기초 : 2008, 2009
  • CSE107 논리학 : 2006, 2007, 2008, 2009, 2010, 2011
  • ECC203 고급프로그래밍(ML) : 2004, 2006, 2007
  • ECC203 고급프로그래밍(Haskell) : 2003
  • COM218 객체지향프로그래밍 : 2002
  • ECC203 고급프로그래밍(Java) : 2000, 2001
  • CSE3009 컴파일러구조 : 1999, 2000, 2014
  • CSE319 알고리즘해석 : 1995, 1996, 1997, 1998, 1999
  • 세미나 : 1997
  • COBOL(Java) : 1997
  • COBOL(ML) : 1996
  • 수치계산 : 1995

Graduate

  • CSE6035 Principles of Reactive Programming : 2014
  • CSE8045 Principles of Programming Languages : 2007, 2009, 2011, 2014
  • CSE879 소프트웨어보안특강 (Special Topics in Software Security) : 2010
  • CIN870 정형기법 (Logic in Computer Science) : 2002, 2004, 2006, 2008
  • CIN869 프로그램분석 (Principles of Program Analysis) : 2002, 2004
  • CSE845 로그래밍언어론 (Types and Programming Languages) : 2003
  • CSE856 프로그래밍언어의미론 (Semantics with Applications) : 1999, 2001, 2003
  • GHY801 전공세미나 (Programming in Haskell) : 2000
  • CSE857 컴파일러 (Partial Evaluation and Automatic Program Generation) : 2000
  • CSE845 프로그래밍언어론 (The Structure of Typed Programming Languages) : 1995, 1997, 1999
  • CSE848 계산이론 (Computability) : 1998
  • CSE857 컴파일러 (Modern Compiler Implementation) : 1998
  • CSE8?? 고급알고리즘해석 : 1996, 1997
  • CSE845 프로그래밍언어론 (Programming Language Concepts & Paradigms) : 1996

Service

한양대학교

  • ERICA 2.0 자문위원회 위원, 2019.3.1~2020.2.29
  • SW중심대학 사업단장, 2018.4.1~2018.12.31
  • 소프트웨어융합대학장, 2016.9.1~2018.12.31
  • SW특성화대학 사업단 SMaSH 총괄책임교수, 2012.7~2016.2
  • 기초융합교육원 컴퓨터교육주임, 2010.3~2014.2
  • 정보통신실장, 2010.8~2012.7
  • 공학교육인증 컴퓨터공학프로그램 피디교수, 2007.7~2009.6
  • 컴퓨터공학과 전공주임, 2002.8~2004.7
  • 인터넷창업보육센터 운영부장, 1999.8~2004.9
  • 창업보육센터 운영위원, 1997.3~1999.7

International Program

  • South Korea Summer Institute at Kansas State University
    • SMaSH1, June 26 ~ August 8, 2013
    • SMaSH2, June 26 ~ August 8, 2014
    • SMaSH3, June 25 ~ August 7, 2015

학회

  • 한국정보과학회 (KIISE: Korea Institute of Information Scientists and Engineers)
    • 종신회원, 1996~
    • 이사, 2009.1~2011.2
    • 프로그래밍언어연구회(SIG on Programming Languages)
      • 운영위원, 1996~
      • 총무, 2002~3
      • 운영위원장, 2004~5
      • 감사, 2006~
    • 초중고정보과학교육위원, 2013.12.20~2015.12.20
    • 논문지 편집위원, 2002~3, 2007~9
    • 학회지 편집위원, 1997~8
  • 한국정보보호학회 (KIISC)
    • 종신회원, 1998~
    • 부회장, 2014~5
    • 이사, 1998~
      • 회원관리이사, 2005~6
      • 국내학술이사, 2004
    • 논문지 편집위원, 2004~7
    • 소프트웨어보안연구회(SIG on Software Security)
      • 운영위원장 2004, 2009~11
  • 한국소프트웨어감정평가학회 (Korea Software Assessment and Valuation Society)
    • 회원, 이사 2004.5~
    • 부회장, 2005~7
    • 수석부회장, 2008
    • 회장, 2009
    • 유사도포렌식연구회 위원장, 2010~
    • SW 저작권 및 분쟁조정 자문위원
  • 대한전자공학회
    • 전자계산연구회 운영위원, 1997~8

사회 활동

  • 한국저작권위원회
    • 감정전문위원 2010.3.23~2021.9.13
    • 감정인 2012.3.2~2018.3.1
    • 저작권정보센터 기술위원, 2009.12.22~2011.10.21
  • Myanmar KSP, 2017
  • 국가정보원 정보보호시스템인증위원회 위원, 2004
  • 한국전자지불산업협회 전자화폐분과위원회 위원장, 2003.1~2004.7
  • 한국전자지불포럼 전자화폐분과위원회 카드응용워킹그룹장, 2002
  • 산업표준심의회 정보통신분과 심의위원, 2001~2003
  • 안산테크노파크, 정보통신팀장, 1999.8~2000.2
  • 소비자문제를 연구하는 시민의 모임 안산지부 운영위원, 1997~2002
  • 농어촌진흥공사 농어촌연구원 자문위원, 1997.8~1999.12

Contact Points

  • Office: 제4공학관 #320 (phone: +82-31-400-5667, fax: +82-031-400-3850)
  • Email: doh at {hanyang.ac.kr, ehanyang.ac.kr}
  • Address(Kor): 경기도 안산시 상록구 한양대학로 55 소프트웨어융합대학 (우편번호: 15588)
  • Address(Eng): College of Computing, 55 Hanyangdaehak-ro, Sangnok, Ansan, 15588, Gyeonggi, Republic of Korea