2016 -2018 Research Fellow, Compiler and Static Analysis @
2014 -2016 R and D Engineer, Formal Verification @
2011 -2014 Research Assistant, PhD Fellow, Compiler @
2010 -2011 Mobile Software Director and Architect @
2008 -2010 Research Assistant @
Van Ngo Education
Hanoi University of Science and Technology
Talented Engineer Training Program (Computer Science)
Université Grenoble Alpes
Master (Computer Science)
Université de Rennes I
PhD (Computer Science)
Van Ngo Skills
Hardware Security Module (HSM)
Global Navigation Satellite System (GNSS)
LiDAR
Radar
SPI
I2C
CAN
Bluetooth Low Energy
Internet Protocol Suite (TCP/IP)
Aurix-Tricore
ARM Cortex-M
C (Programming Language)
Embedded Linux
OCaml Programming
Rust (Programming Language)
Real-Time Operating Systems (RTOS)
Embedded Software Design and Development
Formal Verification
Algorithms
Programming
Computer Science
Python
C++
Android
SystemC
Compiler Construction
Technical Design
Yices
C# .Net
C/C++
Synchronous Dataflow Languages
Performance Modeling and Analysis of Microprocessor Design
Static Analysis
Vhdl/Verilog
Embedded System Design and Development
Java
Mobile and Embedded Software Programming
iOS
Frama C
Management
Mobile Platforms
Prover
Engineering
Compiler Optimization
Programming Language Theory
Windows Mobile
Formal Verification of Hardware Design
Coq
Integration
Java/J2EE
Van Ngo Summary
Van Ngo, based in California, United States, is currently a Sr. Embedded SW, Linux Kernel Engineer, Tech Lead, Surgical Robotics at Intuitive. Van Ngo brings experience from previous roles at NIO, Motional and Aptiv. Van Ngo holds a Talented Engineer Training Program in Computer Science @ Hanoi University of Science and Technology. With a robust skill set that includes Hardware Security Module (HSM), Global Navigation Satellite System (GNSS), LiDAR, Radar, SPI and more. Van Ngo has 1 emails and 1 mobile phone numbers on RocketReach.
Looking for a different Van Ngo?
Find contact details for 700 million professionals.