Team
Head
KC Sivaramakrishnan
Head, FP Launchpad · Asst. Professor, CSE IIT Madras · CTO, Tarides
Builds robust, secure, and scalable systems using PL technology; led the development of Multicore OCaml, now OCaml 5.
Research Staff
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
Research Staff, FP Launchpad
Formal verification of distributed systems; certified mergeable replicated data types; replication-aware linearizability.
Akhil Tulluri
Research Staff, FP Launchpad · Northeastern University
Previously MS CS student @ Northeastern University. Currently working on performance evaluation, benchmarking and formal verification (using F*/Pulse) of OCaml Runtime (Garbage Collectors) as part of FPLaunchpad.
Kartik Nagar
Faculty, FP Launchpad · Asst. Professor, CSE IIT Madras
Co-advisor on FPL formal-methods student projects; programming languages and verification.
PhD Students
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 · PMRF
Memory and control-flow security; secure-by-default unikernels for IoT; hardware-software co-designed memory safety and compartmentalization.
MS Students
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.
MTech Students
Prakhand Patel
MTech student (2025–), CSE IIT Madras
Final-year MTech student in CSE at IIT Madras, working on his Master's Thesis under Prof. KC Sivaramakrishnan in systems security. Passionate about building and understanding low-level systems.
BTech Students
Nandha Gopi Krishna N
BTech student (UGRC, 2026), CSE IIT Madras
Nandha is a Computer Science undergraduate at IIT Madras (2023 batch), with an interest in functional programming and formal methods.
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.
S Naveen
BTech student, IIIT Manipur
S Naveen is a 4th-year Computer Science undergraduate at IIIT Manipur, currently an exchange student at IIT Madras working on the CoreStack project. As the COO of O3Origin, he specialized in backend development with Django, system architecture, and building end-to-end data pipelines.
Program
Sanjay Karanth
Technical Program Manager, FP Launchpad
Post-Baccalaureate Fellows
Pragyansh Chaturvedi
Post-Baccalaureate Fellow, FP Launchpad · IIT Roorkee (Jun 2026 – Mar 2027)
CS Grad and open-source contributor, working on systems and PL problems at FPLaunchpad.
Avik Shakhari
Post-Baccalaureate Fellow, FP Launchpad · CMI
Smayan Agarwal
Post-Baccalaureate Fellow, FP Launchpad · Ashoka University
PL for social good. Automata Theory, Algebra, and Logic.
Dhruv
Post-Baccalaureate Fellow, FP Launchpad · IIT Bombay (Jul 2026 – Mar 2027)
Ex-Finance Bro rediscovering my love for all things geeky. Currently exploring my next gig at FP Launchpad. Broadly interested in Security, PL and low-level stuff.
Kaustubh
Post-Baccalaureate Fellow, FP Launchpad · BITS Pilani (Aug 2026 – Mar 2027)
Generalist programmer; interested in FOSS, self-hosting, and functional programming.
Vipul Cariappa
Post-Baccalaureate Fellow, FP Launchpad · Ramaiah University (Aug 2026 – Mar 2027)
Vipul Cariappa studied Computer Science and Engineering at Ramaiah University of Applied Science, Bangalore. During which he also worked at CERN, Geneva, as a Technical Student on Python - C/C++ interoperability. He is an open source contributor and maintainer and is interested in compiler technology and developer tools.
Interns
Chaitanya Agarwal
Intern, FP Launchpad · NYU (May 2026 – TBD)
I am a 3rd year computer science PhD student at the Courant Institute of Mathematical Sciences, New York University, advised by Joseph Tassarotti. I am broadly interested in formal methods. Lately, I have been working at the intersection of programming languages and formal verification for security properties.
Somnath Pai
Intern, FP Launchpad · CSE IIT Madras
BTech Student (2024 batch), CSE, IIT Madras. Currently working on proof-carrying code approaches for safe and efficient eBPF verification.
Alumni
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.
Harisankar Binod
Intern, FP Launchpad · NISER Bhubaneswar (Jun – Jul 2026)
Proof complexity, automated theorem proving, and type theory, using Lean 4 and Coq/Rocq.
V Krishnan
Intern (2026), FP Launchpad
Zeeshan Mohammed Rangrej
Intern, FP Launchpad · IIT Palakkad (May – Jul 2026)
Uttkarsh Tiwari
Intern (May – Jul 2026), FP Launchpad · NIT Mizoram
Anubhav Paul
Intern (May – Jul 2026), FP Launchpad
Md. Isfarul Haque
BTech student (2022 batch), CSE IIT Madras
Systems and OS developer; interests in type theory, Rust, hardware-software security.