Concepedia

Tianyi Zhang

TZ

4

Publications

218

Citations

4

H-Index

2019

Active since

Affiliations

Harvard University Press(Current)

University of California, Los Angeles

Tianyi Zhang is an author at Harvard University Press specializing in formal methods, program analysis, and software engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringData ScienceSoftware DesignSoftware TestingAutomated Reasoning

Publications per year

2019–2021

4

Publications

4

Rows per page

1–4 of 4