Events

Speaker: Mr. MAO Xinyu, PhD in Theoretical Computer Science, University of Southern California, Title: Black-Box Separation between Multi-Collision Resistance and Collision Resistance

Speaker: Dr. Yiyu Shi currently a professor in the Department of Computer Science and Engineering at the University of Notre Dame Title: When Small Variations Become Big Failures: Reliability Challenges in Computing-in-Memory Neural Accelerators

Speaker: Dr. ZHANG Xujun Postdoctoral Researcher, Zhejiang University Title: Methodological Study on Machine Learning-Based Molecular Docking

Speaker: Professor Ansuman BANERJEE Advanced Computing and Microelectronics Unit Indian Statistical Institute, Kolkata Title: Agentic AI and Formal Verification Joining Hands

Speaker: Patrick Groeneveld, Senior Fellow at AMD and adjunct lecturer in Stanford University’s Department of Electrical Engineering, Title: Place, Route, and Evolve: Design Lessons Shared by Silicon and Biology

Speaker: Professor ZHANG Hongce Assistant Professor, Microelectronics Thrust, The Hong Kong University of Science and Technology (Guangzhou) Title: AI for Hardware Formal Verification

Speaker: Dr. WANG Zhuang Senior Applied Scientist, Amazon Annapurna Labs Title: Scaling LLM Pre-training through Optimizing Data- and Management-Plane Communications