AeroLeads people directory · profile
Lokesh Sharma Email & Phone Number
CPU Formal Verification @Qualcomm NUVIA | Oski (Nvidia)
at
Qualcomm
LinkedIn matched
✓ Verified May 2026
3 data sources
Profile completeness 100%
Current company
Role
CPU Formal Verification @Qualcomm NUVIA | Oski (Nvidia)
Location
India, India, India
Company size
Who is Lokesh Sharma? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Lokesh Sharma is listed as CPU Formal Verification @Qualcomm NUVIA | Oski (Nvidia) at Qualcomm, a company with 37431 employees, based in India, India, India. AeroLeads shows a matched LinkedIn profile for Lokesh Sharma.
Lokesh Sharma previously worked as Principal Engineer at Qualcomm. Lokesh Sharma holds Mtech, Ee from Indian Institute Of Technology, Roorkee.
Company email context
Email format at Qualcomm
This section adds company-level context without repeating Lokesh Sharma's masked contact details.
Qualcomm
Review company-level records connected to Lokesh Sharma before choosing the right outreach path.
Profile bio
About Lokesh Sharma
20+ years of diversified work experience in formal, simulation and RTL development- 10+ years at early-stage start-ups. Oski Technology was acquired by Nvidia in 2021, Tejas Networks (now a subsidiary of Tata Group) went public in 2017Speciality: End-to-End formal property verification (model checking) and building the FV team from scratch - expertise in formal only sign-off, coherency checks, system level deadlock, bug hunting etc.- deep understanding of advance abstraction techniques, architectural formal verification etc.- hands-on experience on all leading commercial formal tools: JasperGold, IFV, VC-Formal, OneSpin, Questa Formal- extensive experience in formally verifying control and data transport blocks of networking designs (NOC), interconnects (Arm AMBA), processors etc.Leadership experience: from “scoping of a project” to “recruiting/training/building a formal verification team” to “executing/managing the project”Familiar with simulation-based verification (UVM/VMM)
Listed skills include Formal Verification, Model Checking, Assertion Based Verification, Functional Verification, and 22 others.
Current workplace
Lokesh Sharma's current company
Company context helps verify the profile and gives searchers a useful next step.
Qualcomm
1 role
Lokesh Sharma work experience
A career timeline built from the work history available for this profile.
-
Principal EngineerNUVIA CPU formal verification- Developing FV test benches from scratch
Team & coworkers
Colleagues at Qualcomm
Other employees you can reach at qualcomm.com. View company contacts for 37431 employees →
SC
Sunil Chopra
Colleague at Qualcomm
South Delhi, Delhi, India, India
View →
JS
Joe Salazar
Colleague at Qualcomm
San Diego, California, United States, United States
View →
SA
S Ajith
Colleague at Qualcomm
Bengaluru, Karnataka, India, India
View →
JL
Jie L.
Colleague at Qualcomm
Shanghai, China, China
View →
BK
Behnam Khaleghi
Colleague at Qualcomm
San Diego, California, United States, United States
View →
SM
Sanjiv Madan
Colleague at Qualcomm
San Diego County, California, United States, United States
View →
MB
Megha Byahatti
Colleague at Qualcomm
Bengaluru, Karnataka, India, India
View →
AK
Abhimanyu Kumar
Colleague at Qualcomm
Bengaluru, Karnataka, India, India
View →
OF
Owen Feng
Colleague at Qualcomm
Taiwan, Taiwan, Province Of China
View →
VC
Venkatesh Choubey
Colleague at Qualcomm
Bengaluru, Karnataka, India, India
View →
Sunil Chopra
Colleague at Qualcomm
South Delhi, Delhi, India, India
View →
JS
Joe Salazar
Colleague at Qualcomm
San Diego, California, United States, United States
View →
SA
S Ajith
Colleague at Qualcomm
Bengaluru, Karnataka, India, India
View →
JL
Jie L.
Colleague at Qualcomm
Shanghai, China, China
View →
BK
Behnam Khaleghi
Colleague at Qualcomm
San Diego, California, United States, United States
View →
SM
Sanjiv Madan
Colleague at Qualcomm
San Diego County, California, United States, United States
View →
MB
Megha Byahatti
Colleague at Qualcomm
Bengaluru, Karnataka, India, India
View →
AK
Abhimanyu Kumar
Colleague at Qualcomm
Bengaluru, Karnataka, India, India
View →
OF
Owen Feng
Colleague at Qualcomm
Taiwan, Taiwan, Province Of China
View →
VC
Venkatesh Choubey
Colleague at Qualcomm
Bengaluru, Karnataka, India, India
View →
4 education records
Lokesh Sharma education
FAQ
Frequently asked questions about Lokesh Sharma
Quick answers generated from the profile data available on this page.
What company does Lokesh Sharma work for?
Lokesh Sharma works for Qualcomm.
What is Lokesh Sharma's role at Qualcomm?
Lokesh Sharma is listed as CPU Formal Verification @Qualcomm NUVIA | Oski (Nvidia) at Qualcomm.
Where is Lokesh Sharma based?
Lokesh Sharma is based in India, India, India while working with Qualcomm.
What companies has Lokesh Sharma worked for?
Lokesh Sharma has worked for Qualcomm.
Who are Lokesh Sharma's colleagues at Qualcomm?
Lokesh Sharma's colleagues at Qualcomm include Sunil Chopra, Joe Salazar, S Ajith, Jie L., and Behnam Khaleghi.
How can I contact Lokesh Sharma?
You can use AeroLeads to view verified contact signals for Lokesh Sharma at Qualcomm, including work email, phone, and LinkedIn data when available.
What schools did Lokesh Sharma attend?
Lokesh Sharma holds Mtech, Ee from Indian Institute Of Technology, Roorkee.
What skills is Lokesh Sharma known for?
Lokesh Sharma is listed with skills including Formal Verification, Model Checking, Assertion Based Verification, Functional Verification, Systemverilog, Verilog, Vmm, and Rtl Design.
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 Lokesh Sharma you were looking for.
View similar profiles
