About

I received my Engineer degree (equivalent to Diplôme d’Ingénieur) from Hanoi University of Technology with excellent ranking, my M.Sc in Computer Science (under a French government scholarship, Évariste Galois program) from Joseph Fourier University (Université de Grenoble), and my Ph.D from Inria France under the supervision of Dr. Jean-Pierre Talpin. I was research fellow in Computer Science at Carnegie Mellon University.

I am interested in building reliable and secure computer systems by developing formal frameworks which guarantee that software satisfies formally its specification, especially embedded safety-critical software such as automotive, avionic, and health-care applications. The construction of a formal framework involves the research and knowledge of principles of programming languages, compiler design and development, and formal methods including model checking, theorem proving, and static analysis for providing formal assurances that the specification is fulfilled.

Hands-on architecture design and coding of embedded safety-critical firmware and software from bare-metal, OS abstraction, middleware, to applications layers for SoC with both microcontrollers (MCU) and microprocessors (MPU). They can be machine learning-based software in robotics, automotive, medical, and aerospace industries

Deep knowledge and strong experience with HW bring-up, FreeRTOS, Zephyr RTOS, embedded Linux, kernel module development, communication protocols such as Ethernet TCP/IP, Bluetooth, CAN, LIN, peripherals like UART, GPIO, USB, I2C, SPI, HSM, middleware frameworks like ROS2, DDS, RPC, SOA, and QEMU emulation