News

Events

  • Building Post-DeploymentSafeguards for Digital Assets

    Time:2026.04.10 14:00

    Location:SEIEE 4-E Valley

    Speaker:Xingliang Yuan

  • Distributed Broadcast and BatchedIBE from Pairings

    Time:2026.04.01 11:30

    Location:SEIEE 4-E Valley

    Speaker:Hoeteck Wee

  • Reasoning about statistical properties in relational structures

    Time:2025.12.16 14:00

    Location: SElEE 3-414

    Speaker:Bakh Khoussainov

  • OptimizingTransformer inference:From Algorithmic innovationsto Hardware-Aware Engineering

    Time:2025.11.11 16:00

    Location:SEIEE 3-414

    Speaker:Martin Fajcik

  • Security Analysis for Opaque Systems

    Time:2026.03.06 12:00

    Location:SEIEE 3-414

    Speaker:Qinying Wang

  • Future-proofing Programmers: Knowledge Tracing by AI Copilots

    Time:2026.01.09 12:00

    Location:SEIEE 3-414

    Speaker:TAN CHEE WEI

  • ArbiterOS: A Neuro-SymbolicArchitecture for Principled AgentEngineering and Continual Learning

    Time:2025.12.23 14:00

    Location:SEIEE 3-412

    Speaker:Qiang Xu

  • Mathematical Al: Problems, Tools,and Applications

    Time:2025.12.19 10:00

    Location: SElEE 3-412

    Speaker:Shui Yu

  • The Technological Imperative for Ethical Evolution

    Time:2025.10.26 10:00

    Location:SEIEE 3-200

    Speaker:PROF. MARTIN E. HELLMAN

  • Inferring PID Parameter Specification for Flight Control Program by Coordinate Search

    Time:2025.09.26 12:00

    Location:SEIEE 3-414

    Speaker:王思奥

  • How to Build Al Agent, How to Build Agentic Al, and How to Build Automatically? - with the applications on cybersecurity

    Time:2025.09.15 10:00

    Location:SEIEE 3-412

    Speaker:Liu Yang

  • Neoteric Frontiers in Cloud and Quantum Computing

    Time:2025.08.26 9:30

    Location:SEIEE 3-414

    Speaker:Prof. Rajkumar Buyya

  • Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario Generation

    Time:2025.08.06 10:00

    Location:SEIEE 3-517A

    Speaker:Yinxing Xue

  • Towards Building Scalable Constant-Round MPC from Minimal Assumptions via Round Collapsing

    Time:2025.07.16 13:00

    Location:SEIEE 4-E Valley

    Speaker:李君儒

  • Good Quantum Codes from Nearly Self-Orthogonal Linear Codes

    Time:2025.05.30 12:00

    Location:SEIEE 4-E Valley

    Speaker:Ling San

  • Advancing Al in loT Systems for Smart Health

    Time:2025.05.29 10:00

    Location:SEIEE 3-414

    Speaker:Xiaomin Ouyang