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 @ TPL Group
2008 -2010 Research Assistant @
Van Ngo Education
Inria France
PhD (Computer Science)
Université Grenoble Alpes
Hanoi University of Science and Technology
Talented Engineer Training Program (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, Surgical Robotics at Intuitive. Van Ngo brings experience from previous roles at NIO, Motional and Aptiv. Van Ngo holds a PhD in Computer Science @ Inria France. With a robust skill set that includes Hardware Security Module (HSM), Global Navigation Satellite System (GNSS), LiDAR, Radar, SPI and more. Van Ngo has 2 emails and 1 mobile phone numbers on RocketReach.
Looking for a different Van Ngo?
Find contact details for 700 million professionals.