세미나안내
-
[ 2022.08.10 Wed ]
Chips with Proofs: Towards Complete Formal Verification of System-on-Chip (SoC)
최준원 박사( Apple )2022.08.08 1,351 -
[ 2022.08.08 Mon ]
Vision-and-Language Learning: Pretraining, Transfer Learning, and Evaluation
조재민 박사( University of North Carolina at Chapel Hill )2022.08.08 1,155 -
[ 2022.08.03 Wed ]
Revamping Bug Detection Methodology for Cyber-Physical Systems
김슬배 연구원(Georgia Institute of Technology)2022.07.29 1,374 -
[ 2022.07.27 Wed ]
PKI in the Internet Protocols: Routing + PKI = RPKI
Prof. Taejoong Chung(Virginia Tech)2022.07.20 1,353 -
[ 2022.06.30 Thu ]
Toward Inclusive and Accessible Self-Tracking
Prof. Eun Kyoung Choe(University of Maryland)2022.06.20 1,448 -
[ 2022.06.20 Mon ]
Cognitive architecture for operant conditioning
Prof. Deokgun Park(University of Texas at Arlington)2022.05.23 1,535 -
[ 2022.06.10 Fri ]
Information Leaks in Classical and Quantum Computers
Prof. JAKUB SZEFER (Yale Univ.)2022.05.23 1,431 -
[ 2022.06.03 Fri ]
Does this AI matter to you? Developing and interpreting AI models from human perspectives
Prof. Kyungsik Han(Hanyang University)2022.05.18 1,513 -
[ 2022.05.27 Fri ]
Towards efficient and effective kernel driver fuzzing
송도경 교수(연세대학교)2022.05.13 1,538 -
[ 2022.05.25 Wed ]
인공지능 스마트워치 기반 행동분석 솔루션과 이를 활용한 개인 맞춤형 헬스케어 플랫폼
이휘원 대표(인핸드플러스)2022.05.10 1,264