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


[Publications] [Awards] [Software] [Service] [Students] [Misc]

I am looking for self-motivated students (undergraudate, graudate, ...) 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

Publications

* means corresponding author.


Grants & Awards


Software


Service

Mentoring

Courses


Students

  • Students

  • Misc

    Invited Talks


    Visitors: