CoqAI

Research interests are in embedded safety-critical systems, especially ML-based safety-critical applications such as autonomous driving software, programming languages, compilers, and language-based security. 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.

Home Research Publications Talks About Search

Paper at ESLsyn Conference

Van C. Ngo · September 13, 2016

Research

I found a student at IIT India implementing our work in the paper published at ESLSyn-DAC, IEEE, 2014 “Precise Deadlock Detection for Polychronous Data-flow Specifications”. She/he is guided by Dr. Sandeep Shukla.

Project

You can look at the on-going report here. Hopefully, she/he will have a nice tool after.