Van Chan Ngo

Research interests are in formal methods, especially ML-based safety-critical applications such as autonomous driving software, programming languages, compilers, and language-based security. I am a member of the Principles of Programming Group, School of Computer Science, CMU.

Home Research Publications Talks About Search

Is HD Map Safe?

May 16, 2021

Is HD Map Safe
Read More

Is ML Algorithm-based Perception Safe?

March 19, 2021

Is ML Algorithm-based Perception Safe
Read More

Statistical Robustness for Automated Driving Software

March 16, 2021

Statistical Robustness for Automated Driving Software
Read More

Fix ST-Link for STM32 Blue Pill

January 22, 2021

Fix ST-Link for STM32 Blue Pill
Read More

ARM Assembly Data Types and Registers

January 20, 2021

ARM Assembly Data Types and Registers
Read More

Memory Management with std::allocator in C++

January 19, 2021

How to manage memory with std::allocator in C++
Read More
« Prev 1 2 3 4 5 6 7 Next »