=10100 =minusby by1000 ¼Ò=10100 =minusby by1000 ÇÁ=10100 =minusby by1000 Æ®=10100 =minusby by1000 ¿þ=10100 =minusby273

Size: px

Start display at page:

Download "=10100 =minusby by1000 ¼Ò=10100 =minusby by1000 ÇÁ=10100 =minusby by1000 Æ®=10100 =minusby by1000 ¿þ=10100 =minusby273"

영진 태
4 years ago
Views:

1 소프트웨어무결점연구센터 7 차워크샵 홍콩과학기술대

2 1 단계 ( ) 리뷰

3 센터인원구성 연구책임자 ( 총괄및세부 ): 교수 10명교수연구원 : 6 11명박사연구원 : 2 4명, 박사과정 : 21 38명석사연구원 : 2 4명, 석사과정 : 30 45명학부과정 : 2 5명행정팀 : 3명

4 총괄과제구성및연계 1 총괄 : 정통첨단기술팀 (leading analysis tech.) 2 총괄 : 도메인특화기술팀 (domain-specific analysis tech.) 3 총괄 : 이론및혁신기술팀 (theory & innovative tech.)

5 센터기술의비전 ( 우물안 )

6 센터기술의비전 ( 우물밖 )

7 센터운영 : 지향 좋은논문을발표한다 (top-class) 좋은학회, 좋은이론, 좋은실험세계적인연구꺼리 = 우리주변의문제 좋은도구를만든다 (top-class) 정말로유용한도구우리이웃을감동시켜야 좋은자료를보급한다 (top-class) 쉽고정확하게, 그리고 몸 으로파급되게. 모국어로 vs 영어로. 1:1000 법칙

8 센터 운영: 집단연구 시너지 내실있는 정기 ROSAEC Workshop 년 2회, 3박4일/회 성과발표(milestone talk) 소그룹 난상토론(brainstorming) 기술전수(tutorial) 응원.자극.격려.바람.시너지. 번개발표(lightning talk) 새분야소개(invited talk) 연구장터(poster) 총웍샵을 통한 시너지 결실 프로그램분석과 SE 알고리즘이론과 SE 데이터베이스와 SE 보안과 컴파일러 등

9 1 단계성과 성과개괄 연구성과 개발성과 토양성과

10 성과 개괄 연구: 질 중심 논문 성과 일급 학술지에 발표 세계최고 학회에 발표 선두를 다투는 그룹과의 활발한 교류 개발: 일급 산학 선순환 구축 고부가 SW산업 발아 신념: 우리 주변의 문제가 세계적인 연구를 드라이브 한다 확인: 고부가 SW 산업화 = 세계 선도 연구 인력양성: 정예의 인력배출 이론과 산업화 모두에 탁월한 인재배출 미래에 큰 파급효과 기대

11 학술회의논문성과 논문발표된학술회의들 ( ) 프로그래밍언어분야최고 POPL(1): Principles of Programming Languages PLDI(1): Programming Language Design and Implementation OOPSLA(2): OO Pgm ng Systems, Langs., and Apps. ICFP(2): International Conf. on Functional Programming 소프트웨어공학분야최고 CAV(1): Computer Aided Verification ICSE(1): International Conf. on Software Engineering TACAS(1): Tools & Algms. for the Constr. & Analysis of Systems 데이터베이스분야최고 VLDB(2): Very Large Data Bases SIGMOD(2): Management of Data 인공지능분야최고 AAAI(2): Assoc. for the Adv. of Artificial Intell.

12 저널논문성과 논문발표된일급저널들 ( ) ACM Transactions IEEE Transcations Annals of Pure and Applied Logic Acta Informatica Information and Computation The VLDB Journal Journal of Combinatorial Theory Journal of Functional Programming International Journal of Robotics Research

13 산학협력 : 선순환. 산업 = 센터 산업화한오류자동검출엔진매출 : ( 주 ) 파수닷컴. Sparrow: 매출 1M USD/2010 ( 오류검출기엔진 ) ( 주 ) 지티원. ChangeMiner: 매출 2M USD/2010 ( 문자열분석엔진 )

14 산학협력 : 선순환. 산업 = 센터 시장의문제로부터연구성과로 : Sparrow 의성능향상과정

15 관학협력및공공서비스 : 기술보급 소프트웨어오류자동검출온라인서비스 SW Clinic( ): 센터 1 Code Doctor( ): 정보통신산업진흥원 SW 공학센터 2 정적분석기술기반 SW 저작권확인및검증서비스 CodeJam( ): 문체부한국저작권위원회 년 IT 혁신상품정부소프트웨어보안취약점검출도구 SW Security Scanner(2009): 행정안전부. 행안부장관표창 1 rosaec.snu.ac.kr/clinic

16 인력양성 (1/2) 의미심장한진로 vs Oxford 대박사후연구원 vs 산업화책임자세계적인연구성과 Oxford 대박사후연구원제의산업화자신감 Sparrow 사업부책임선택정영범박사

17 인력양성 (2/2) 전례없던진출신화 MIT, CMU, Stanford, UC Berkeley 의 Computer Science 박사과정유학모두센터연구 ( 석사과정 ) 를통해주목받은성과모두 SW 정적분석검증분야김덕환 (2009, MIT CSAIL), 공순호 (2010, CMU CS), 신재호 (2011, Stanford CS), 최원태 (2011, Berkeley CS)

18 국제협력 : 내실 + 선두그룹 + 세부집중 국제적프리미어리그와나란히견실한풀뿌리연구넷트웍겉치레지양 34 inbound 방문연구, 27 outbound 방문연구, 45 공저논문

19 국제협력: 선두를 다투는 그룹과 쌍방향 54 ROSAEC Seminars, 13 seminars abroad MIT CMU Oxford U. Imperial College, London Max Planck Institute Aachen U. Academia Sinica Microsoft Research Cambridge Bell Labs, Murray Hill UC Berkeley U. of Cambridge U. of London Ecole Normale Sup erieure, Paris Kansas State U. HKUST Tsinghua U. Microsoft Research Asia Oracle Labs

20 저변양성 SW 검증의 3 세대기술 (theorem proving) 준비를위한 CUK: Coq Korea 결성및활동타분야와융합을위한여름학교 / 겨울학교개최소셜네트웍크분석기법여름학교 ( ) 개최알고리즘과조합수학겨울학교 ( ) 개최 SW 원천기술에대한청소년의관심과포부형성을위한 CS4HS(Computer Science for High School) 웍샵매년 2 월개최. 고등학교교사대상. 서울대핵심교양과목 [ 컴퓨터가여는세상 (Computational Civilization)] 개발, EBS 다큐콘텐츠제공초중등대상프로그래밍교재및실습환경개발 : 바심

21 2 단계. 먼. 길. 즐겁게뜁시다. 서로를응원합시다. 그리고힘들땐같이걸어요.

Ch 1 머신러닝 개요.pptx

Ch 1 머신러닝 개요.pptx Chapter 1. < > :,, 2017. Slides Prepared by,, Biointelligence Laboratory School of Computer Science and Engineering Seoul National University 1.1 3 1.2... 7 1.3 10 1.4 16 1.5 35 2 1 1.1 n,, n n Artificial