I am a final-year Ph.D. student in Computer Science and Engineering at the University of Michigan, Ann Arbor, where I am advised by Prof. Z. Morley Mao. I was software engineer intern at Google in 2022 summer and 2023 summer, worked on static analysis framework and formal verification of OS kernel.
I am broadly interested in computer security. During my Ph.D. study, my research uncovers security risks in cyber-physical systems (e.g., autonomous vehicles) via program analysis or adversarial machine learning. You can find my CV here.
I am open for full-time academic positions.