Summary:

Ziyang is a current 2nd year Ph.D. student in the University of Pennsylvania, advised by Prof. Mayur Naik. He is interested in the intersection of programming languages (PL), machine learning (ML), security, and automated reasoning systems. Recently, he is focusing on using differentiable reasoning + probabilistic databases to perform symbolic reasoning with learning systems.

Before pursuing Ph.D., he enjoyed doing research in computer graphics (CG) and human computer interaction (HCI). In his spare time, he enjoys coding, playing Piano, drawing, and making video games (checkout his personal website). Rust is his favorite programming language.

Information:
Education:
  • Ph.D. Computer and Information Science - University of Pennsylvania (07/2019 - Now)
  • B.S. Computer Science, B.S. Mathematics - University of California, San Diego (09/2015 - 06/2019)

Publications

Work Experiences

Fellowships

Teaching