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

Selected Publications

* means corresponding author.


Honors & Awards


Software


Service

Mentoring

Courses


Students


Misc

Invited Talks


Visitors: