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

B-Tree

January 9, 2017

B-tree implementation in OCaml.
Read More

Red-Black Tree

January 2, 2017

Red-black tree implementation in OCaml.
Read More

Heap-Sort Algorithm

December 30, 2016

Heap-sort algorithm implementation in OCaml.
Read More

Binary Heap

December 1, 2016

Heap implementation in OCaml.
Read More

Dynamic Permutation

November 27, 2016

Dynamic permutation implementation in OCaml.
Read More

Permutation

November 22, 2016

Permutation implementation in OCaml.
Read More
« Prev 1 2 3 4 5 6 7 Next »