中央研究院 資訊科學研究所

主題 / 主講人

Normalization and interpolation for semi-substructural logics
萬承軒 博士, 塔林科技大學

主題 / 主講人

TIGP (SNHCC) --Signal Processing Innovation for Hearing Assistive Devices in the AI Era
黃心和 博士, 中央研究院資訊科技創新研究中心

主題 / 主講人

[DLS2025-6]Recent Developments in Green Learning: New Modules and Examples (以英文演講)
郭宗杰 特聘教授, Electrical and Computer Engineering and Computer Science, University of Southern California, USA

主題 / 主講人

TIGP (SNHCC) -- Teaching Machines to Speak Protein: AI for Therapeutic Peptide Discovery
陳鯨太 教授, 臺北市立大學資訊科學系

主題 / 主講人

[卓越演講2025-7]Intelligent Heuristics Are the Future of Computing
滕尚華 教授, School of Engineering, University of Southern California, USA

主題 / 主講人

TIGP (SNHCC) --Integrating Explainable AI with Computational Biomedicine for Human-Centered Clinical Decision Support
Emily Chia-Yu Su 教授, 國立陽明交通大學生物醫學資訊研究所

主題 / 主講人

[院區開放]以人工智慧技術尋找音樂的結構
蘇 黎 博士, 中央研究院資訊科學研究所

主題 / 主講人

[院區開放]以深度學習為基礎的動物行為分析系統
廖弘源 博士, 中央研究院資訊科學研究所

主題 / 主講人

[DLS2025-5] Quantum Frontiers: From Fundamental Theory to Real-World Impact
謝明修 博士, 鴻海研究院

主題 / 主講人

How to Verify that a Small Device is Quantum, Unconditionally? (以英文演講)
Tamer Mour 博士, 博科尼大學

主題 / 主講人

H4K20me3 reinforces breast cancer cell identity at distal enhancers
石清華 博士, Department of Biomedical Genetics and the Wilmot Cancer Institute, University of Rochester Medical Center

主題 / 主講人

TIGP (SNHCC) -- Virtual Musician: An Automated System for Generating Expressive Virtual Violin Performances from Music
林鼎崴 博士, 中央研究院資訊科學研究所

主題 / 主講人

Verification of Side-Channel Resilience and Probabilistic Equivalence Checking (以英文演講)
Marc Gourjon 博士, Max Planck Institute for Security and Privacy

主題 / 主講人

TIGP (SNHCC) --Automating the Academic Workflow: A Structured Approach to Research and Knowledge Management
王啟樺 博士, Department of Statistics and Data Science, University of California, Los Angeles (UCLA)

主題 / 主講人

TIGP (SNHCC) -- Generative Data Science towards Trustworthy Data Collaboration
王啟樺 博士, Department of Statistics and Data Science, University of California, Los Angeles (UCLA)

主題 / 主講人

[DLS2025-4]The Future of Personalized Universal Assistant (以英文演講)
紀懷新 博士, Google DeepMind (日期異動)

主題 / 主講人

TIGP (SNHCC) -- Beyond Code: Predicting and Adapting Programming Learning Through Personality Traits, Biosignals, and Behavioral Analytics
曾俊雄 教授, 元智大學電機工程學系

主題 / 主講人

The Monitor Calculus: Modular Metatheories for Contract Systems
游書泓 博士, 美國西北大學

主題 / 主講人

A convergent sum-of-squares hierarchy for compiled nonlocal games
David Cui 先生, 美國麻省理工學院

主題 / 主講人

High-Temperature Fermionic Gibbs States are Mixtures of Gaussian States
Yiyi Cai 小姐, 加州理工學院

主題 / 主講人

Quantum digital signature based on single-qubit without a trusted third-party
Masahito Hayashi 教授, 日本名古屋大學（Graduate School Mathematics, Nagoya University）與香港中文大學（The Chinese University of Hong Kong）合聘教授

主題 / 主講人

Hiding, Shuffling, and Cycle Finding: Quantum Algorithms on Edge Lists
Amin Shiraz Gilani 先生, 美國馬里蘭大學

主題 / 主講人

Three Unintuitive Facts about Distances on Planar Graphs (以英文演講)
Hsien-Chih Chang 教授, Department of Computer Science, Dartmouth College, USA

主題 / 主講人

[暑期實習生專屬場] 我如何挑選題目並加以執行
廖弘源 博士, 中央研究院資訊科學研究所 (更改日期)

主題 / 主講人

On Model-Checking Higher-Order Effectful Programs (以英文演講)
Ugo Dal Lago 教授, 義大利波隆那大學

主題 / 主講人

Adaptive Robustness of Hypergrid Johnson-Lindenstrauss
Andrej Bogdanov 教授, 加拿大渥太華大學

主題 / 主講人

Side-Channel Attacks against HQC and Countermeasures
Guillaume GOY 博士, XLIM, University of Limoges, France.

主題 / 主講人

[卓越演講114-3]Scaling Formal Verification for Real System Software (以英文演講)
Jason Nieh 教授, Computer Science, Columbia University (USA)

主題 / 主講人

Toward Robust and Reliable Large Language Models
Kuan-Hao Huang 教授, 德克薩斯州 A&M 大學

主題 / 主講人

Quantum State Learning Implies Circuit Lower Bounds
賈乃輝 教授, 美國萊斯大學

主題 / 主講人

Fault-Tolerant Belief Propagation for Practical Quantum Memory
賴青沂 教授, 國立陽明交通大學

主題 / 主講人

