1. 소식
  2. arrow_forward_ios

새 소식

태그
검색
전체
포스트 대표 이미지

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들이 가지는 문제점을 분석하여 사용편이성을 높이는데 시스템 설계의 주안점을 두었다. 시스템의 설계부터 구현과 논문 작성까지 전 과정을 학부생 혼자 해결한 실질적 문제해결의 모범적 사례이다....
포스트 대표 이미지
포스트 대표 이미지
포스트 대표 이미지
포스트 대표 이미지
포스트 대표 이미지
포스트 대표 이미지

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/...
포스트 대표 이미지

장병탁 교수, '2016 INAK 사회공헌대상' 수상

사단법인 대한인터넷신문협회(INAK. 회장 이치수) 창립 1주년 기념식 및 '2016 INAK 사회공헌대상' 시상식이 5월 31일 오전 11시 한국프레스센터 20층 프레스 클럽에서 개최되었다. 이날 기념식 및 시상식에는 천정배 국민의당 공동대표, 심상정 정의당 대표, 이우현, 진선미, 이원욱, 이동섭 국회의원, 김병립 제주시장, 신동욱 공화당 총재, 이재남 이페스코리아 회장, 장병탁 서울대 교수 등 수상자와 대한인터넷신문협회 회원사 100여명이 참석했다. 이번 '2016 INAK상은 기업부문 참기업인대상'에 이재남 이패스코리아 회장, 국회의정부문 국회의정대상에 더불어민주당 박영선 국회의원, 새누리당 이우현 국회의원, 국민의당 천정배 국회의원, 정의당 심상정 국회의원, 법률부문'에 안대희 전 대법관, 과학기술부문 과학공로대상에 장병탁 서울대 교수, 보건부문 보건공헌대상에 윤도준 동화약품 회장이 수상을 하였다. 이외에도 PressClub부문 인권공로대상에 더불어민주당 진선미 국회의원, 의정공로대상에 이원욱 국회의원, 체육공로대상에 국민의당 이동섭 국회의원, 지방자치공로대상에 김병립 제주시장, 교육공헌대상에 김재호 장안대교수, 청소년교육공헌대상에 송종인 천안북일고 교사가 수상했다....
포스트 대표 이미지