Son Le

Son Le Email and Phone Number

Formal Verification Engineer at Intel Corporation @ Intel Corporation
(408) 765-8080
Son Le's Location
Portland, Oregon, United States, United States
Son Le's Contact Details

Son Le personal email

n/a
About Son Le

Currently a Formal Verification Engineer at Intel working on datapath verification.Former PhD student with research area in Formal Verification Methodologies for NULL Convention Logic (NCL) Circuits. Experienced using temporal logic to formulate first-order logic models and properties. Proficient at encoding proofs in SMT-LIB format for validation. Working experience with SMT and SAT solving tools such as Z3, and commercial tools such as JasperGOLD SEC. Former Embedded Linux Developer with experience throughout the embedded software stack, from low-level device drivers in the kernel and u-boot, customizing embedded Linux distributions using Yocto and OpenEmbedded, UI and application-level development using C++ and the Qt Framework, and testing using Python and GTest.

Son Le's Current Company Details
Intel Corporation

Intel Corporation

View
Formal Verification Engineer at Intel Corporation
(408) 765-8080
Website:
intel.com
Employees:
10
Son Le Work Experience Details
  • Intel Corporation
    Formal Verification Engineer
    Intel Corporation Nov 2020 - Present
    Santa Clara, California, Us
    View
  • John Deere
    Software Design Engineer Ii
    John Deere Jun 2019 - Oct 2020
    Moline, Il, Us
    View
  • John Deere
    Software Design Engineer
    John Deere Jun 2016 - Jun 2019
    Moline, Il, Us
    View
  • John Deere
    Software Design Intern
    John Deere Oct 2015 - Jun 2016
    Moline, Il, Us
    View
  • North Dakota State University
    Graduate Research Assistant
    North Dakota State University Sep 2017 - May 2020
    Fargo, Nd, Us
    View
  • Seagate Technology
    Firmware Intern
    Seagate Technology May 2015 - Aug 2015
    Fremont, Ca, Us
    View
  • Mosaic Sales Solutions
    Samsung Experience Consultant
    Mosaic Sales Solutions Jun 2014 - May 2015
    Chicago, Illinois, Us
    View

Son Le Skills

Embedded Systems C Java Matlab Firmware Marketing Python Embedded Linux Linux Git C++ Engineering Electronics Team Leadership Leadership Teamwork Semiconductors Spc Talent Acquisition Manufacturing Product Development

Son Le Education Details

  • North Dakota State University
    North Dakota State University
    Computer Engineering
  • North Dakota State University
    North Dakota State University
    Computer Engineering

Frequently Asked Questions about Son Le

What company does Son Le work for?

Son Le works for Intel Corporation

What is Son Le's role at the current company?

Son Le's current role is Formal Verification Engineer at Intel Corporation.

What is Son Le's email address?

Son Le's email address is le****@****ere.com

What is Son Le's direct phone number?

Son Le's direct phone number is +170156*****

What schools did Son Le attend?

Son Le attended North Dakota State University, North Dakota State University.

What are some of Son Le's interests?

Son Le has interest in Science And Technology, Education.

What skills is Son Le known for?

Son Le has skills like Embedded Systems, C, Java, Matlab, Firmware, Marketing, Python, Embedded Linux, Linux, Git, C++, Engineering.

Who are Son Le's colleagues?

Son Le's colleagues are Yohann Burette, Emma Song, Kilian Roth, Jose Ulloa, Lior Cohavi, Shah Zaib, Chika Nduka.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.