Date: 2024. December 11 Time: 2 pm Location: Building 110, Room N104 Seminar Title: Uncertainty-aware Planning and Control for Safe Mobility System Speaker: Prof. Cheolhyeon Kwon / UNIST Host: Jooyong Yi Abstract: As the intelligent mobility systems such as autonomous vehicles, drones, and unmanned mobile robots are rapidly expanding, the increased complexities...
Prof. Taesik Gong is an Assistant Professor in the Department of Computer Science and Engineering and the Artificial Intelligence Graduate School at UNIST, where he leads the Ubiquitous Artificial Intelligence (UAI) Lab. Previously, he was a Research Scientist at Nokia Bell Labs and a Visiting...
Seongil Wi is an assistant professor of Computer Science and Engineering at Ulsan National Institute of Science and Technology (UNIST). He received his Ph.D. and M.S. degrees from KAIST under the guidance of Prof. Sooel Son and Prof. Sang Kil Cha, respectively. His research interests mainly focus...
과학기술정보통신부가 주최하고 한국지능정보사회진흥원이 주관하는 「제24회 대학생프로그래밍경시대회」를 개최합니다 가. 대회목적: 대학생 대상으로 문제해결, 알고리즘 설계 능력을 발휘 할 수 있는 기회제공 및 디지털 인재 양성·발굴을 위한 대회 개최 나. 대회개요 o 참가 자격: 대학교(원) 재학생 3인 및 지도교수 1명으로 구성된 1팀(전공무관) o 예선 대회 - 등록기간 : 2024.9.13.(금) ~ 9.27.(금) - 일정/장소 : 2024.10.25.(금)...
Date: 2024. May 22 Time: 4 pm Location: 104 E204 Seminar Title: Automatic Safety Analysis of Smart Contracts Speaker: Prof. Sunbeom So / GIST Host: Jooyong Yi Abstract: In this talk, I will introduce our research on smart contract analysis. Smart contracts are attractive targets for attackers and even a single flaw...
Date: 2024. February 28th Time: 4 pm Location: 104 E204 Seminar Title: Data-driven Symbolic Execution Speaker: Prof. Sooyoung Cha / Sungkyunkwan University Abstract: Symbolic execution is a popular software testing method to achieve high code coverage and find bugs. The basic idea of symbolic execution is to replace...
Date: 2024. January 5th Time: 3 pm Location: 104 E101 Seminar Title: Statistical Program Analysis Speaker: Dr. Seongmin Lee, Researcher at Max Planck Institute Abstract: When facing a problem that is too complex for the analytical method, especially when it is unmanageable to compute a quantity exactly, a sampling-based statistical...
컴퓨터공학과 대학 ICT 연구센터육성지원사업에서 UNIST 학생들의 창의 자율과제 운영을 위한 '창의자율과제'를 공모합니다. 아래 공모내용에 많은 관심 부탁드립니다. 가. 목적 - 창의성 및 자기주도적 문제해결능력을 갖춘 융.복합 미래인재 육성 - 차세대 데이터센터 컴퓨팅 분야 연구수행을 통한 연구활동 경험 확대 - 연구팀(연구동아리) 중심의 활동 장려를 통한 새로운 교내 학습문화 구축 나....
2025 교수채용을 위한 UNIST 컴퓨터공학과 교원 인력 풀 (POOL) 모집 공고 UNIST(울산과학기술원) 컴퓨터공학과에서 2025 교수채용을 위하여 컴퓨터공학 분야의 신진 및 중견 교수님을 초빙하고자 전문가 인력풀(POOL)을 공개모집합니다. UNIST 컴퓨터공학과는 최상급 연구환경을 제공합니다. 세계 정상급의 연구자나 세계 정상급 연구자가 되고자 하는 인재들을 적극 채용하고 있으니 관심있는 분들의 지원을...
Artificial Intelligence Machine Learning Mobile Computing Human-computer Interaction...
