Summary:

Ziyang is a current 4th year Ph.D. student in the University of Pennsylvania, advised by Prof. Mayur Naik. He is interested in the domains of neuro-symbolic methods, programming languages (PL), security, and machine learning (ML). Recently, he is focusing on building and extending Scallop, a neuro-symbolic programming language, in order to bridge the world of classical programming and automated reasoning with deep learning. He is awarded the AWS Fellowship 2023 for conducting research on trustworthy AI.

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, 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

In Submission
Workshop

Work Experiences

Fellowships

Teaching