1. Community

Seminars

2026

FHE for SIMD Arithmetic Logic Units with O(1) Bootstrapping

Hongren Zheng
|Tsinghua University
2026/6/11 (Thu) PM 02:00
|
302동 309-1호
대표 이미지

Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL

Simon Foster
|University of York in the UK
2026/6/08 (Mon) PM 02:00
|
302동 106호
대표 이미지

[Distinguished Lecture Series] Unlock Furiosa RNGD's Full Potential with Kernel Programming

강지훈
|FuriosaAI
2026/6/04 (Thu) PM 12:00
|
302동 105호
대표 이미지

Leveraging Non-Conventional Computing for NextG Wireless

Minsung Kim
|Rutgers University
2026/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

오진욱 박사
|Rebellions
2026/5/27 (Wed) AM 10:00
|
302동 311-1호
대표 이미지

Scaling Video Reasoning for the Real World

Jaehong Yoon
|Nanyang Technological University (NTU)
2026/4/16 (Thu) AM 11:00
|
302동 107호
대표 이미지

Optimizing the Linux Scheduler for Gaming... and the Road Ahead

민창우 박사
|Igalia
2026/4/07 (Tue) PM 02:00
|
301동 203호
대표 이미지

Spatial Physical Generative AI

김태균 교수
|KAIST
2026/3/30 (Mon) PM 02:00
|
302동 106호
대표 이미지

Bridging Human Intent and Generative AI: Alignment, Articulation, and Adaptation

Linping YUAN
|HKUST
2026/3/27 (Fri) AM 11:30
|
311-1호 소프트웨어실습실
대표 이미지

Using Visuals to Communicate with AI

Jian Zhao
|University of Waterloo
2026/3/27 (Fri) AM 11:00
|
311-1호 소프트웨어실습실