Provable Trustworthy Machine Learning through Differential TrustHanshen Xiao|Purdue University2026/7/15 (Wed) PM 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 (Tue) AM 11:00|302동 209호
Compilers as Guardians: Reliability and Security in Intermittent Computing정창희(Changhee Jung)|Purdue University2026/7/07 (Tue) AM 09:30|302동 208호
Complexity of sampling and volume computation국윤범(Yunbum Kook)|Georgia Institute of Technology2026/7/03 (Fri) AM 10:00|302동 311-1호
Akita - A high-performance lattice-based polynomial commitment schemeQuang Vu Dao |Carnegie Mellon University2026/6/24 (Wed) PM 02:00|302동 309-1호
FHE for SIMD Arithmetic Logic Units with O(1) BootstrappingHongren Zheng|Tsinghua University2026/6/11 (Thu) PM 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 (Mon) PM 02:00|302동 106호
[Distinguished Lecture Series] Unlock Furiosa RNGD's Full Potential with Kernel Programming강지훈|FuriosaAI2026/6/04 (Thu) PM 12:00|302동 105호
Leveraging Non-Conventional Computing for NextG WirelessMinsung Kim|Rutgers University2026/6/02 (Tue) PM 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 (Wed) AM 10:00|302동 311-1호