소프트웨어공학 통합 연구과제
- 신뢰적인 지능형 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) |