Yinxi Liu

I am an Assistant Professor in the Department of Cybersecurity at Rochester Institute of Technology, where I am affiliated with the Global Cybersecurity Institute and participate as a faculty member in the Computing and Information Sciences Ph.D. program. I received my Ph.D. degree in Computer Science and Engineering from The Chinese University of Hong Kong.

💡 I aim to ignite a beacon for vulnerability discovery in the sea of program states and execution paths.

My research provides (in)formal models of undesirable behaviors in various programs, significantly reducing the complexities involved in analyzing these programs for certain security risks.

This leads to a broad array of related topics in computer security, programming languages, software engineering, and algorithms & complexity, such as security audit, program analysis, test-input generation, and worst-case complexity of algorithms.

openings

I seek motivated students with solid programming skills to work with for at least 6 months, kindly read my letter to prospective students if you are interested.

Apart from doing research, I engage in regular workouts and also take pleasure in practicing Chinese calligraphy as a form of meditation.