IIT Madras · Research and education
Efficient, reliable and trustworthy software with mathematical guardrails.
FP Launchpad brings together functional programming, systems research, and formal methods. We build open-source systems and train the next generation of researchers, engineers, and maintainers.
About the centre →Our work
Research
From effect handlers and concurrent programming to verified runtimes and distributed systems.
Explore our research →Open source
Contributions to OCaml 5, multicore runtimes, and tools for building and testing real systems.
Explore our contributions →Education
Learn functional programming with our OCaml course, interactive book, and systems tutorials.
Explore learning resources →Latest
Coming up · 7–11 December: PL Winter School at IIT Madras. Explore the modules and provisional timetable.
People
Our faculty, research staff, fellows, and students work across programming languages, systems, and formal verification, supported by an international advisory board.
Stay in touch
For occasional updates on our work, events, and opportunities, subscribe to our newsletter by emailing contact@fplaunchpad.org with the subject “Subscribe to Newsletter”. You can also join the conversation on Zulip.