Is HD Map Safe?
May 16, 2021
Is HD Map Safe
Read More
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.
May 16, 2021
March 19, 2021
March 16, 2021
January 22, 2021
January 20, 2021
January 19, 2021