Qian Meng is an accomplished researcher and software engineer with a strong background in symbolic execution, robotics, and programming languages. As an undergraduate researcher at the Hardware Security Lab at the University of North Carolina at Chapel Hill, Qian Meng developed a C++/Python-based symbolic execution engine that significantly improved bug detection in hardware designs. Graduate research experience includes work at Cornell University's Verifiable Robotics Research Group, where Qian Meng's projects enhanced robot robustness through AI-driven frameworks and assumption violation detection. Qian Meng also contributed to the Programming Language Research Group by creating tools for verifying probabilistic programs. Currently, Qian Meng is a software engineer at Google, focusing on conversational analytics for BigQuery. Educational qualifications include a Bachelor of Science in Mathematics and Computer Science from the University of North Carolina at Chapel Hill and a Master of Science in Computational Science from Cornell University.
This person is not in the org chart
This person is not in any teams
This person is not in any offices