Photo

Yao Peisen ()

Assistant Professor
School of Cyber Science and Technology
College of Computer Science and Technology
Zhejiang University

Office: Room 9362, ZJU-Hangzhou Global Scientific and Technological Innovation Center
Email: pyaoaa@zju.edu.cn

Official homepage at ZJU: https://person.zju.edu.cn/en/pyao


[Research Interests] [Publications] [Software] [Service] [Students] [Misc]

I am looking for self-motivated students to work with. If you are interested, please drop me an email:).


News


Research Interests

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, e.g.,

Current Research Projects


Publications

* means corresponding author.


Software


Service

Mentoring

Courses


Invited Talks


Misc



Visitors: