Team

KC Sivaramakrishnan

Head of FP Launchpad · Assistant Professor, CSE IIT Madras · CTO, Tarides

Builds robust, secure, and scalable systems using PL technology; led the development of Multicore OCaml, now OCaml 5.

Alina Banerjee

Research Staff (2025–), CSE IIT Madras

Working to improve semantics for the OCaml 5 effects system.

Navaneeth Nambiar

Research Staff

Performance evaluation, benchmarking, and eBPF-based tooling for OCaml runtime analysis.

Vimala Soundarapandian

PhD student (2020–), CSE IIT Madras · Prime Minister's Research Fellow

Formal verification of distributed systems; certified mergeable replicated data types; replication-aware linearizability.

Nitish Yadav

PhD student (2024–), CSE IIT Madras (PACE Lab)

Automated formal verification, model checking, distributed systems, cyber-physical systems.

Durwasa Chakraborty

PhD student (2025–), CSE IIT Madras

Programming languages, formal methods, data races, concurrent systems programming.

Sheera Shamsu

PhD student (2019–), CSE IIT Madras

Formal verification of garbage collectors for OCaml.

Sai Venkata Krishnan

PhD student (2021–), CSE IIT Madras · Prime Minister's Research Fellow

Memory and control-flow security; secure-by-default unikernels for IoT; hardware-software co-designed memory safety and compartmentalization.

Vishakh Desai

MS student (2025–), CSE IIT Madras

Formal methods and security analysis applied to election systems.

B Sanjeev Reddy

MS student (2025–), CSE IIT Madras

Integrating the MMTk memory management toolkit with the OCaml runtime.

Sagar Biswas

MTech student (2024–2026), CSE IIT Madras

High-performance computing, distributed systems, GPU acceleration (CUDA), multicore GC for OCaml.

Surendar

MTech student, CSE IIT Madras

Garbage collection for OCaml's effect handlers and continuation/fiber stack management.

Pranav Ramesh

BTech student (BTP, Spring 2026), CSE IIT Madras

Intersection of formal methods and large language models.

Aadi Srivastava

BTech student (UGRC, Spring 2026), CSE IIT Madras

Integrating the MMTk memory management toolkit with the OCaml runtime.

Md. Isfarul Haque

BTech student (2022 batch), CSE IIT Madras

Systems and OS developer; interests in type theory, Rust, hardware-software security.

Sanjay Karanth

Technical Program Manager

Head