HKU IDS Guest Seminar: Neuro-Symbolic Static Analysis for Reliable Software Systems

This event has passed.

HKU IDS Guest Seminar: Neuro-Symbolic Static Analysis for Reliable Software Systems

December 16, 2024 @ 2:00 pm - 3:00 pm HKT

Speaker

Dr. Chengpeng Wang

Post-Doctoral Research Associate, Purdue University

Details

Date:: December 16, 2024
Time:: 2:00 pm - 3:00 pm HKT
Event Category:: IDS Guest Seminar Series
Website:: https://datascience.hku.hk/2024/12/ids-distinguished-speaker-series-8-neuro-symbolic-static-analysis-for-reliable-software-systems/

Venue

: IDS Seminar Room, P603, Graduate House

Organizer

: HKU IDS
Phone: +852 3910 2323
Email: datascience@hku.hk
: View Organizer Website