도경구 교수의 연구 프로젝트

연구 프로젝트

  • 연구실 창업 : Softopia
    창업일 : 2013.10.18
    누적 매출 : 187,500,000원 (2015년 10월 현재)

완료된 프로젝트

  • IITP IT/SW 창의연구과정
    과제명: "모바일 앱 소스코드 보안취약점 자동탐지도구 개발"
    2014.06.01-2015.05.31(1년)
    연구비: 77,000,000원
  • 교육과학기술부지원 우수연구센터(ERC: Engineering Research Center)
    소프트웨어무결점연구센터 (ROSAEC: Research On Software Analysis for Error-free Computing) 참여연구실
    세부과제명: "소프트웨어 소스 특질 자동 추출 기술 개발"
    연구책임자: 도경구
    2008.09.01-2012.02.28(1차:4년)
    2012.03.01-2014.02.28(2차:2년)
    연구비: 288,500,000원 (40+50+70+60+8.5+60)
  • 지티원(주) 산학협력연구
    "COIL언어의 자료흐름분석 고도화"
    도경구(책임)
    2011.07.01-2012.02.29
    연구비: 50,000,000원
  • 중소기업청 기업부설연구소 지원사업
    과제명: "웹응용소프트웨어 보안취약성 정밀진단 기술 개발"
    2010.06.01-2012.05.31(2년)
    연구비: 100,025,000원 (총 400,100,000원)
  • 한국인터넷진흥원(KISA) 행정안전부 정보시스템 보안성강화체계 구축 사업
    과제명: "소프트웨어 취약성 점검도구 및 보안성강화지원시스템 개발"
    수행기관: 지티원, 파수닷컴
    2010.07.01-2010.12.31
  • 한국인터넷진흥원(KISA) 행정안전부 정보시스템 보안강화체계 구축 사업
    수행기관: 지티원, 파수닷컴, 정보보호학회 소프트웨어보안연구회
    2009.09.01-2009.12.31
  • 교육과학기술부지원 2단계 BK21 핵심 사업
    "고신뢰성 환경적응형 정보시스템 개발 사업"
    박성주(책임), 도경구, 김태형, 이욱세
    2006.03.01-2009.02.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, 연구비: 6천9백6십만원
  • O 언어 프로그램에 대한 요약기술 개발 및 USA개선, 도경구(책임), 이욱세, 아이티플러스(주) 산학협력연구, 2005.07.01~09.30, 연구비: 3천만원
  • Java 프로그램의 문자열 분석기 구현(2차), 도경구(책임), 이욱세, 아이티플러스(주) 산학협력연구, 2004.04.01-2004.09.30(2차), 연구비: 3천만원
  • Java 프로그램의 문자열 분석기 구현(1차), 도경구(책임), 아이티플러스(주) 산학협력연구, 2003.10.01-2004.03.31(1차), 연구비: 3천만원
  • 인텔리전스 모니터링 시스템 기술 개발, 오희국(책임), 도경구, 손진현, 한양대학교 교내연구특성화연구팀공모사업, 2003.11.01-2005.10.30, 연구비: 9천만원
  • 콤비카드 응용시스템 개발 - 지불시스템 연구, 인텍크산업(주), 산업자원부 산업기술개발사업, 2002.12.01-2003.11.30
  • 프로그램 안전성을 위한 정형 증명 기술, 과학재단 [참여연구원], 2000.09.01-2003.08.31
  • 전자지불 기술동향 분석 및 표준화 로드맵 작성, 한국전자지불포럼, 2003.01.01-2003.03.31
  • 개방형 전자화폐 시스템의 요구분석 및 설계, 효성(주), 산업자원부 산업기반기술개발사업, 1999.12.01-2002.09.30
  • 액숀 의미구조 정의를 통한 특수목적용 언어의 설계, 한양대학교 교내연구비, 2001.07.01-2002.06.30
  • 전자화폐 표준화 동향, 한국전자지불포럼, 2002.01.01-2002.06.30
  • Java Card 기술동향 연구, 아이티플러스(주), 2001.06.01-2001.10.31
  • 저작권 보호를 위한 전자출판물 파일시스템 개발, 아이티플러스(주), 1999.03.01-2000.12.31
  • 통신망을 활용한 다중 로봇 시스템 제어 및 요소기기 개발, 정보통신부 정보통신우수시범학교지원사업 [참여연구원], 1999.06.01-2000.05.31
  • 전자상거래를 위한 지불시스템의 기술 동향 및 요소 기술 분석, 펜타시스템테크놀로지(주) [참여연구원], 1998.08.11-1999.08.10
  • Haskell의 부분계산기 설계 및 구현, 정보통신부 대학기초 연구과제, 1996.07.01-1999.06.30
  • 액숀 의미구조를 통한 객체지향 언어의 정형적 의미구조 연구, 한양대학교 교내연구비, 1998.05.01-1999.04.30
  • Action semantis 처리시스템의 설계와 구현, 한국과학재단 핵심전문 연구과제, 1997.03.01-1999.02.28
  • 한국형 전자화폐를 활용한 유통시스템 모델 연구, 한국정보통신진흥협회, 1997.07.01-1997.11.30
  • 공기압축기 운전상태 점검 및 제어용 데이터 관리 시스템 개발, 안산시, 한신기계공업(주), 1996.08.01-1997.07.31
  • 인터넷 폰/팩스의 최근 동향 및 추진방향, 서울이동통신(주) [참여연구원] , 1996.10.01-1996.12.31
  • 액숀의미론을 이용한 프로그래밍언어 개발방법론 연구, 한양대학교 공학기술연구소, 1995.10.01-1996.09.30
  • 프로그래밍언어 개발자를 위한 워크벤취, 한양대학교 교내연구비, 1995.09.01-1996.08.31