Date
2025-11-04 (Tue.) 10:30 ~ 12:30
Title / Speaker
Normalization and interpolation for semi-substructural logics
Dr. Cheng-Syuan Wan,
Tallinn University of Technology
Place
Host
Liang-Ting Chen
Date
2025-11-10 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) --Signal Processing Innovation for Hearing Assistive Devices in the AI Era
Dr. Enoch Hsin-Ho Huang,
Research Center for Information Technology Innovation, Academia Sinica
Place
Host
TIGP (SNHCC)
Date
2025-11-12 (Wed.) 10:00 ~ 12:00
Title / Speaker
[DLS2025-6]Recent Developments in Green Learning: New Modules and Examples (Delivered in English)
Distinguished Professor C.-C. Jay Kuo,
Electrical and Computer Engineering and Computer Science, University of Southern California, USA
Place
Host
Mark Liao
Date
2025-11-17 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- Teaching Machines to Speak Protein: AI for Therapeutic Peptide Discovery
Prof. Ching-Tai Chen,
Department of Computer Science, University of Taipei
Place
Host
TIGP (SNHCC)
Date
2025-12-05 (Fri.) 14:00 ~ 16:00
Title / Speaker
[DLS2025-7]Intelligent Heuristics Are the Future of Computing
Prof. Shanghua Teng,
School of Engineering, University of Southern California, USA
Place
Host
Kai-Min Chung
Date
2025-10-20 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) --Integrating Explainable AI with Computational Biomedicine for Human-Centered Clinical Decision Support
Prof. 蘇家玉,
Institute of Biomedical Informatics, College of Medicine, National Yang Ming Chiao Tung University
Place
Host
TIGP (SNHCC)
Date
2025-10-19 (Sun.) 10:10 ~ 10:40
Title / Speaker
[Open House ]Discovering Musical Structure with Artificial Intelligence
Dr. Li Su,
Institute of Information Science, Academia Sinica
Place
Host
Institute of Information Science
Date
2025-10-19 (Sun.) 09:30 ~ 10:10
Title / Speaker
[Open House]Deep Learning-based Animal Behavior Analysis
Dr. Mark Liao,
Institute of Information Science, Academia Sinica
Place
Host
Institute of Information Science
Date
2025-10-17 (Fri.) 10:00 ~ 12:00
Title / Speaker
[DLS2025-5] Quantum Frontiers: From Fundamental Theory to Real-World Impact
Dr. Min-Hsiu Hsieh,
Hon Hai Research Institute
Place
Host
Kai-Min Chung
Date
2025-10-14 (Tue.) 14:30 ~ 16:30
Title / Speaker
How to Verify that a Small Device is Quantum, Unconditionally? (Delivered in English)
Dr. Tamer Mour,
Bocconi University
Place
Host
Kai-Min Chung
Date
2025-10-13 (Mon.) 14:00 ~ 16:00
Title / Speaker
H4K20me3 reinforces breast cancer cell identity at distal enhancers
Dr. Ching-Hua Shih,
Department of Biomedical Genetics and the Wilmot Cancer Institute, University of Rochester Medical Center
Place
Host
Huai-Kuang Tsai
Date
2025-10-13 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- Virtual Musician: An Automated System for Generating Expressive Virtual Violin Performances from Music
Dr. Ting-Wei Lin,
Institute of Information Science, Academia Sinica
Place
Host
TIGP (SNHCC)
Date
2025-10-08 (Wed.) 10:30 ~ 12:30
Title / Speaker
Verification of Side-Channel Resilience and Probabilistic Equivalence Checking (Delivered in English)
Dr. Marc Gourjon,
Max Planck Institute for Security and Privacy
Place
Host
Bo-Yin Yang
Date
2025-09-22 (Mon.) 09:00 ~ 11:00
Title / Speaker
TIGP (SNHCC) --Automating the Academic Workflow: A Structured Approach to Research and Knowledge Management
Dr. Chi-Hua Wang,
Department of Statistics and Data Science, University of California, Los Angeles (UCLA)
Place
Link: Please See Abstract Page.
Host
TIGP (SNHCC)
Date
2025-09-15 (Mon.) 09:00 ~ 11:00
Title / Speaker
TIGP (SNHCC) -- Generative Data Science towards Trustworthy Data Collaboration
Dr. Chi-Hua Wang,
Department of Statistics and Data Science, University of California, Los Angeles (UCLA)
Place
Link: Please See Abstract Page.
Host
TIGP (SNHCC)
Date
2025-09-11 (Thu.) 10:00 ~ 12:00
Title / Speaker
[DLS2025-4]The Future of Personalized Universal Assistant (Delivered in English)
Dr. Ed Huai-Hsin Chi,
Google DeepMind
(Change of date)
Place
Host
Lun-Wei Ku
Date
2025-09-01 (Mon.) 14:00 ~ 16:00
Title / Speaker
TIGP (SNHCC) -- Beyond Code: Predicting and Adapting Programming Learning Through Personality Traits, Biosignals, and Behavioral Analytics
Prof. Chun-Hsiung Tseng,
Department of Communications Engineering, Yuan Ze University
Place
Host
TIGP (SNHCC)
Date
2025-08-22 (Fri.) 10:00 ~ 12:00
Title / Speaker
The Monitor Calculus: Modular Metatheories for Contract Systems
Dr. Shu-Hung You,
Northwestern University
Place
Host
Liang-Ting Chen
Date
2025-08-04 (Mon.) 14:30 ~ 16:00
Title / Speaker
A convergent sum-of-squares hierarchy for compiled nonlocal games
Mr. David Cui,
Massachusetts Institute of Technology
Place
Host
Kai-Min Chung
Date
2025-08-04 (Mon.) 10:30 ~ 12:00
Title / Speaker
High-Temperature Fermionic Gibbs States are Mixtures of Gaussian States
Ms. Yiyi Cai,
California Institute of Technology
Place
Host
Kai-Min Chung
Date
2025-08-01 (Fri.) 10:30 ~ 12:00
Title / Speaker
Quantum digital signature based on single-qubit without a trusted third-party
Prof. Masahito Hayashi,
日本名古屋大學（Graduate School Mathematics, Nagoya University）與香港中文大學（The Chinese University of Hong Kong）合聘教授
Place
Host
Kai-Min Chung
Date
2025-07-10 (Thu.) 13:30 ~ 15:30
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-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-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-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