Compiling High and Low Level Quantum Languages
Robert Rand 教授, 美國芝加哥大學

主題 / 主講人

Fine-Grained Complexity via Quantum Natural Proofs
陳彥霖 先生, 荷蘭國家數學和電腦科學研究學會暨量子研究中心

主題 / 主講人

Pseudorandomness in the (Inverseless) Haar Random Oracle Model
林耀廷 先生, 美國聖塔芭芭拉加利福尼亞大學

主題 / 主講人

[卓越演講114-1]Privacy and Bias in Computer Vision (以英文演講)
Mubarak Shah 教授, Center for Research in Computer Vision University of Central Florida, USA

主題 / 主講人

TIGP (SNHCC) -- 基於深度偽造影片與圖像之模型歸屬分析技術
汪新 先生, 中央研究院 資訊科學研究所

主題 / 主講人

TIGP (SNHCC) -- Analog Integrated Circuits for Intelligent Edge Computing
彭盛裕 教授, 國立台灣科技大學電機工程系

主題 / 主講人

TIGP (SNHCC) -- More than one user: paisona for geriatric care and interaction design
黃仲菁 教授, 國立成功大學全校永續跨域國際碩士學位學程

主題 / 主講人

Enhancing Quantum Key Distribution with Entanglement Distillation and Classical Advantage Distillation
孫欣 博士, 沖繩科學技術大學院大學

主題 / 主講人

TIGP (SNHCC) -- Making LLMs Find What You Really Need via Query Expansion
陳志明 博士, 中央研究院資訊科技創新研究中心

主題 / 主講人

TIGP (SNHCC) -- HAAQI-Net: A Non-intrusive Neural Music Audio Quality Assessment Model for Hearing Aids
尤岱亞 小姐, 中央研究院資訊科技創新研究中心

主題 / 主講人

TIGP (SNHCC) -- Beyond Algorithms: Human-Centered Approaches to Urban Informatics and Open Innovation
沙齊 博士, 蘇黎世聯邦理工學院

主題 / 主講人

TIGP (SNHCC)--Simulating the Daily Workflow of Financial Analysts
陳重吉 博士, 產業技術綜合研究所

主題 / 主講人

TIGP (SNHCC) -- AI in ECG for Cardiac Arrhythmia Classification: Super-Resolution Techniques and Applications
陳在民 博士, 中央研究院資訊科技創新研究中心

主題 / 主講人

Reconfigurable acceleration and emerging memory technologies for scalable sensor networks (以英文演講)
Jeffrey Chen 博士, Computer Science PhD graduate, University of California, Irvine, USA

主題 / 主講人

Cryptographic Characterization of Quantum Advantage (以英文演講)
森前智行 教授, 京都大學基礎物理學研究所

主題 / 主講人

A formalization of mathematical analysis in Rocq prover (以英文演講)
才川隆文 博士, 日本名古屋大學

主題 / 主講人

[卓越演講114-1]Video Understanding and Generation with Multimodal Foundation Models
楊明玄 教授, Electrical Engineering and Computer Science, University of California at Merced, USA

主題 / 主講人

Tighter Adaptive IBEs and VRFs: Revisiting Waters’ Artificial Abort (以英文演講)
山田翔太 博士, 日本產業技術綜合研究所，先進密碼學研究團隊，網路物理安全研究中心

主題 / 主講人

Memory-bounded Adversary
Akshima 博士, 中國上海紐約大學

主題 / 主講人

TIGP (SNHCC) -- Exploring Potential Solutions for Auditory Processing Deficits in Children with Reading Difficulties
王玉賢 教授, 國立清華大學特殊教育學系

主題 / 主講人

Typed Meta-Programming with Splice Variables
江宗儒 先生, 加拿大多倫多大學

主題 / 主講人

TIGP (SNHCC) -- Cortical activations for the symmetry effect on visual word form perception in Chinese developmental dyslexia
洪紹芹 博士, 台大心理系

主題 / 主講人

On the insecurity of ROS (以英文演講)
Michele Orrù 博士, Centre national de la recherche scientifique (CNRS)in Paris, France

主題 / 主講人

Recent progress in lattice-based zero-knowledge proofs (以英文演講)
Gregor Seiler 博士, IBM Research Europe

主題 / 主講人

TIGP (SNHCC) -- The Transformative Power of AI in Multifaceted Precision Medicine: From Paradigm Exploration to Smart Health Evolution
李易儒 博士, 中央研究院統計科學研究所

主題 / 主講人

Context-bounded Verification of Multithreaded Shared Memory Programs (以英文演講)
Ramanathan Thinniyam Srinivasan 教授, 瑞典烏普薩拉大學

主題 / 主講人

Entanglement-efficient distributed quantum computing
吳俊毅 教授, 淡江大學物理系

主題 / 主講人

TIGP (SNHCC) -- Study of LLM for Speech Assessment
李安德 博士, 中央研究院資訊科技創新研究中心

主題 / 主講人

Beyond the Lazy versus Rich Dichotomy: Geometry Insights in Feature Learning from Task-Relevant Manifold Untangling
周紀寧 博士, Flatiron Institute

主題 / 主講人

Estimating and Auditing (f-)DP
呂昀Yun Lu 教授, 加拿大維多利亞大學

主題 / 主講人

Time-Space Lower Bounds for Finding Collisions in Merkle-Damgård Hash Functions
郭斯瑤 教授, 上海紐約大學

主題 / 主講人

A Generic Approach to Adaptively-Secure Broadcast Encryption in the Plain Model
謝耀慶 先生, 美國華盛頓大學