1. 소식

새 소식

태그
검색
전체

컴퓨터시스템 분야 신임교수님을 소개합니다.

2016년 2학기, 우리 학부에 새로 부임하신 이재욱 교수님을 소개합니다. 이재욱 교수님은 제1신공학관에서 아키텍처 및 코드 최적화 연구실(Architecture and Code Optimization Lab)을 조성 중이며, 부임 첫 학기에 컴퓨터구조(4190.308) 강의를 담당하시게 되었으니 학생 여러분의 많은 관심 바랍니다. http://cse.snu.ac.kr/sites/default/files/styles/scale-width-220/public/node--professor/%EC%BB%B4%ED%93%A8%ED%84%B0%EA%B3%B5%ED%95%99%EB%B6%80_%EC%9D%B4%EC%9E%AC%EC%9A%B1%EA%B5%90%EC%88%98%EB%8B%98.JPG               [이재욱 교수님] - 학  력 ◾ MIT EECS (CS Division) 박사 (2009) ◾ Stanford University EE 석사 (2002) ◾ 서울대학교 전기공학부 학사 (1999) - 경  력 ◾ 2011 – 2016: 성균관대학교 반도체시스템공학과 조교수 ◾ 2011: Postdoctoral Research Associate, CS Department, Princeton University ◾ 2009 - 2011: Researcher and Engineer, Parakinetics, Inc. (Princeton, USA) ◾ 2002 – 2009: Research Assistant, MIT CSAIL ◾ 2008: Graduate Exchange Scholar, EECS Department, UC Berkeley ◾ 2006, 2007: Research Intern, Nokia Research Lab in Cambridge (NRCC) ◾ 2002: Engineering Intern, Nvidia Corp. - 연구분야: Computer Architecture and Systems, Parallel Programming, Compilers, and Security - 웹사이트: http://icc.skku.ac.kr/~jaewlee...
과거 미분류
포스트 대표 이미지

제 70회 컴퓨터공학부 졸업 기념 행사 개최

제 70회 컴퓨터공학부 졸업기념행사를 2016년 8월 29일(월) 오후 2시 301동 102호에서 개최하였습니다. 이번 졸업기념행사에서 학사 18명, 석사 14명, 박사 6명 총 38명이 학위를 받았으며, 최우등상(3명) 및 우등상(1명) 시상도 진행되었습니다. 컴퓨터공학부 우수학위논문상은 최종욱 학사(지도교수: 신영길), 고성빈 학사(지도교수: 문병로)에게 수여되었습니다. 이날 행사에는 졸업생 및 가족.친지, 교수님 및 재학생 100여명이 참석하여 졸업생들의 밝은 앞날을 축원해주었습니다....
과거 미분류
포스트 대표 이미지

2016년 8월 우수학위논문상 수상자 안내

서울대학교 컴퓨터공학부에서는 매 학기 졸업생을 대상으로 우수학위논문상을 수여하고 있습니다. 석박사 졸업 논문의 경우 논문 심사위원들이, 학부 졸업 논문의 경우 지도교수가 뛰어난 논문을 선별하여 우수학위논문상 후보로 추천하고 있습니다. 2016년 가을학기에는 학부 논문상 수상자 2명을 선정했습니다. o 학부 논문상 수상자: 최종욱 (지도교수: 김건희) 제목: A Deep Recurrent Model for Human Gaze and Visual Attention Prediction in Video Clips 최종욱의 학사학위논문은 사람이 동영상을 시청할 때 어떻게 시점을 바꿔가며 비디오 내용을 보는지 정확히 예측할 수 있는 딥러닝 모델을 제안하였다. 이 모델은 표준 데이터셋에서 기존의 어떤 모델보다 우월한 성능을 보여주었으며, 동영상을 자연어 문장으로 설명하는 비디오 캡션닝 분야의 성능을 향상시키는데 활용할 수 있다. o 학부 논문상 수상자: 고성빈 (지도교수: 문병로) 제목: Zuse: A Structured Source Code Editor with Improved Usability 고성빈은 학사학위논문을 위해 structured source code editor를 구현하고 open source로 공개하였다. 기존의 structured source code editor들이 가지는 문제점을 분석하여 사용편이성을 높이는데 시스템 설계의 주안점을 두었다. 시스템의 설계부터 구현과 논문 작성까지 전 과정을 학부생 혼자 해결한 실질적 문제해결의 모범적 사례이다....
과거 미분류
포스트 대표 이미지

이제희 교수 연구진의 연구성과, 각종 언론에 보도

