Ziyang Li
Assistant Professor at The Johns Hopkins University
Riderwood, Maryland, United States
Summary
👤
Senior🎓
Top SchoolZiyang Li is an Assistant Professor of Computer Science at Johns Hopkins University with a decade of experience spanning research, industry internships, and full‑stack engineering. He completed a PhD at the University of Pennsylvania after a BS in Computer Science from UC San Diego, and his work sits at the intersection of programming languages, neurosymbolic learning, and program synthesis. Ziyang has combined academic rigor with practical experience at organizations like RelationalAI and Visa and has a history of tutoring and mentoring across core CS subjects, reflecting a strong commitment to teaching and student development. Known among peers for the credo "No Code No Life," he welcomes students at all stages to join his lab, signaling an open, collaborative approach to research. An early career trajectory that includes CTO and product roles hints at a rare blend of research depth and product-minded engineering.
10 years of coding experience
5 years of employment as a software developer
University of California, San DiegoHigh School Computer Science, High School Computer Science at Shenzhen Middle SchoolDoctor of Philosophy - PhD Computer and Information Sciences and Support Services, Doctor of Philosophy - PhD Computer and Information Sciences and Support Services at University of Pennsylvania
English, Japanese, Chinese
Github Skills (67)
shodan10
symbolic-reasoning10
encryption10
datalog10
api10
translator10
logic10
logic-programming10
ssl10
decryption10
cryptography10
horn9
javascript9
crypto9
rust9
Programming languages (11)
Github contributions (5)
Liby99/Raytracer
Apr 2017 - Jun 2017
Contributions:168 pushes, 7 branches in 2 months
scallop-lang/scallop
Jul 2022 - Jan 2023
Framework and Language for Neurosymbolic Programming.
Contributions:4 releases, 5 reviews, 10 commits in 5 months
deep-learningfoundation-modelsmachine-learning-frameworkneurosymbolicsymbolic-reasoning
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.