AeroLeads people directory · profile
Jiaying Li Email & Phone Number
Staff Software Engineer
at
OMNIVISION
LinkedIn matched
✓ Verified Jul 2026
3 data sources
Profile completeness 86%
Current company
Role
Staff Software Engineer
Location
Singapore
Company size
Who is Jiaying Li? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Jiaying Li is listed as Staff Software Engineer at OMNIVISION, a with 1424 employees, based in Singapore. AeroLeads shows a matched LinkedIn profile for Jiaying Li.
Jiaying Li previously worked as Senior Software Development Engineer at 微软(中国)有限公司 and Research Scientist at Singapore Management University. Jiaying Li holds Doctor Of Philosophy (Phd), Formal Verification, Machine Learning from Singapore University Of Technology And Design (Sutd).
Company email context
Email format at OMNIVISION
This section adds company-level context without repeating Jiaying Li's masked contact details.
OMNIVISION
Review company-level records connected to Jiaying Li before choosing the right outreach path.
Profile bio
About Jiaying Li
Expert in AI, search, and formal verification.
Current workplace
Jiaying Li's current company
Company context helps verify the profile and gives searchers a useful next step.
Omnivision
4 roles · 9 years
Jiaying Li work experience
A career timeline built from the work history available for this profile.
Senior Software Development Engineer
Current- Bing search engine backend development/optimization.- QMtest: a testing toolkit for retrieval system.- OpenL1: A unified L1 Ranker Evaluation platform.- Customized search.- AI verification. (SFA, 2PA, and STM)- Agile development.
2021 - Present
~5 yrs 6 mos
Research Scientist
- Neural network analysis and verification.- SOCRATES: a unified analysis framework for DNNs.- Two abstraction refinement methods, one based on neuron split, the other based on abstraction debugging.- Mentoring Ph.D. and PostDoc.
2019 - 2021
~2 yrs
Research Fellow
- Smart contract analysis and verification.- sCompile, sVerify, XVerify: symbolic execution and invariant learning-based verification tools.- sOptimize: optimize gas usage of solidity contracts.- Explored compositional program testing and optimization-based constraint solving.- Mentoring Ph.D..
2018 - 2019
~1 yr
Team & coworkers
Colleagues at OMNIVISION
Other employees you can reach at ovt.com. View company contacts for 1424 employees →
CC
Chin Cheng Chang
Colleague at OmnivisionSan Francisco Bay Area, United States
View →
BC
Bodin Chan
Colleague at OmnivisionSan Jose, California, United States
View →
WC
Weber Cheng
Colleague at OmnivisionTaipei City, Taiwan, Province Of China
View →
TN
Trang Nguyen
Colleague at OmnivisionSan Jose, California, United States
View →
HE
Hiroaki Ebihara
Colleague at OmnivisionSanta Clara, California, United States
View →
胡
胡玉婷
Colleague at OmnivisionSongjiang District, Shanghai, China
View →
EL
Edward Lingenfelter
Colleague at OmnivisionSanta Clara, California, United States
View →
YJ
Yichu Jin
Colleague at OmnivisionShanghai, China
View →
PK
Peter Kang
Colleague at OmnivisionSouth Korea, Korea, Republic Of
View →
RS
Rinki Sharma
Colleague at OmnivisionBangalore Urban, Karnataka, India
View →
Chin Cheng Chang
Colleague at OmnivisionSan Francisco Bay Area, United States
View →
BC
Bodin Chan
Colleague at OmnivisionSan Jose, California, United States
View →
WC
Weber Cheng
Colleague at OmnivisionTaipei City, Taiwan, Province Of China
View →
TN
Trang Nguyen
Colleague at OmnivisionSan Jose, California, United States
View →
HE
Hiroaki Ebihara
Colleague at OmnivisionSanta Clara, California, United States
View →
胡
胡玉婷
Colleague at OmnivisionSongjiang District, Shanghai, China
View →
EL
Edward Lingenfelter
Colleague at OmnivisionSanta Clara, California, United States
View →
YJ
Yichu Jin
Colleague at OmnivisionShanghai, China
View →
PK
Peter Kang
Colleague at OmnivisionSouth Korea, Korea, Republic Of
View →
RS
Rinki Sharma
Colleague at OmnivisionBangalore Urban, Karnataka, India
View →
3 education records
Jiaying Li education
Doctor Of Philosophy (Phd), Formal Verification, Machine Learning
File Systems, Operating Systems
Institute Of Computing Technology, Chinese Academy Of Sciences
Bachelor Of Engineering (Beng), Computer Software Engineering, 3.9/4.0
FAQ
Frequently asked questions about Jiaying Li
Quick answers generated from the profile data available on this page.
What company does Jiaying Li work for?
Jiaying Li works for OMNIVISION.
What is Jiaying Li's role at OMNIVISION?
Jiaying Li is listed as Staff Software Engineer at OMNIVISION.
Where is Jiaying Li based?
Jiaying Li is based in Singapore while working with OMNIVISION.
What companies has Jiaying Li worked for?
Jiaying Li has worked for Omnivision, 微软(中国)有限公司, Singapore Management University, and Singapore University Of Technology And Design (Sutd).
Who are Jiaying Li's colleagues at OMNIVISION?
Jiaying Li's colleagues at OMNIVISION include Chin Cheng Chang, Bodin Chan, Weber Cheng, Trang Nguyen, and Hiroaki Ebihara.
How can I contact Jiaying Li?
You can use AeroLeads to view verified contact signals for Jiaying Li at OMNIVISION, including work email, phone, and LinkedIn data when available.
What schools did Jiaying Li attend?
Jiaying Li holds Doctor Of Philosophy (Phd), Formal Verification, Machine Learning from Singapore University Of Technology And Design (Sutd).
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Jiaying Li you were looking for.
View similar profiles
