사회봉사센터 공헌 동계
공(工)드림 캠프 개최
일시 : 2018. 2. 3.(토) ~ 2017. 2. 6.(화) | 장소 : 경기도 광주시 도척면 노곡리 351-4, DB인재개발원
자세한 사항은 공지사항 게시판에서 확인해주시기 바랍니다.
닫기
세미나 일정표
날짜 시간 장소 제목
2017.12.04 2:30 302-551 High Level Abstractions Automatic Optimization Techniques for the Programming of Irregular Algorithms

세미나 이름

SNU CSE Distinguished Lecture Series

제목

High Level Abstractions Automatic Optimization Techniques for the Programming of Irregular Algorithms

발표자

Prof. David Padua

발표자 소속

University of Illinois

세미나 시간

2:30 ~ 3:30

세미나 장소

302-551

호스트

이재진 교수(x1863, 880-1863)

발표내용

High-performing irregular algorithms are typically implemented using simple operations and conventional control structures. In addition, due to today’s compilers inability to manipulate these implementations, program tuning must usually be done by hand. Better notations and automatic optimization would help improve programmer productivity, portability, and maintainability. This talk will review high level notation proposals for the description of irregular algorithms, as well as compiler and autotuning techniques for the optimization of these algorithms. A short discussion of open research problems and necessary conditions for adoption of these more advanced notations and strategies will conclude the presentation.

발표자 소개

David Padua is the Donald Biggar Willet Professor of engineering at the University of Illinois, where he has been a faculty member since 1985. His has done research in parallel computing, autotuning, and compilers and has published more than 170 papers in these areas. He has participated in the organization of more than 70 conferences and workshops and served on the editorial board of ACM TOPLAS, JPDC, IEEE TPDS, and IJPP and as Editor in Chief of the Encyclopedia of Parallel Computing (Springer‐Verlag). He is a fellow of the IEEE and the ACM and the recipient of the 2015 IEEE Computer Society Harry H. Goode Award. In 2017, he received a doctorate honoris cause from the University of Valladolid in Spain

문의

임정현 조교 (02-880-7287, jhlim@cse.snu.ac.kr)
2017.12.05 11:00 302동 308호 양자컴퓨터 개발 현황과 전망

세미나 이름

SNU CSE Seminar

제목

양자컴퓨터 개발 현황과 전망

발표자

김태현 박사 (Taehyun Kim)

발표자 소속

Quantum Tech. Lab, SK telecom

세미나 시간

11:00 ~ 12:00

세미나 장소

302동 308호

호스트

서진욱 교수 (880-1761, jseo@snu.ac.kr)

발표내용

20세기의 IT기술은 양자 역학의 통계적 특성에 기반한 반도체 기술의 발달로 인한 계산 속도의 향상으로 급성장하였으나, 소자의 크기가 점점 작아지게 됨에 따라 기존의 접근 방법만으로 성능을 향상시키는 것은 그 물리적인 한계에 부딪히게 되었고 최근에는 무어의 법칙마저 폐기되게 되었다. 이에 비해 최근에는 인공지능과 같이 기하급수적인 계산량이 필요한 기술들에 대한 관심은 오히려 증가하고 있는 상황으로, 계산속도에 대한 수요 대비 점차 증가하고 있는 하드웨어 기술과의 격차를 해결할 수 있는 새로운 컴퓨팅 모델이 필요한 상황이다.

양자컴퓨터는 이러한 기하급수적인 계산속도를 구현할 수 있는 하나의 컴퓨팅 모델로 최근 많은 관심을 받고 있으며, 최근에는 학계뿐만 아니라 IBM, Google, Microsoft, Intel, 알리바바와 같은 기존 IT기업들도 점차 양자컴퓨터 연구에 투자를 늘려가고 있는 상황이다. 본 세미나에서는 기존 반도체 기술과 가장 큰 차이점인 개별 입자의 제어 및 양자 중첩의 성질을 이용하여 병렬처리를 구현하는 방법, 현재 고려되고 있는 몇가지 양자 컴퓨팅 모델, 이를 구현하기 위한 물리적인 접근 방법, 양자컴퓨터의 응용 예 및 전세계적인 현재 진행상황 등에 대해 전반적으로 설명할 예정이다.

