국내 대학 및 연구 기관

소프트웨어공학 통합 연구과제

  • 신뢰적인 지능형 CPS 복합체계 개발 및 On-the-fly 검증기술, 차세대정보컴퓨팅기술개발사업, 한국연구재단, `17.09 ~ 20.12, 고인영 [homepage]
  • 지능형 자동화를 통한 풀스택 SW의 다중언어 검증 및 디버깅, 차세대정보컴퓨팅기술개발사업, 한국연구재단, `17.08 ~ `20.12, 김문주 [homepage]

소프트웨어공학 전공 대학 연구실

대학 연구실명 교수명 주요 연구분야
건국대학교 Dependable Software
Lab.
유준범 -안전성분석
-정형기법
경기대학교 Software Engineering
Lab.
권기현 -Abstraction
-Formal method
-Formal verification
경북대학교 Embedded Software Engineering
Lab.
이우진 -임베디드 소프트웨어 테스팅 및 검증
-Virtual Prototyping 기반
임베디드 소프트웨어 개발 환경
고려대학교 Embedded Software Engineering
Lab.
인호 -Software engineering
-Software security management
-Embedded ubiquitous system
고려대학교 Dependable Software
Lab.
차성덕 -Software embedded in medical devices
-Real-Time Anomaly Detection in Web Servers
단국대학교 Information & Architecture. 박용범 -패턴 인식
-의미 정보 추출
-지능형 소프트웨어엔지니어링
부산대학교 Software Engineering
Lab.
염근혁 -소프트웨어 재사용
-소프트웨어 프로덕트라인
-유비쿼터스 컴퓨팅
부산대학교 Software Quality Automated
Verification Test
채흥석 -임베디드 소프트웨어 모델링
-테스트 데이터 자동생성
-소프트웨어 분석학
서울시립대학교 Software Engineering
Lab.
이병정 -S/W Development Methodologies and Tools
-Software Process
-Software Metrics
성신여자대학교 Lab. 서동수 -정형기법(formal methods)
-컴포넌트 소프트웨어 테스팅
-모바일 컴퓨팅 환경에서의 e-Learning
숭실대학교 실시간 연구실 양승민 -Real-Time Embedded Linux
-Real-Time Communication
-Real-Time Specification and Verification
아주대학교 Embedded Software
Lab.
이정원 -Embedded Software
아주대학교 NiSE Research
Group
이석원 -Ontology-based Requirements Engineering
-Critical Infrastructure Protection Domain
Modeling & Simulation
아주대학교 서주영 – Software Testing
중앙대학교 Real-Time Software Engineering
Lab.
이찬근 -실시간 및 내장형 시스템 소프트웨어
-소프트웨어 아키텍처
충북대학교 Software Engineering
Lab.
홍장의 -소프트웨어 프로세스 모델
-소프트웨어 모델링 및 검증
-인적 자원관리
한동대학교 Intelligent Software Engineering Lab. 남재창 -Software quality prediction
-Automated debugging
한동대학교 Advancing Reliability, Safety & Security in Software Engineering Lab. 홍신 -Software testing and analysis
-Automated debugging
홍익대학교 Software Engineering
Lab.
김영철 -Embedded Software Methodology
-Embedded Software Architecture
-Domain Based Methodology
KAIST Web Engineering
Lab.
고인영 -Service-oriented computing
-Web-based software development methods
-End-user software engineering
KAIST SW Testing & Verification
Group
김문주 -Software Testing
-Software Engineering
-Embedded Systems

정보 수정 및 추가 요청 : 한동대 남재창 교수

소프트웨어공학 연구 기관

센터명 부서 담당자 주요 업무 및 연락처
삼성전자 이근 수석
삼성전자 이장수 고문
한국정보통신기술협회 (TTA)
한국전자통신연구원 (ETRI) 금창섭 박사
한국전자통신연구원 (ETRI) 김태호 실장
한국원자력연구원 (KAERI) 이영준 박사
국방과학연구소 (ADD)
국가보안기술연구소 (NSR)