He Zhuمشاهده پروفایل
استادیار
He Zhu is an Assistant Professor at Rutgers, The State University of New Jersey, affiliated with the Department of Computer Science. His research focuses on programming languages, compilers, wireless communications, IoT systems, and 5G network protocols. He received the PLDI 2019 Distinguished Paper Award for his contributions to formal methods in programming systems. His work addresses challenges in vehicle-to-everything (V2X) communication, resource allocation in sidelink networks, network security, and dynamic authorization frameworks for IoT devices. Key research interests include optimizing 5G NR (New Radio) protocols for vehicular environments, developing efficient data aggregation techniques for user equipment, and enhancing service layer mechanisms for IoT systems. He leads projects funded by the NSF, such as 'Formal Symbolic Reasoning of Deep Reinforcement Learning Systems,' and has contributed to advancements in beam management, RACH protocols, and energy-efficient DRX configurations in wireless networks. His office is located in Core 315. Notable Awards: PLDI 2019 Distinguished Paper Award Grants: NSF Grant: Formal Symbolic Reasoning of Deep Reinforcement Learning Systems His research group explores intersections between compiler design, distributed systems, and network architecture, with applications in smart mobility, edge computing, and secure IoT communication. He actively contributes to standards development for 5G and future generations of wireless networks.



