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.
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.
You can look at the on-going report here. Hopefully, she/he will have a nice tool after.