计算机学院系列讲座名家讲坛第37期——Deep Brain Stimulation: Opportunities in Cyber-Physical Systems Design & Verification

报告题目(Title)：Deep Brain Stimulation: Opportunities in Cyber-Physical Systems Design & Verification

时间(Date & Time)：15:00pm-17:00pm, Monday, August 17, 2026

地点(Location)：Seminar room 1504, Science Building No. 1

主讲人(Speaker)：Samarjit Chakraborty

邀请人(Host)：Naijun Zhan（詹乃军）

报告摘要(Abstract)：

Deep Brain Stimulation (DBS) has been shown to be an effective treatment for Parkinson’s Disease and is starting to be used to treat essential tremor, epilepsy, obsessive compulsive disorder and certain types of depression. DBS provides electrical stimuli to specific regions of the patient’s brain through surgically implanted electrodes that are wired to a pulse generator, also implanted inside the patient. While almost 10,000 DBS surgeries are already performed in the U.S. alone every year, research is actively being done to improve this technology. These include determining better electrode configurations and optimizing stimulation parameters by adjusting the pulse’s shape, amplitude, and frequency. Such parameters can either remain static and be manually adjusted by a neurologist, or use closed-loop feedback control that monitor neural data-based biomarkers to adjust the stimulation. Such adaptive approaches can not only lead to better patient outcomes as the condition of the patient evolves, but also reduce undesirable side effects and prolong the device’s battery life. This talk will provide a tutorial introduction to DBS, covering its history, clinical foundations, and emerging adaptive strategies. We will see that DBS is a compelling cyber-physical systems problem, involving questions in optimal control, reinforcement learning, formal verification, and resource & power-aware embedded systems design.

主讲人简介(Bio)：

Samarjit Chakraborty is a Kenan Distinguished Professor of Computer Science at UNC Chapel Hill. He is also an adjunct professor of Mathematics at UNC. Prior to coming here, he was a professor of Electrical Engineering at the Technical University of Munich in Germany, where he held the Chair of Real-Time Computer Systems. Before that he was an assistant professor of Computer Science at the National University of Singapore. He obtained his PhD from ETH Zurich. His research interests cover all aspects of designing embedded systems and software, with an emphasis on cyber-physical systems design, sustainable computing, and sensor network-based information processing. He serves/d on the editorial boards of several journals, including the ACM Transactions on Cyber-Physical Systems and the ACM Journal on Autonomous Transportation Systems. He and his students have won several best paper awards for their work, including the 2019 ACM Transactions on Design Automation of Electronic Systems Best Paper Award for their work on automotive security, and the 2021 ACM Transactions on Embedded Computing Systems Best Paper Award for their work on energy modeling of the Bluetooth Low Energy protocol. He is a Fellow of the IEEE, an ACM Distinguished Speaker, was offered a Humboldt Professorship in 2023, which is considered to be Germany's highest endowed research prize, and was awarded the 2025 Dieter Schwarz Courageous Research Grant. He is also a Fellow of the TU Munich's Institute of Advanced Study and is currently the elected Chair of SIGBED, which is ACM's Special Interest Group on Embedded Systems.

欢迎关注计算机学院微信公众号，了解更多讲座信息！

北京大学计算机学院