Date
2025-07-07 (Mon.) 10:30 ~ 11:30
Title / Speaker
How to Choose a Topic and Execute It
Dr. Mark Liao,
Institute of Information Science, Academia Sinica
(Change of date)
Place
Host
Summer School Adm Team
Date
2025-07-09 (Wed.) 10:00 ~ 12:00
Title / Speaker
Three Unintuitive Facts about Distances on Planar Graphs (Delivered in English)
Prof. Hsien-Chih Chang,
Department of Computer Science, Dartmouth College, USA
Place
Host
Meng-Tsung Tsai
Date
2025-07-10 (Thu.) 10:15 ~ 12:15
Title / Speaker
Hiding, Shuffling, and Cycle Finding: Quantum Algorithms on Edge Lists
Mr. Amin Shiraz Gilani,
University of Maryland
Place
Host
Kai-Min Chung
Date
2025-08-25 (Mon.) 10:00 ~ 12:00
Title / Speaker
[DLS2025-4]Scaling Formal Verification for Real System Software (Delivered in English)
Dr. Ed Huai-Hsin Chi,
Google DeepMind
Place
Host
Lun-Wei Ku
Date
2025-06-27 (Fri.) 10:00 ~ 12:00
Title / Speaker
On Model-Checking Higher-Order Effectful Programs (Delivered in English)
Prof. Ugo Dal Lago,
Università di Bologna, Italy
Place
Host
Yu-Fang Chen
Date
2025-06-26 (Thu.) 10:15 ~ 12:15
Title / Speaker
Adaptive Robustness of Hypergrid Johnson-Lindenstrauss
Prof. Andrej Bogdanov,
University of Ottawa
Place
Host
Kai-Min Chung
Date
2025-06-26 (Thu.) 10:00 ~ 12:00
Title / Speaker
Side-Channel Attacks against HQC and Countermeasures
Dr. Guillaume GOY,
XLIM, University of Limoges, France.
Place
Host
Bo-Yin Yang
Date
2025-06-23 (Mon.) 10:00 ~ 12:00
Title / Speaker
[DLS2025-3]Scaling Formal Verification for Real System Software (Delivered in English)
Prof. Jason Nieh,
Computer Science, Columbia University (USA)
Place
Host
Yu-Fang Chen
Date
2025-06-16 (Mon.) 14:40 ~ 16:40
Title / Speaker
Toward Robust and Reliable Large Language Models
Prof. Kuan-Hao Huang,
Texas A&M University
Place
Host
Lun-Wei Ku
Date
2025-06-12 (Thu.) 10:15 ~ 12:15
Title / Speaker
Quantum State Learning Implies Circuit Lower Bounds
Prof. Nai-Hui Chia,
Rice University
Place
Host
Kai-Min Chung
Date
2025-06-10 (Tue.) 14:00 ~ 15:00
Title / Speaker
Fault-Tolerant Belief Propagation for Practical Quantum Memory
Prof. Ching-Yi Lai,
National Yang Ming Chiao Tung University
Place
Host
Yu-Fang Chen
Date
2025-06-10 (Tue.) 09:00 ~ 10:00
Title / Speaker
Compiling High and Low Level Quantum Languages
Prof. Robert Rand,
University of Chicago, USA
Place
Host
Yu-Fang Chen
Date
2025-06-05 (Thu.) 13:30 ~ 15:30
Title / Speaker
Fine-Grained Complexity via Quantum Natural Proofs
Mr. Yan-Lin Chen,
Algorithm and Complexity group, CWI and QuSoft
Place
Host
Kai-Min Chung
Date
2025-06-05 (Thu.) 10:15 ~ 12:15
Title / Speaker
Pseudorandomness in the (Inverseless) Haar Random Oracle Model
Mr. Yao-Ting Lin,
UC Santa Barbara
Place
Host
Kai-Min Chung
Date
2025-05-28 (Wed.) 10:00 ~ 12:00
Title / Speaker
[DLS2025-1]Privacy and Bias in Computer Vision (Delivered in English)
Prof. Mubarak Shah,
Center for Research in Computer Vision University of Central Florida, USA
Place
Host
Mark Liao
Date
2025-05-26 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) --Model Attribution in Deepfake Videos/Images
Mr. Wasim Ahmad,
Institute of Information Science Academia Sinica
Place
Host
TIGP (SNHCC)
Date
2025-05-19 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- Analog Integrated Circuits for Intelligent Edge Computing
Prof. Sheng-Yu Peng,
Department of Electrical Engineering, NTUST
Place
Host
TIGP (SNHCC)
Date
2025-05-12 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- More than one user: paisona for geriatric care and interaction design
Prof. Chung-Ching Huang,
International Master's Program in Interdisciplinary Sustainability Studies, National Cheng Kung University
Place
Link: Please See Abstract Page.
Host
TIGP (SNHCC)
Date
2025-05-07 (Wed.) 10:15 ~ 12:15
Title / Speaker
Enhancing Quantum Key Distribution with Entanglement Distillation and Classical Advantage Distillation
Dr. SHIN SUN,
Okinawa Institute of Science and Technology
Place
Host
Kai-Min Chung
Date
2025-05-05 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- Making LLMs Find What You Really Need via Query Expansion
Dr. Chih-Ming Chen,
Research Center for Information Technology Innovation, Academia Sinica
Place
Host
TIGP (SNHCC)
Date
2025-04-28 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- HAAQI-Net: A Non-intrusive Neural Music Audio Quality Assessment Model for Hearing Aids
Ms. Dyah Ayu Wardhani,
Research Center for Information Technology Innovation, Academia Sinica
Place
Host
TIGP (SNHCC)
Date
2025-04-21 (Mon.) 10:30 ~ 12:30
Title / Speaker
TIGP (SNHCC) -- Beyond Algorithms: Human-Centered Approaches to Urban Informatics and Open Innovation
Dr. Sachit Mahajan,
ETH Zürich, Switzerland
Place
Host
TIGP (SNHCC)
Date
2025-04-07 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC)--Simulating the Daily Workflow of Financial Analysts
Dr. Chung-Chi Chen,
National Institute of Advanced Industrial Science and Technology, Japan
Place
Link: Please See Abstract Page.
Host
TIGP (SNHCC)
Date
2025-03-31 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- AI in ECG for Cardiac Arrhythmia Classification: Super-Resolution Techniques and Applications
Dr. Tsai-Min Chen,
Research Center for Information Technology Innovation, Academia Sinica
Place
Host
TIGP (SNHCC)
Date
2025-03-28 (Fri.) 10:30 ~ 12:30
Title / Speaker
Reconfigurable acceleration and emerging memory technologies for scalable sensor networks (Delivered in English)
Dr. Jeffrey Chen,
Computer Science PhD graduate, University of California, Irvine, USA
Place
Host
Yuan-Hao Chang
Date
2025-03-26 (Wed.) 10:15 ~ 12:15
Title / Speaker
Cryptographic Characterization of Quantum Advantage (Delivered in English)
Prof. Tomoyuki Morimae,
Yukawa Institute for Theoretical Physics, Kyoto University
Place
Host
Kai-Min Chung
Date
2025-03-24 (Mon.) 14:00 ~ 16:00
Title / Speaker
A formalization of mathematical analysis in Rocq prover (Delivered in English)
Dr. Takafumi Saikawa,
Nagoya University, Japan
Place
Host
Shin-Cheng Mu
Date
2025-03-24 (Mon.) 10:00 ~ 12:00
Title / Speaker
[DLS 2025-1]Video Understanding and Generation with Multimodal Foundation Models
Prof. Ming-Hsuan Yang,
Electrical Engineering and Computer Science, University of California at Merced, USA
Place
Host
Mark Liao
Date
2025-03-21 (Fri.) 10:15 ~ 12:15
Title / Speaker
Tighter Adaptive IBEs and VRFs: Revisiting Waters’ Artificial Abort (Delivered in English)
Dr. Shota Yamada,
CPSEC, Cyber Physical Security Research Center
Place
Host
Kai-Min Chung
Date
2025-03-20 (Thu.) 13:30 ~ 15:30
Title / Speaker
Memory-bounded Adversary
Dr. Akshima,
NYU Shanghai
Place
Host
Kai-Min Chung
Date
2025-03-17 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- Exploring Potential Solutions for Auditory Processing Deficits in Children with Reading Difficulties
Prof. Yu-Hsien (Natalie) Wang,
Department of Special Education, National Tsing Hua University
Place
Host
TIGP (SNHCC)
Date
2025-03-12 (Wed.) 10:30 ~ 12:30
Title / Speaker
Typed Meta-Programming with Splice Variables
Mr. Tsung-Ju Chiang,
University of Toronto, Canada
Place
Host
Liang-Ting Chen
Date
2025-03-10 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- Cortical activations for the symmetry effect on visual word form perception in Chinese developmental dyslexia
Dr. Shao-Chin Hung,
Department of Psychology, National Taiwan University
Place
Host
TIGP (SNHCC)
Date
2025-03-07 (Fri.) 14:00 ~ 16:00
Title / Speaker
On the insecurity of ROS (Delivered in English)
Dr. Michele Orrù,
Centre national de la recherche scientifique (CNRS)in Paris, France
Place
Host
Bo-Yin Yang
Date
2025-03-03 (Mon.) 15:00 ~ 16:00
Title / Speaker
Recent progress in lattice-based zero-knowledge proofs (Delivered in English)
Dr. Gregor Seiler,
IBM Research Europe
Place
Host
Bo-Yin Yang
Date
2025-02-24 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) --The Transformative Power of AI in Multifaceted Precision Medicine: From Paradigm Exploration to Smart Health Evolution
Dr. Yi-Ju Lee,
Institute of Statistical Science, Academia Sinica
Place
Host
TIGP (SNHCC)
Date
2025-02-21 (Fri.) 10:00 ~ 12:00
Title / Speaker
Context-bounded Verification of Multithreaded Shared Memory Programs (Delivered in English)
Prof. Ramanathan Thinniyam Srinivasan,
Uppsala University, Sweden
Place
Host
Yu-Fang Chen
Date
2025-02-20 (Thu.) 10:00 ~ 12:00
Title / Speaker
Entanglement-efficient distributed quantum computing
Prof. Jun-Yi Wu,
Department of Physics, Tamkang University
Place
Host
Yu-Fang Chen
Date
2025-02-17 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- Study of LLM for Speech Assessment
Dr. Ryandhimas Edo Zezario,
Research Center for Information Technology Innovation, Academia Sinica
Place
Host
TIGP (SNHCC)
Date
2025-02-06 (Thu.) 10:15 ~ 12:15
Title / Speaker
Beyond the Lazy versus Rich Dichotomy: Geometry Insights in Feature Learning from Task-Relevant Manifold Untangling
Dr. Chi-Ning Chou,
Flatiron Institute
Place
Host
Kai-Min Chung
Date
2025-01-24 (Fri.) 10:15 ~ 12:15
Title / Speaker
Estimating and Auditing (f-)DP
Prof. 呂昀Yun Lu,
University of Victoria
Place
Host
Kai-Min Chung
Date
2025-01-10 (Fri.) 10:15 ~ 12:15
Title / Speaker
Time-Space Lower Bounds for Finding Collisions in Merkle-Damgård Hash Functions
Prof. Siyao Guo,
NYU Shanghai
Place
Host
Kai-Min Chung
Date
2025-01-02 (Thu.) 10:00 ~ 12:00
Title / Speaker
A Generic Approach to Adaptively-Secure Broadcast Encryption in the Plain Model
Mr. Yao Ching Hsieh,
University of Washington
Place
Host
Kai-Min Chung