Provable Trustworthy Machine Learning through Differential TrustHanshen Xiao|Purdue University2026/7/15 (수) 오후 02:00|301동 102호
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호
Leveraging Non-Conventional Computing for NextG WirelessMinsung Kim|Rutgers University2026/6/02 (화) 오후 03:00|302동 309-1호
Quad-Chiplet AI SoC with Full-Chip Scalable Mesh Over 16Gb/s UCIe-Advanced Die-to-Die Interface for Large-Scale AI Inferencing오진욱 박사 |Rebellions2026/5/27 (수) 오전 10:00|302동 311-1호
