CSE will be holding a special seminar with outstanding researchers. Even if you are busy, we hope you will attend and have a special time with outstanding researchers. · Date & Time : 2025. 1. 15.(Wed), 15:00 · Venue : 104 building, ...
CSE will be holding a special seminar with outstanding researchers. Even if you are busy, we hope you will attend and have a special time with outstanding researchers. 1. Date & Time : 2025. 1. 7.(Tue), 14:00 2. Venue : 104 building, E104...
CSE will be holding a special seminar with outstanding researchers. Even if you are busy, we hope you will attend and have a special time with outstanding researchers. 1. Date & Time : December 23rd(Mon), 14:00 2. Venue : 104동 E204호 3. Speaker: Ph.D Kyoungmin Kim...
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...
