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 컴퓨터공학과는 최상급 연구환경을 제공합니다. 세계 정상급의 연구자나 세계 정상급 연구자가 되고자 하는 인재들을 적극 채용하고 있으니 관심있는 분들의 지원을...
Furiosa AI Hackathon https://furiosa-aihackathon.imweb.me/index...
[행사 개요] ■ 행사명 : 제3회 KOPIS 빅데이터 공모전 ■ 주최/주관: 문화체육관광부/예술경영지원센터 ■ 공모주제: 공연 소비, 유통 등의 측면에서 시장 문제점을 해결 및 발전시킬 수 있는 범주 내 자유주제 ■ 공모대상: 1) 빅데이터 분석 : Python, R, SQL 등으로 데이터 분석이 가능한 전국 대학(원)생 2) 서비스개발 : 데이터 활용 제품 및 서비스 개발이 가능한 전 국민 * 개인 또는 팀 (최대 4인) 참여 가능 ■ 접수 기간: 2023년 6월 1일(월) ~ 7월 5일(수) 18시까지 ■ 접수 방법: KOPIS 홈페이지(www.kopis.or.kr) > 고객센터 > 공지사항 > 접수 양식 다운로드 및 내용을...
전명재 교수팀, 세계 3대 데이터베이스학회서 최고논문상! 국내 기관 소속 연구자 최초로 IEEE ICDE 학회 Best Paper Awards 수상 대규모 모니터링 데이터 신속하고 정확하게 처리하는 ‘Jarvis’ 시스템 선보여 전명재 컴퓨터공학과 교수팀이 세계 3대 데이터베이스 학술대회로 꼽히는 IEEE ICDE 에서 최고논문상(Best Paper Awards)을 수상했다. 전 교수팀은 데이터센터의 성능과 안정성 개선에 중추적...
