Haipeng Cai
Associate Professor
Buffalo, New York, United States
Summary
👤
Senior🎓
Top SchoolHaipeng Cai is an associate professor and computer science researcher specializing in program analysis and its applications to software engineering and security, now leading work on traditional and neural program analysis for software security and reliability. He brings a decade of experience that spans academic research—PhD and postdoc work on static and dynamic dependence analyses and their use in testing, debugging, and code-change management—and four prior years in computer graphics and visualization. Before academia he spent four years in diverse industry roles from embedded systems to e-commerce security middleware and internet search services, giving him practical product- and team-level engineering experience. Skilled as a software architect and technical manager, he marries rigorous formal techniques with pragmatic systems thinking to tackle real-world security problems. Based in Buffalo, NY, he playfully signs GitHub as "Coding worm," reflecting a hands-on, exploratory coding style alongside his scholarly work.
10 years of coding experience
Bachelor of Engineering (B.E.), Bachelor of Engineering (B.E.) at Wuhan UniversityDoctor of Philosophy (PhD), Doctor of Philosophy (PhD) at University of Notre DameMaster of Science (M.S.), Master of Science (M.S.) at University of Southern MississippiMaster of Engineering (M.Eng.), Master of Engineering (M.Eng.) at Zhejiang University
English, Chinese
Github Skills (11)
science10
ranking10
react9
computer-science9
python3
jekyll3
abstract-interpretation3
program-analysis2
cross-language2
static-analysis2
github-pages1
Programming languages (2)
Github contributions (5)
chapering/InShape
Dec 2015 - Mar 2021
Contributions:1 release, 1 push, 7 branches in 5 years 3 months
r-zh/Jimple
Jan 2016 - Jun 2017
Contributions:94 commits in 1 year 5 months
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.