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 will continue to dicuss about the essential data structures and how they are implemented in a functional programming language, OCaml. In this post, I will talk about Red-Black tree and how it can be implemented in OCaml.
These color bits are used to ensure the tree remains approximately balanced during insertions and deletions.