GradNova

Y

Yizhou Zhang

Assistant Professor

David R. Cheriton School of Computer Science, University of Waterloo

Research Interests

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Misinformation and Its Impacts

Software Engineering Research

Academic Metrics

Links

Grants