Personal information
Program analysis and verification, Program synthesis, Security, Automated reasoning
China
Biography
I am broadly interested in topics related to programming languages, software engineering, and cybersecurity, with an emphasis on using program reasoning techniques to ensure software reliability
Activities
Employment (1)
Assistant Professor
(Computer Science and Technology)
Employment
Source:
Yao, Peisen