프로그래밍 언어 연구실은 개발자들이 고품질의 소프트웨어를 설계 및 구현할 수 있도록 지원해주는 다방면의 프로그래밍 언어 기술을 연구합니다.
- 프로그램 분석: 프로그램의 행동을 자동으로 분석하여, 소프트웨어 취약성 및 결함을 자동으로 검출하는 기술입니다.
- 기계화 명세: 인간 친화적인 명세와 기계 친화적인 소프트웨어 사이의 간극을 좁혀주는 기술입니다.
- 프로그램 합성: 명세에 부합하는 프로그램을 자동으로 합성하여 소프트웨어 개발자들의 업무 효율성을 높여주는 기술입니다.
- 테스트 자동화: 개발자를 대신하여 자동으로 테스트를 생성하여 소프트웨어의 품질을 보장해주는 기술입니다.
The research interests include mobile computing, machine learning, deep learning, Internet of Things (IoT) and data-driven optimization. The research lab is System Intelligence & Networking Group (SING), working on various research projects on autonomous driving system, computer vision, mobile edge computing and vehicular networks.
본 연구실은 CPU 뿐만 아니라 FPGA를 활용하여 하드웨어기반 보안 및 가속화 연구를 수행합니다. FPGA를 이용하여 하드웨어 기반 빅데이터 처리 가속 및 보안성 향상 연구를 진행하였고, AI 가속기를 디자인해 SoC에 통합하는 연구 또한 진행하고 있습니다. 최근에는 Spectre 및 Meltdown과 같이 CPU자체 보안 결함 및 대응방법에 대해서 다양한 테스트베드를 두고 연구 중입니다.
연구실 주소
애기능생활관 320
연구소명
정보창의교육연구소
연구소 설립취지
최근 우리나라의 정보교육은 ‘컴퓨터 활용 중심의 교육’에서 ‘컴퓨팅사고(Computational Thinking) 중심의 교육’으로 방향 전환을 시도하고 있습니다. 이와 같은 정보교육의 방향 전환은 이미 우리가 속한 현대사회가 IT를 단순한 기기활용에 국한하는 것에서 벗어나 생활 속의 자연스러운 환경으로 인식하는 수준으로 접어들었다는 인식에서 출발합니다. 즉, 정보교육은 우리가 컴퓨팅 환경에서 어떻게 생각하고 행동해야 하는가 하는 문제, 정보사회를 선도할 미래지향적 사고가 무엇이며, IT 산업의 발달을 촉진시킬 수 있는 역량은 어디에서 오는가 하는 문제를 연구하고 대처방안을 가르치는 것이 핵심 입니다. 본 연구소는 현재 정보교육이 처한 상황과 시대적·사회적 요구를 반영하여 학생의 컴퓨팅 사고력을 향상시키기 위해 설립되었습니다.
연구소(단)장명
서태원
연구소 담당자(연락처)
김민철 (02-3290-2685)
연구소 사무실 위치
라이시움 305호
연구소 홈페이지 주소
http://cici.korea.ac.kr/
연구(사업) 분야 및 내용
교내 학생들을 위한 프로그램
교내 학생들을 위해 다양한 프로그램으로 협동심을 기르고, 컴퓨팅 사고 향상을 도모하는 프로그램을 개발하고 있습니다.
교사 임용을 대비한 세미나
정보과 교원 임용을 위하여 세미나를 통해 예비 교사들을 양성하고 있습니다.
교외 초·중등학생 SW 관심도 급증을 위한 프로그램
중등학교와 MOU를 맺어 소프트웨어 캠프와 SW 경진대회를 주관하여 학생들에게 성취감을 바탕으로 흥미를 유도하고 있습니다. SW 교육봉사단을 조직하여 멘토링 제도를 통해 멘토인 대학생에게는 소외된 학생에게 재능 기부와 더불어 봉사 정신을 고취 시키며, 멘티인 초중고 학생에게는 소프트웨어에 대한 관심과 흥미를 유발하여 컴퓨팅 사고를 통해 문제해결 능력 향상을 도모하고 있습니다.
컴퓨터 교육의 방법론, 교구 개발과 컴퓨터 기반을 둔 연구
디지털 컨버전스(convergence) 시대를 위한 새로운 교육방법을 연구하며, 유비쿼터스 교육환경의 변화에 대비한 새로운 교육방법을 연구하고 있습니다. 또한 정보창의교육으로 미래 시대의 주도권 확보를 위해 다양한 연구가 진행중입니다.
최근 연구(사업) 성과
교내 학생들을 위해 전공 신입생 소프트웨어 캠프 및 iOS 앱개발 해커톤을 개최하였습니다. ‘정보과’ 교원 임용 수업 시연 준비 세미나를 개최하여 교원 양성에 이바지하고 있습니다. SW봉사단 모집하여 초·중등 학생을 위해 서울대사대부중, 중앙고등학교, 이일여자고등학교 등에서 소프트웨어 캠프를 개최하였습니다. 매년 국내외 유수 학술지에 50 ~ 70여편의 논문을 게재하는 등 활발한 학술 연구가 진행중 입니다.
소프트웨어 분석 연구실은 안전하고 신뢰할 수 있는 소프트웨어를 만드는 기술을 연구합니다. 본 연구실은 프로그래밍 언 어에 대한 이해를 바탕으로 SW 자동 분석 기술, SW 자동 패치 기술, SW 자동 합성 기술을 연구하고 있으며 학술적으로는 소프트웨어 분야 최상위 학술대회 및 학술지에 연구 성과를 발표함과 동시에 국내외 기업과 연계하여 실제 문제 해결에 이 바지하고 있습니다.
클라우드컴퓨팅, 가상화, 결함포용시스템, 분산시스템, 엣지컴퓨팅
▣ 클라우드 컴퓨팅: 네트워크 기반 컴퓨팅 인프라의 가상 자원 관리 기술
• 가상머신의 QoS(Quality Of Service)와 SLA(Service Level Agreement)를 고려한 자원 관리 기술 연구 • 클라우드 서비스의 신뢰성 향상을 위한 가상자원 및 가상머신 결함포용 기술 연구
▣ GPU 가상화: 클라우드 환경에서 고성능 연산을 지원하는 GPU 관리 기술
• 클라우드 환경에서 대규모 병렬처리기술 지원을 위한 GPU 다중화 및 가상 GPU 메모리 관리 기술 연구 • 병렬 쓰레드 동기화 대기시간 감소를 위한 GPU 병렬처리 작업 스케줄링 기술 연구
▣ 엣지 컴퓨팅: 실시간성을 지원하는 엣지 클라우드 기술
• 실시간성 지원 모바일 자원의 효율적 사용을 위한 엣지 기술 연구
• 모바일 엣지에서 결함 탐지 및 복구 기술 연구
Operating Systems Lab has been selected as one of the national "SW StarLabs" that are designated and supported by Korea Government for its excellence in software research. Key research themes are intelligent clouds and network virtualization system. Intelligent clouds include followings: 1) intelligent processing of deep learning, 2) performance guarantees for scalable big data processing, and 3) blockchain-based security. Network virtualization system builds virtualized SDN technology that provides ultra-low latency, isolation of traffics, and programmability to tenants, that are in critically needed of 5G/6G services and beyond.
운영체제 연구실은 소프트웨어 연구의 탁월성을 인정받아, 대한민국 정부가 지정 및 지원하는 “SW StarLab”으로 선정되었습니다. 주요 연구 주제는 지능형 클라우드 및 네트워크 가상화 시스템입니다. 지능형 클라우드는 1) 딥러닝 연산을 위한 지능형 시스템 기술, 2) scalable 빅 데이터 처리를 위한 성능 보장, 3) 블록 체인 기반 보안 기술을 포함합니다. 네트워크 가상화 시스템은 5G/6G 및 차세대 네트워크 시스템에 필수적인 테넌트별 네트워크 초저지연성(ultra-low latency), 트래픽 고립(isolation), Programmability 등을 제공하는 SDN 가상화 기술을 연구합니다.
연구실 주소
교수연구실: 우정정보관 310호, 운영체제연구실: 우정정보관 308호
연구소명
융합소프트웨어연구소
연구소 설립취지
융합소프트웨어연구소는 융합소프트웨어 분야의 기술을 연구 개발하고, 국제적인 고급 소프트웨어 인력 양성을 통하여 국내 융합소프트웨어 분야에 관련된 산업 발전을 도모하며 세계를 선도하는 융합소프트웨어 기술의 발전을 위한 연구를 목적으로 한다.
연구소(단)장명
유혁
연구소 담당자(연락처)
김영아 (02-3290-4765)
연구소 사무실 위치
과학도서관 309E호
연구(사업) 분야 및 내용
1. 국가적 신성장동력 발전을 위한 융합 소프트웨어 기술 연구
2. 융합 소프트웨어 분야 국내외 저명 연구자 초청, 공동연구
3. 융합 소프트웨어 분야 전문인력의 양성 지원
4. 융합 소프트웨어 분야 연구자의 국제교류 및 네트워크 구축
5. 융합 소프트웨어 분야 국가기관, 기업체와 협력 및 공동과제 기획 및 참여
6. 융합 소프트웨어 분야 국내외 학술대회 및 국제 심포지움 개최
7. 융합 소프트웨어 분야 학술지 및 관련서적 발간
최근 연구(사업) 성과
융합소프트웨어연구소에서는 국가전략프로젝트인 정밀의료사업을 고려대 의료원이 수주하는데 긴밀하게 협력하였다. 정밀의료사업은 기존의 진료 패러다임을 뛰어넘어, 환자의 DNA 정보와 치료 이력 그리고 최근 의학연구결과물을 인공지능으로 처리하여 환자의 질병을 진단하는 새로운 패러다임이다. 본 연구소는 앞으로 지속적으로 의료 산업에 소프트웨어 기술을 접목하여 진료의 질을 높이는데 기여하게 될 것이다.