Name:Cheng Zhang

Bio:

Cheng Zhang is a postdoc research fellow at UCL Programming Principles, Logic, and Verification Group, working with Professor Alexandra Silva. Prior to that, he was a Ph.D. student at Boston University, supervised by Professor Marco Gaboardi.

His works range over a wide spectrum of theoretical and real-world problems in the field of Kleene Algebra and Coalgebra.

• On the theoretical side, he is interested in producing simple and elegant proofs of complicated results like completeness and decidablity.
• On the practical side, he is interested in all kinds of applications of Kleene Algebra in various fields of computer science, including but not limited to program logic, distributed system, and concurrency etc.

Country:United Kingdom

Affiliation:University College London (UCL)

Research interests:Program Verification, Coalgebra, Algebra