Shiqi Wang
AI Research Scientist at Meta
New York City Metropolitan Area United States
Summary
👤
Senior🎓
Top SchoolShiqi Wang is an AI research scientist and core contributor to Amazon CodeWhisperer and the Alpha-Beta-CROWN project, specializing in building and deploying large language models for code with a focus on reasoning, coding performance, and trustworthiness. With a PhD in Computer Science from Columbia and eight years of experience across industry research roles at AWS, Meta, and internships at Microsoft, IBM, and Baidu, she bridges cutting-edge research and production-grade ML systems. She led major pre- and post-training efforts, instruction tuning, and robust fine-tuning pipelines for Amazon Q inline (CodeWhisperer) and has authored multiple top-tier conference papers tied to product impact. Now at Meta’s TBD Lab, she continues to advance LLM code reasoning and RL-based approaches, bringing a rare combination of deep verification-oriented research (e.g., ABCROWN) and hands-on deployment experience. Notably, she has driven launches and tutorials that translate research insights directly into developer-facing tooling.
8 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Columbia UniversityBachelor's degree Cyber Security, Bachelor's degree Cyber Security at Shanghai Jiao Tong University
Github Skills (13)
alpha-beta10
robustness9
formal-verification8
security7
kubernetes6
scalable6
gpu6
deep-learning5
benchmark4
neural-network4
verification3
propagation2
pytorch2
Programming languages (3)
Github contributions (5)
tcwangshiqi-columbia/ReluVal
Jul 2018 - Dec 2019
The released code of ReluVal in USENIX Security 2018
Contributions:40 commits, 17 pushes in 1 year 4 months
releasedsecurity
tcwangshiqi-columbia/Neurify
Oct 2018 - Jul 2020
The released code of Neurify in NIPS 2018
Contributions:37 commits, 2 PRs, 33 pushes in 1 year 9 months
releasednips-2018kubernetesnips
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.