Yinxi Liu, PhD Student, Computer Science and Engineering, the Chinese University of Hong Kong
Tuesday, February 27, 2024, 09:00
- 10:00
Building 9, Level 4, Room 4225
Contact Person
Living in a computer-reliant era, we’re balancing the power of computer systems with the challenges of ensuring their functional correctness and security. Program analysis has proven successful in addressing these issues by predicting the behavior of a system when executed.