그림자연극을 위한 자동 동작 생성을 주제로 한 우리 학부 이제희 교수님 연구팀의 연구결과에 대하여 MBC, YTN, 연합뉴스 등에 아래와 같이 보도되었습니다. 해당 연구는 컴퓨터가 공연예술 분야의 콘텐츠를 창작하는데 도움을 주는 융합기술이라는 점에서 주목을 받고 있습니다. ◆ (MBC) 컴퓨터로 만드는 '그림자 연극', 3D 기술로 재현 http://imnews.imbc.com/replay/2016/nwtoday/article/4050699_19847.html ◆ (YTN사이언스) 빛의 예술 '그림자 연극'…배우 대신 컴퓨터로 만든다 http://science.ytn.co.kr/program/program_view.php?s_mcd=0082&s_hcd=&key=201608021046344773 ◆ (연합뉴스) 그림자 연극 속 '숨은 동작' 찾아내는 기술 개발 http://www.yonhapnews.co.kr/bulletin/2016/08/01/0200000000AKR20160801081800017.HTML?input=1195m [관련 논문정보] Jungdam Won, Jehee Lee, Shadow Theatre: Discovering Human Motion from a Sequence of Silhouettes, ACM Transactions on Graphics (SIGGRAPH 2016)....
과거 미분류
포스트 대표 이미지

정진홍 학생, 한국연구재단 글로벌 박사 펠로우십 수상

우리 학부 데이터마이닝 연구실의 정진홍 박사과정생(지도교수: 강 유)이 한국연구재단에서 지원하는 글로벌 박사 펠로우십에 선정되었습니다. 글로벌 박사 펠로우십은 세계적 수준의 박사를 육성하기 위해 교육부와 한국연구재단이 지원하는 국가 핵심 인재 양성사업으로, 매년 전국의 박사과정 및 석박사통합과정의 학생을 선발해 3년동안 학비와 생활비 걱정 없이 학업과 연구에 전념할 수 있도록 집중 지원하는 제도입니다. 정진홍 학생은 글로벌 박사 펠로우십의 지원으로 향후 "링크 분석을 통한 대용량 그래프에서의 고속 랭킹 기법 연구"를 진행하게 됩니다. 축하합니다!...
과거 미분류
포스트 대표 이미지

전병곤 교수 연구진의 연구성과, Microsoft Blog에 소개

전병곤 교수님 연구진이 개발한 분산 데이터 분석 시스템 Vortex가 Microsoft Research Blog에 소개되었습니다. Vortex는 데이터센터 환경에서 여러 대의 컴퓨터에서 낭비되고 있는 자원(예: CPU, Memory)들을 활용하여 대량의 데이터 분석을 할 수 있는 시스템입니다. Vortex는 오픈소스 프로젝트로, 관심있는 학생들이 자유롭게 활용하여 다양한 데이터 분석 앱을 만들어 볼 수 있기를 기대합니다. 이 소식 관련 자세한 내용은 아래의 링크를 통해 확인할 수 있습니다. Microsoft Research Blog: https://www.microsoft.com/en-us/research/open-source-commitment-proof-projects/ Vortex Github Repository: https://github.com/apache/reef/tree/master/lang/java/reef-applications/reef-vortex...
과거 미분류
포스트 대표 이미지

2016년 Naver fellowship 수여자 선정

2016년 Naver fellowship 수여자들이 결정되었습니다. 15명의 박사과정 학생들이 지원서를 제출했고, 연구 실적의 우수성을 가장 중요한 기준으로 Naver의 심사 과정을 거쳐 fellowship 수여자를 결정했습니다. 프로그래밍 언어(강지훈), 컴퓨터 시스템(손용석), 빅데이터(정진홍), HCI(조재민) 등 다양한 분야의 학생들이 선정되었습니다. Naver fellowship은 1인당 500만원을 장학금으로 수여합니다. 선정된 학생들 모두 축하하며 훗날 뛰어난 연구성과를 이루기를 기대합니다!...
과거 미분류
포스트 대표 이미지

핀테크 블록체인 해커톤에서 최우수상 수상

우리 학부의 서영덕 대학원생(엄현상 교수; 분산시스템연구실)이 타 대학 학생들과 팀을 이루어 참가한 ‘핀테크 블록체인 해커톤’에서 최우수상(공동 1위)을 수상하였습니다. IBK기업은행과 한국인터넷진흥원(KISA) 주최로 열린 핀테크 블록체인 해커톤은 블록체인 기반의 창의적인 핀테크 기술과 서비스 개발을 목적으로 하는 경진대회로서, 2016년 7월 9일부터 무박 2일로 진행된 본선에서는 총 12개 팀이 경합을 하였습니다. 진행 결과 서영덕 대학원생이 속한 BloGOS팀이 우수한 전자상거래 수출서비스를 선보여 최우수팀으로 선정되었으며 부상으로 상금 300만원이 수여되었습니다....
과거 미분류
포스트 대표 이미지

BK21플러스사업단 신진연구인력 채용 공고

