정민수 연구실
컴퓨터공학부
정민수
정민수 연구실은 컴퓨터공학과를 기반으로 컴파일러, 프로그래밍 언어, 임베디드 시스템, 스마트카드, 모바일 결제 등 다양한 정보통신기술 분야에서 선도적인 연구를 수행하고 있습니다. 연구실은 오랜 기간 축적된 이론적 기반과 실무 경험을 바탕으로, 소프트웨어의 핵심인 컴파일러 이론과 프로그래밍 언어 최적화, 코드 생성, 정적 분석 등 기초 연구를 심도 있게 진행하고 있습니다.
특히, 자바카드와 스마트카드 기술을 활용한 임베디드 시스템 보안 연구에 강점을 가지고 있습니다. 스마트카드의 운영체제, 가상머신, 파일 시스템, 인증 프로토콜 등 다양한 요소를 설계 및 구현하며, 실시간성과 안전성을 동시에 확보하는 혁신적인 기술을 개발하고 있습니다. 이러한 연구는 전자뱅킹, 모바일 결제, 명품 인증 등 실생활에 밀접한 응용 분야로 확장되고 있습니다.
또한, 연구실은 NFC(근거리 무선통신) 기반의 모바일 결제 시스템, 모바일 쿠폰 관리, 사용자 인증 등 차세대 정보통신 서비스 개발에도 주력하고 있습니다. USIM 기반의 안전한 결제 기술, 경량 인증 알고리즘, 정보 노출 방지 기법 등 보안성과 효율성을 동시에 만족시키는 솔루션을 제시하며, 실제 산업체와의 협력 프로젝트 및 특허 출원을 통해 기술의 상용화와 확산에 기여하고 있습니다.
연구실의 다양한 연구 성과는 국내외 학술지, 특허, 정부 및 산업체 지원 프로젝트 등으로 이어지고 있으며, 정보과학회, 멀티미디어학회 등 여러 학술단체와의 협력을 통해 학문적 깊이와 실용성을 동시에 추구하고 있습니다. 이러한 활동을 통해 연구실은 차세대 IT 인재 양성과 미래 정보통신기술 발전에 중추적인 역할을 하고 있습니다.
앞으로도 정민수 연구실은 컴파일러 및 프로그래밍 언어, 임베디드 시스템 보안, NFC 및 모바일 결제 등 핵심 연구 분야에서 혁신적인 성과를 창출하며, 국내외 정보통신기술 발전을 선도하는 연구실로 자리매김할 것입니다.
컴파일러 및 프로그래밍 언어 연구
정민수 연구실은 컴파일러 이론과 프로그래밍 언어 설계 및 구현 분야에서 오랜 기간에 걸쳐 심도 있는 연구를 수행해왔습니다. 컴파일러의 핵심 알고리즘, 코드 생성, 최적화, 정적 분석 등 다양한 주제를 다루며, 특히 자바와 같은 현대적 언어의 바이트코드 최적화, 스택맵 분석, 동적 컴파일링 기법 등 실질적인 성능 향상에 초점을 맞추고 있습니다. 이러한 연구는 소프트웨어의 실행 효율성을 극대화하고, 다양한 하드웨어 환경에서의 호환성과 안정성을 확보하는 데 중요한 역할을 합니다.
연구실은 CHILL, Java, ARM 기반 언어 등 다양한 프로그래밍 언어와 플랫폼에 대한 분석 도구와 최적화 기법을 개발해왔습니다. 예를 들어, 자바 바이트코드의 네트워크 기반 프로파일링 시스템, 자바 클래스 파일 브라우저, 동적 컴파일러 설계 등은 실제 산업 현장에서 활용 가능한 기술로 발전하였습니다. 또한, 컴파일러의 오류 복구, 코드 생성기 자동화, 트리 패턴 매칭 등 이론적 연구도 병행하여 학문적 깊이와 실용성을 동시에 추구하고 있습니다.
이러한 연구 성과는 국내외 학술지 및 특허로 다수 발표되었으며, 정보과학회, 멀티미디어학회 등 다양한 학술단체와의 협력을 통해 지속적으로 확장되고 있습니다. 연구실의 컴파일러 및 프로그래밍 언어 연구는 차세대 소프트웨어 개발 환경의 기반을 마련하고, 미래 지향적 IT 인재 양성에도 크게 기여하고 있습니다.
스마트카드 및 임베디드 시스템 보안
정민수 연구실은 스마트카드, 자바카드, USIM 등 임베디드 시스템 기반의 보안 기술 개발에 집중하고 있습니다. 스마트카드는 전자뱅킹, 모바일 결제, 명품 인증 등 다양한 분야에서 활용되며, 연구실은 이러한 스마트카드의 성능 개선과 보안성 강화를 위한 운영체제, 가상머신, 파일 시스템, 인증 프로토콜 등을 설계 및 구현해왔습니다. 특히, 자바카드의 메모리 관리, 트랜잭션 처리, 캐시 기법 등은 실시간성과 안전성을 동시에 확보하는 데 중요한 역할을 합니다.
연구실은 USIM 기반의 안전한 NFC 전자결제 기술, 모바일 쿠폰 관리 시스템, 스마트카드를 이용한 위조품 방지 인증 시스템 등 실생활에 밀접한 응용 연구도 활발히 진행하고 있습니다. 이러한 연구는 특허로도 다수 등록되어 있으며, 실제 산업체와의 협력 프로젝트를 통해 상용화 및 기술 이전이 이루어지고 있습니다. 또한, 스마트카드 기반의 암호화 알고리즘, 안전한 사용자 인증, 오프라인 및 온라인 환경에서의 라이선스 관리 등 다양한 보안 이슈를 해결하기 위한 창의적인 접근법을 제시하고 있습니다.
이러한 임베디드 시스템 보안 연구는 사물인터넷(IoT), 모바일 환경, 홈 네트워크 등 차세대 정보통신 인프라의 신뢰성과 안전성을 높이는 데 필수적인 기반 기술로 자리매김하고 있습니다. 연구실은 앞으로도 스마트카드 및 임베디드 보안 분야에서 선도적인 역할을 지속적으로 수행할 계획입니다.
NFC 및 모바일 결제 시스템
정민수 연구실은 근거리 무선통신(NFC) 기술과 이를 활용한 모바일 결제 시스템 개발에 주력하고 있습니다. 최근 모바일 환경의 급격한 발전과 함께, NFC는 스마트폰을 이용한 간편 결제, 모바일 쿠폰, 사용자 인증 등 다양한 서비스의 핵심 인프라로 부상하고 있습니다. 연구실은 Android 플랫폼 기반의 NFC 라이브러리 실시간 처리, 안전한 모바일 결제 프로토콜, 사용자 중심의 인증 시스템 등 실용적이고 혁신적인 기술을 개발해왔습니다.
특히, USIM 기반의 안전한 NFC 전자결제 기술 개발 프로젝트를 수행하며, 해시 함수와 XOR 연산을 활용한 경량 인증 알고리즘, 정보 노출 방지 기법 등 보안성과 효율성을 동시에 만족시키는 솔루션을 제시하였습니다. 또한, 모바일 쿠폰 관리 시스템, 스마트카드와 연계된 위조품 검증 시스템 등 다양한 응용 사례를 통해 실제 산업 현장에 적용 가능한 기술을 실현하고 있습니다.
이러한 연구는 특허 출원 및 등록, 정부 및 산업체 지원 프로젝트 등으로 이어지며, 국내외 학술지와 학회에서 활발히 발표되고 있습니다. 연구실의 NFC 및 모바일 결제 시스템 연구는 미래의 스마트 사회 구현에 필수적인 기술로, 사용자 편의성, 보안성, 확장성을 모두 갖춘 차세대 정보통신 서비스의 발전에 크게 기여하고 있습니다.
1
A study on electronic-money technology using near field communication
Jung, M.S.
Symmetry, 2015
2
Silicon Carbide-Based Hydrogen Gas Sensors for High-Temperature Applications
Kim, S, Choi, J, Jung, M, Joo, S
SENSORS, 2013
3
Efficient mobile payment using near field communication
정민수, 이윤석, 김은
AMM, 2013
1
무인 멀티콥터 탑재용 보급형 미들웨어 상용화 제품 개발
