In this talk I will share some thoughts and suggestions that you may find useful (as a PhD student) while finishing your PhD dissertation research and planning a career after getting your PhD.

About the speaker: Chao Wang is an Associate Professor of Computer Science at the University of Southern California. His research interests are in software engineering and formal methods, with an emphasis on logic, verification and automated reasoning. He develops mathematically rigorous methods and tools for improving the safety, security and fairness of software systems. He has published a book, two edited books, and more than 100 papers. He has also won many awards, including NSF CAREER award, ONR Young Investigator award, ACM SIGPLAN Distinguished Paper award (PLDI 2023), ACM SIGSOFT Distinguished Paper awards (FSE 2018 and FSE 2010), and ACM SIGSOFT Distinguished Reviewer award (FSE 2024).