서울대학교 컴퓨터공학부 BK21플러스사업단에서는 계약교수 및 박사후연구원을 다음과 같이 채용합니다. 자세한 사항은 http://bkcse.snu.ac.kr(서울대학교 컴퓨터미래인재양성사업단)에서 확인하시기 바라며, 서류제출 시 아래 문서를 다운로드.활용하시기 바랍니다. * BK21플러스 Post-Doc 연구 업적 현황 Download * 박사후연구원 활용계획서 Download 1. 채용 예정인원 : 각 0명 2. 지원자격 -계약교수: 컴퓨터공학 전 분야 박사학위 취득 후 산업체, 교육 또는 연구경력 1년 이상인 자 -박사후연구원: 컴퓨터공학 전 분야 박사학위 취득자 또는 8월 취득 예정자 3. 전형방법 1)1차 : 서류전형 2)2차 : 면접전형 (서류전형 합격자에 한하여 개별통보) 4. 제출서류 - 계약교수 1) CV 2) 심사 대상 연구실적물   가. 최근 3년간 발표된 논문이나 저서   나. 박사학위논문도 가능   다. 학술지에 발표되지 아니한 실적물의 경우엔 학술지 발행기관의 책임자가 발급한 게재예정증명서를 첨부 3) 학력 및 성적증명서(대학 및 대학원) 4) 경력증명서 5) 자기소개서(주요 연구업적과 수상 경력 등) 6) 연구계획서 7) 추천서(동일분야 전공자 1명 이상) - 박사후연구원 1) CV 2) 자기소개서(주요 연구 업적과 수상 경력 등) 3) BK21플러스 Post-Doc 연구 업적 현황 (첨부파일) 4) 업적현황에 기재된 논문 첫 페이지 사본 5) 학위증명서 또는 학위예정증명서 6) 성적 증명서(대학 및 대학원) 7) 추천서(동일분야 전공자 1명 이상) 8) 지도교수의 활용계획서(첨부파일, 지도교수는 서울대학교 컴퓨터미래인재양성사업단 참여 교수여야 함) 5. 접수방법 : 이메일 (jomas@snu.ac.kr) 6. 서류 접수기간 : TO가 생길 경우 매달 말일까지 접수 * TO가 생길 경우 상시채용 예정입니다. 추후 지원의사가 있으신 분은 채용 기간이 아닐지라도 지원 서류를 이메일로 보내주시기 바랍니다. 채용 시 타 지원자들과 함께 심사하도록 하겠습니다. 7. 급여 및 근무조건 -계약교수 1) 급여 : 월 3,500,000원(퇴직금 및 4대보험 개인부담금 포함) 2) 임용기간 : 계약기간은 1년 이내로 하며, 최대 4년까지 계약 가능 3) 임용예정일 : 2016년 9월 중 -박사후연구원 1) 급여 : 월 2,500,000원(퇴직금 및 4대보험 개인부담금 포함) 2) 임용기간 : 계약기간은 1년 이내로 하며, 최대 4년까지 계약 가능 3) 임용예정일 : 2016년 9월 중 8. 문의처 : 사업단 행정실 (02-880-8553) 9. 유의사항 1) 이 공고에 명시되지 않은 사항은 본교 인사관련규정 및 교수공채전형기준에 의함 2) 임용 후 응모자격이나 연구실적 등 임용요건에 하자가 있을 때는 직권으로 임용을 취소할 수 있음...
과거 미분류
포스트 대표 이미지

허충길 교수 연구진의 연구성과, 상용 컴파일러에 도입

허충길 교수 연구진에서 새로 개발한 분할 컴파일 검증 기술이 세계 유일의 검증된 상용 컴파일러 컴프서트(CompCert)에 도입되었다. 최근 발표된 컴프서트의 최신 버전(CompCert 2.7)에서는 가장 큰 개선으로 허충길 교수 연구진의 연구 성과 ("Lightweight verification of separate compilation", POPL 2016)를 적용한 점을 꼽았다. 컴프서트는 프랑스의 INRIA 연구소에서 개발하고 독일 AbsInt 사에서 상용화한 세계 유일의 검증된 상용 컴파일러로서, 항공기 자동항법 시스템과 같이 안전이 필수인 시스템 분야에 활용이 기대되고 있다. 새로 적용된 기술은 여러 개의 파일로 작성된 소스프로그램을 파일별로 따로 컴파일 하는 경우에도 컴파일 오류가 없음을 검증한 것이다. 기존에는 전체 소스 프로그램이 한 파일로 작성되었을 경우에만 컴파일러 무오류성이 검증되었다. 이번에 허충길 교수팀이 분할 컴파일로 증명을 확장하는과정에서 실제 컴프서트의 분할 컴파일 관련 2개의 오류를 발견하고 이를 수정 후 검증을 완료했다. 이 소식 관련 보다 자세한 내용은 아래의 링크를 통해 확인할 수 있다. 컴프서트 공식 사이트 http://compcert.inria.fr/, https://www.absint.com/compcert/ 컴프서트 2.7 Change Log http://compcert.inria.fr/release/Changelog 검증 기술 소개 페이지 http://sf.snu.ac.kr/sepcompcert/...
과거 미분류
포스트 대표 이미지