발표자 소개

1991-1995: 서울대 컴퓨터공학과 학사
1995-1997: 서울대 제어계측공학과 석사과정 (MEMS 전공 - microfluidic device)
1997-2000:
공군사관학교 전산통계학과 교관 및 전임강사 (전산학 전공
)
2000-2008: MIT
물리학과 박사과정 (양자광학
)
2000-2003:
입자물리 실험 (페르미연구소
)
2003-2008:
비선형 광학을 이용한 양자정보처리

2008-2011: Duke대학 박사후과정 (이온 트랩을 이용한 양자정보처리)
2011-
현재: SK텔레콤 (이온 트랩을 이용한 양자정보처리)

문의

서진욱 교수 (880-1761, jseo@snu.ac.kr)
2017.12.07 11:00 302동 308호 튜링의 1935년: 컴퓨터 원조논문이 나오기까지의 1년여 과정에 대한 추측

세미나 이름

2017학년도 제2학기 서울대학교 교육상 수상자 특별강연

제목

튜링의 1935년: 컴퓨터 원조논문이 나오기까지의 1년여 과정에 대한 추측

발표자

이광근 교수

발표자 소속

서울대학교 공과대학 컴퓨터공학부

세미나 시간

11:00 ~ 13:00

세미나 장소

302동 308호

호스트

전화숙 컴퓨터공학부장

발표내용

This talk is about my guess work on the thought process of Turing while he was inventing the Universal Machine, the blueprint of computers. The Universal Machine first appeared in Turing's seminal paper "On Computable Numbers, With an Application to the Entscheitungsproblem" that was submitted in May 1936. It is known that the paper was motivated by a course "Foundations of Mathematics and Godel's Theorem" taught by Max Newmann that Turing took in 1935. I trace back the days and the thought process that might have happened in Turing's mind while he tried to prove again the Godel's result in his own style, which was consummate in his 1936 paper. My investigation is a collection of my guess about what Max Newmann might have taught in the class and about how Turing could be inspired by the course. This talk will contain an intuitive review of Godel's Incompleteness proof and Turing's 1936 paper. This talk can be considered a kind of faction (fact + fiction).

발표자 소개

  • 2003 - 현재: 서울대 컴퓨터공학부 부교수/교수
  • 2008 – 2015: 센터장, 소프트웨어무결점 연구센터 (교과부/한국연구재단 선도연구센터 ERC)
  • 1998 - 2003: 단장, 프로그램분석시스템 연구단 (과기부/과학재단 창의연구단 CRI)
  • 1993 - 1995: 정규연구원, SW Principles Research Dept, Bell Labs
  • 1993 PhD Computer Science, Univ of Illinois at Urbana-Champaign
  • 방문교수: Stanford(2017), MIT(2012, 2008), CMU(2008), ENS Paris(파리고등사범학교 2016, 2002)

문의

전화숙 컴퓨터공학부장 (x1839, 880-1839)
2017.12.07 17:00 301동(제1공학관) 118호 상대성 이론과 GPS

세미나 이름

전기전자

제목

상대성 이론과 GPS

발표자

권희민 교수

발표자 소속

서울대학교 자연과학대학 물리천문학부 초빙/객원 교수

세미나 시간

17:00 ~ 18:30

세미나 장소

301동(제1공학관) 118호

호스트


발표내용

대항해의 시대에 망망한 바다에서 배의 위치를 어떻게 알고 항해를 했을까?
위도는 태양이나 북극성의 고도로 알 수 있지만 경도는 어떻게 측정했을까?
현대 물리학의 두 축 중 하나인 상대성 이론에 대해 살펴보고, 일상에 쓰는 GPS를 이용한 내비게이션에 상대성 이론이 어떻게 적용되는지 살펴본다.

발표자 소개

학력

  • 1981   캘리포니아 공과대학 물리학 박사
  • 1974   서울대학교 물리학 학사

주요경력

  • 2013~        서울대학교 자연과학대학 물리천문학부 초빙/객원 교수
  • 2009~2013   삼성전자 고문
  • 2005~2008   삼성전자 부사장

문의


공과대학소개
교육과정
대학생활
IT 서비스 및 공간예약
온라인 강의
소통광장
알림광장