CSE 종신교수 취임 기념 강연 일정 안내 - 허충길 교수님 [9/28(수) 12:15]

CSE 종신교수 취임 기념 강연-허충길 교수님

 

- 일시: 2022. 9. 28.(수) 12:15-13:30

- 장소: 302동 105호

 

- 발표내용: 

지난 9년간 서울대학교에서 Software Foundations 연구실을 운영하며 튼튼한 소프트웨어 기반을 다지기 위해 수행한 여러 주제의 연구를 소개한다. 이들은 주로 산업계에서 발생하는 실질적인 문제들을 수학적인 방법으로 접근하여 근본적으로 해결한 연구들이다.

구체적으로 (1) 멀티 코어 환경에서 발생하는 느슨한 동시성 행동 제대로 모델링하기

                   (2) C 언어 및 컴파일러 중간언어의 제대로 된 실행 모델 개발하기

                   (3) C 컴파일러의 무오류성 검증 및 검산하기

                   (4) C 및 어셈블리 프로그램 검증 도구 개발 및 OS 검증하기 등의 주제로 연구를 수행해오고 있다.

이러한 9년간의 연구성과들은 세계적으로 우수성을 인정받아 프로그래밍 언어 분야 최고의 학회인 PLDI 및 POPL에 14편의 논문으로 출간되었고, 특히 이 중 3편은 Distinguished Paper Award를 수상했다. 또한 몇몇 연구 결과들은 이미 산업계에 적용되어 현재 사용되고 있다.

 

- 발표자 소개:

허충길 교수는 2000년에 카이스트에서 수학 및 전산학으로 학사 학위를 받았고, 2009년에 영국 케임브리지 대학에서 박사학위를 받았다. 이후 프랑스 PPS 연구소, 독일 막스플랑크 연구소, 영국 마이크로소프트 연구소에서 박사후 연구원으로 연구활동을 수행했고, 2013년부터 현재까지 서울대학교에서 교육 및 연구를 수행해오고 있다.

 

- 참석자 간단한 점심 제공(선착순)

 

  

태그: 학생공지 (교내)