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. 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 implementation of embedded SW, embedded Linux from bare-metal, drivers, OS kernel, to middleware frameworks.

Knowledge and experience with Linux kernel including process management, memory management, synchronization methods, device driver development, and virtualization.

Knowledge and experience with SoC bring-up, RTOS, KVM/QEMU-based hypervisor and emulation, peripherals and communication protocols such as TCP/IP, CAN, I2C, SPI, PCIe, and DDS, ROS2 middleware frameworks.

Strong research and industry experience with design and development of compilers, code generators, and static analysis from scratch or using frameworks such as LLVM and MLIR.