연구센터
ERC

 
ROSAEC
Research On
Software Analysis
for Error-free
Computing Center
 
   
소프트웨어무결점연구센터
Research On Software Analysis for Error-free Computing Center
주관연구기관 : 서울대학교 주관연구책임자 : 이광근
주 소      
서울시 관악구 관악로 599 서울대학교 138동 202호
전 화 02-880-1528 팩 스 02-882-7234
홈페이지 http://rosaec.snu.ac.kr e-mail admin@rosaec.snu.ac.kr
 
 
센터소개
 

본 센터는 SW 분야의 근본적인 문제인 SW의 오류를 자동으로 검출 하고 검증 하는 원천 기술에 대한 연구를 진행 중이다. 소프트웨어의 오류 때문에 발생하는 개인, 기업, 국가, 사회적 비용을 절감시켜 줄 수 있는 기술 개발을 목표로 실용기술을 선도하고 고부가 산업창출의 원동력 센터가 되고자 설립되었다.

 
참 여 연 구 진
 
성 명 소 속 과제구분 연락처 이메일
이광근 서울대학교 1총괄책임자    
백윤흥 서울대학교 1총괄 1세부책임자 02-880-1748 ypaek@ee.snu.ac.kr
이광근 서울대학교 1총괄 2세부책임자 02-880-1857 kwang@ropas.snu.ac.kr
도경구 한양대학교 1총괄 3세부책임자 031-400-5667 doh@hanyang.ac.kr
최광무 KAIST 2총괄책임자    
염헌영 서울대학교 2총괄 1세부책임자 02-880-5583 yeom@snu.ac.kr
문병로 서울대학교 2총괄 2세부책임자 02-880-8793 moon@snu.ac.kr
박종우 서울대학교 2총괄 3세부책임자 02-880-7133 fcp@snu.ac.kr
최광무 KAIST 2총괄 4세부책임자 042-350-3520 choe@kaist.ac.kr
박성우 포항공과대 3총괄책임자    
박성우 포항공과대 3총괄 1세부책임자 054-279-2386 gla@postech.ac.kr
김문주 KAIST 3총괄 2세부책임자 042-350-3543 moonzoo@cs.kaist.ac.kr
황승원 포항공과대 3총괄 3세부책임자 054-279-2385 swhwang@postech.ac.kr
 





서울특별시 관악구 관악로 1, 39동 103호 [차세대우주추진연구센터]
행정팀  Tel: 02-880-8626
2012 ⓒCopyright SRC/ERC, All rights reserved. E-mail: su_nny@snu.ac.kr