본문 바로가기

세미나 안내

View
[인공지능대학원] 2022 Summer AI / CSE Seminar Series : 2) 8/8, 조재민 박사(University of North Carolina at Chapel Hill)
작성자 시스템 작성일 22/08/03 (14:44) 조회수 983

▣ 제목(Title):  Chips with Proofs: Towards Complete Formal Verification of System-on-Chip (SoC)

▣ 연사(Speaker): 최준원 박사( Apple )

▣ 일시(Date&Time): 2022.08.10, Wed, 14:00

▣ 언어(Language): 영어(English) 

▣ 장소(Place): 온라인 ( ZOOM )  

    ZOOM Meeting ID: 272 257 2466   /  PW: 22seminar

     ZOOM Link:   https://us02web.zoom.us/j/2722572466?pwd=cDd1dThaZkQxODJld0lWWW8rcHMvUT09