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호
Scaling Video Reasoning for the Real WorldJaehong Yoon|Nanyang Technological University (NTU)2026/4/16 (목) 오전 11:00|302동 107호
Optimizing the Linux Scheduler for Gaming... and the Road Ahead민창우 박사|Igalia2026/4/07 (화) 오후 02:00|301동 203호
Bridging Human Intent and Generative AI: Alignment, Articulation, and AdaptationLinping YUAN|HKUST2026/3/27 (금) 오전 11:30|311-1호 소프트웨어실습실
Using Visuals to Communicate with AIJian Zhao|University of Waterloo2026/3/27 (금) 오전 11:00|311-1호 소프트웨어실습실
