Linyi Li
Assistant Professor In Computing Science at Simon Fraser University
Burnaby, British Columbia, Canada
Summary
👤
Senior🎓
Top SchoolLinyi Li is an Assistant Professor in Computing Science at Simon Fraser University with nine years of research and industry experience spanning deep learning, program synthesis, security, and software verification. He holds a PhD from UIUC and has interned at Microsoft Research, Fujitsu Americas, and Carnegie Mellon, working on program synthesis, static analysis, AutoML, and formalization. His industry stints include software analytics at Microsoft and backend development at Sogou, giving him practical production experience alongside academic rigor. Linyi’s work sits at the intersection of ML and formal methods, bringing probabilistic learning to traditionally symbolic problems—a theme visible across his internships and research. Based in Burnaby, he also pursues interests in geography and Chinese phonology, reflecting a broader curiosity that informs his interdisciplinary approach. Colleagues describe him as a researcher who blends theoretical depth with tooling-minded engineering to push verifiable, secure AI-powered software.
9 years of coding experience
PhD, Computer Science, PhD, Computer Science at University of Illinois Urbana-ChampaignComputer Science and Technology, Computer Science and Technology, Computer Science and Technology, Computer Science and Technology at Tsinghua University
中文官话(mandarin), 英语(english), 中文湘语(xiang), 中文粤语(cantonese), 土家语(tujia)
Github Skills (28)
toolbox10
stateless10
verification10
fairness-ml10
robustness10
attestation10
security9
datasets9
tss9
ranking9
transformation9
smoothing9
deep-learning9
transparency9
leaderboard9
Programming languages (6)
Github contributions (5)
llylly/DSRS
Jun 2022 - Oct 2022
Contributions:3 commits, 2 pushes, 3 branches in 4 months
AI-secure/VeriGauge
Mar 2020 - Jun 2022
A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
Contributions:28 commits, 1 PR, 8 pushes in 2 years 3 months
fairness-mlstatelessrobustnessdeep-learningtoolbox
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.