Transforming classical mathematics in type theory into oracle computation박세원(Sewon Park)|Institute of Mathematics, Physics and Mechanics , Slovenia2026/7/16 (목) 오후 02:00|302동 208호
Provable Trustworthy Machine Learning through Differential TrustHanshen Xiao|Purdue University2026/7/15 (수) 오후 02:00|301동 102호
Human-Centered Edge AI: From Robotics to AR Glasses김예린(Yelin Kim)|Amazon2026/7/14 (화) 오전 11:00|302동 208호
Where Does Learning Live in the Spectrum? From Principal Low-Rank Gradients to Off-Principal RL Post-TrainingZhangyang "Atlas" Wang|The University of Texas at Austin · Research Director, XTX Markets2026/7/07 (화) 오전 11:00|302동 209호
Compilers as Guardians: Reliability and Security in Intermittent Computing정창희(Changhee Jung)|Purdue University2026/7/07 (화) 오전 09:30|302동 208호
Complexity of sampling and volume computation국윤범(Yunbum Kook)|Georgia Institute of Technology2026/7/03 (금) 오전 10:00|302동 311-1호
Akita - A high-performance lattice-based polynomial commitment schemeQuang Vu Dao |Carnegie Mellon University2026/6/24 (수) 오후 02:00|302동 309-1호
FHE for SIMD Arithmetic Logic Units with O(1) BootstrappingHongren Zheng|Tsinghua University2026/6/11 (목) 오후 02:00|302동 309-1호
Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOLSimon Foster|University of York in the UK2026/6/08 (월) 오후 02:00|302동 106호
[Distinguished Lecture Series] Unlock Furiosa RNGD's Full Potential with Kernel Programming강지훈|FuriosaAI2026/6/04 (목) 오후 12:00|302동 105호
