fplaunchpad · kayceesrk · Apr 2, 2026 · Apr 2, 2026 · Apr 2, 2026 · Apr 2, 2026
diff --git a/_data/partners.yml b/_data/partners.yml
@@ -46,7 +46,7 @@
   website: https://cystar.iitm.ac.in/
   contact_person: ""
   contact_email: ""
-  logo: https://cystar.iitm.ac.in/wp-content/uploads/2024/07/IIT_Madras_Logo-2-1.png
+  logo: /assets/images/cystar-logo.png
   description: Centre for Cybersecurity, Trust and Reliability at IIT Madras — focused on cybersecurity research, education, and global collaboration.
   history: ""
   future_plan: ""

diff --git a/_data/team.yml b/_data/team.yml
@@ -92,3 +92,10 @@
       website: https://innocentzero.is-a.dev
       designation: BTech student (2022 batch), CSE IIT Madras
       bio: Systems and OS developer; interests in type theory, Rust, hardware-software security.
+
+- role: Program
+  members:
+    - name: Sanjay Karanth
+      photo: /assets/images/sanjay-karanth.jpeg
+      designation: Technical Program Manager
+      bio: ""
diff --git a/_layouts/education.html b/_layouts/education.html
@@ -3,3 +3,9 @@
 ---
 {{ content }}
 {% include education-graph.html %}
+
+<h2>Lean</h2>
+
+<ul>
+  <li><a href="https://github.com/pranavramesh2003/CS_Exebit_Lean_Workshop">Workshop: Introduction to Lean</a> — Pranav Ramesh</li>
+</ul>
diff --git a/_posts/2026-03-06-applications-open-post-bacc-fellowship.md b/_posts/2026-03-06-applications-open-post-bacc-fellowship.md
@@ -19,7 +19,7 @@ The fellowship sits at the centre of everything FP Launchpad does. Fellows work
 
 The core idea is a tight feedback loop between research and real systems. Research hypotheses are explored by building and deploying actual software, not isolated prototypes. When something breaks in deployment, that feeds back into the research. When a new idea works in the lab, it gets pushed into production. This is the model behind OxCaml at Jane Street, where a principled, fast-moving language is used in production at scale, failures are caught early, and rolled back safely. FP Launchpad aims to capture that same spirit.
 
-You will not work in isolation. You will be part of a cohort of 8 fellows, working alongside each other, learning from each other, and building a shared culture. You will be mentored by FP Launchpad faculty and interact with members of our [advisory board](/charter/), including researchers and engineers from [Jane Street](https://www.janestreet.com/), Purdue, UC San Diego, Brown, Cambridge, Microsoft Research, and elsewhere. You will have funded trips to present your work at international conferences, workshops, and summer/winter schools, as well as funded visiting researcher positions at partner universities around the world, where there is collaboration and mutual interest.
+You will not work in isolation. You will be part of a cohort of 8 fellows, working alongside each other, learning from each other, and building a shared culture. You will be mentored by FP Launchpad faculty and interact with members of our [advisory board](/charter/), including researchers and engineers from [Jane Street](https://www.janestreet.com/), Purdue, UC San Diego, Brown, Cambridge, Microsoft Research, and elsewhere. You will have funded trips to present your work at international conferences, workshops, and summer/winter schools, as well as funded visiting researcher positions at partner universities around the world, where there is collaboration and mutual interest. In addition, you will have access to frequent talks by visiting researchers and experts, and associated events, that comes from being on a vibrant academic campus at IITM.
 
 Fellows have real agency in shaping their research direction. You will arrive with interests and ideas, and together with your mentors, define the problems you work on. The application asks what you want to build. We take that seriously.
 

diff --git a/_posts/2026-04-02-propl-2026.md b/_posts/2026-04-02-propl-2026.md
@@ -0,0 +1,9 @@
+---
+layout: post
+title: "Call for Papers: PROPL 2026 — Programming for the Planet (PLDI 2026 Workshop)"
+date: 2026-04-02
+---
+
+[PROPL 2026](https://pldi26.sigplan.org/home/propl-2026) (Programming for the Planet) is an open working meeting co-located with [PLDI 2026](https://pldi26.sigplan.org/) in Boulder, Colorado (June 15–19, 2026). The workshop brings together climate practitioners and computing researchers to develop requirements and technical approaches for a next-generation planetary compute engine — a large-scale system for continuous collection, processing, and analysis of Earth's environmental data.
+
+Position papers (1 page) are due **April 24, 2026**. See the [workshop page](https://pldi26.sigplan.org/home/propl-2026) for details.
diff --git a/assets/images/balaraman-ravindran.jpeg b/assets/images/balaraman-ravindran.jpeg
diff --git a/assets/images/chris-casinghino.jpeg b/assets/images/chris-casinghino.jpeg
diff --git a/assets/images/cystar-logo.png b/assets/images/cystar-logo.png
diff --git a/assets/images/sanjay-karanth.jpeg b/assets/images/sanjay-karanth.jpeg
diff --git a/index.md b/index.md
@@ -23,16 +23,16 @@ The Functional Programming (FP) Launchpad at [IIT Madras](https://www.iitm.ac.in
   <li><img src="https://www.cse.iitm.ac.in/~ayon/images/ayon.jpg" alt="Ayon Chakraborty"><span><a href="https://www.cse.iitm.ac.in/~ayon/">Ayon Chakraborty</a>, Assistant Professor, Computer Science and Engineering, IIT Madras</span></li>
   <li><img src="https://www.cse.iitm.ac.in/~mukulika/mukulika.jpg" alt="Mukulika Maity"><span><a href="https://www.cse.iitm.ac.in/~mukulika/">Mukulika Maity</a>, Assistant Professor, Computer Science and Engineering, IIT Madras</span></li>
   <li><img src="https://kartiknagar.github.io/authors/admin/avatar_hu5e211fc92955e0d7ae0916788998d721_97472_250x250_fill_q90_lanczos_center.jpg" alt="Kartik Nagar"><span><a href="https://kartiknagar.github.io/">Kartik Nagar</a>, Assistant Professor, Computer Science and Engineering, IIT Madras</span></li>
-  <li><img src="/assets/images/person-placeholder.svg" alt="Patanjali SLPSK"><span><a href="https://wsai.iitm.ac.in/faculty/patanjali-slpsk/">Patanjali SLPSK</a>, Assistant Professor, Wadhwani School of Data Science and AI, IIT Madras</span></li>
-  <li><img src="/assets/images/person-placeholder.svg" alt="Balaraman Ravindran"><span><a href="https://www.cse.iitm.ac.in/~ravi/">Balaraman Ravindran</a>, Professor and Head, Wadhwani School of Data Science and AI, IIT Madras</span></li>
+  <li><img src="https://wsai.iitm.ac.in/images/people/patanjali.jpeg" alt="Patanjali SLPSK"><span><a href="https://wsai.iitm.ac.in/faculty/patanjali-slpsk/">Patanjali SLPSK</a>, Assistant Professor, Wadhwani School of Data Science and AI, IIT Madras</span></li>
+  <li><img src="/assets/images/balaraman-ravindran.jpeg" alt="Balaraman Ravindran"><span><a href="https://www.cse.iitm.ac.in/~ravi/">Balaraman Ravindran</a>, Professor and Head, Wadhwani School of Data Science and AI, IIT Madras</span></li>
   <li><img src="https://www.cse.iitm.ac.in/~chester/pubs/chet.png" alt="Chester Rebeiro"><span><a href="https://www.cse.iitm.ac.in/~chester/">Chester Rebeiro</a>, Professor, Computer Science and Engineering, IIT Madras</span></li>
-  <li><img src="/assets/images/person-placeholder.svg" alt="Gopalakrishnan Srinivasan"><span><a href="https://sites.google.com/view/gsgopal">Gopalakrishnan Srinivasan</a>, Assistant Professor, Computer Science and Engineering, IIT Madras</span></li>
+  <li><img src="https://cystar.iitm.ac.in/wp-content/uploads/2025/09/Gopal-inner.webp" alt="Gopalakrishnan Srinivasan"><span><a href="https://sites.google.com/view/gsgopal">Gopalakrishnan Srinivasan</a>, Assistant Professor, Computer Science and Engineering, IIT Madras</span></li>
 </ul>
 
 ### Advisory Board
 
 <ul class="people-list">
-  <li><img src="/assets/images/person-placeholder.svg" alt="Chris Casinghino"><span><a href="https://tyconmismatch.com/">Chris Casinghino</a>, Software Engineer, Jane Street</span></li>
+  <li><img src="/assets/images/chris-casinghino.jpeg" alt="Chris Casinghino"><span><a href="https://tyconmismatch.com/">Chris Casinghino</a>, Software Engineer, Jane Street</span></li>
   <li><img src="https://www.cs.purdue.edu/homes/suresh/suresh.med.jpg" alt="Suresh Jagannathan"><span><a href="https://www.cs.purdue.edu/homes/suresh/">Suresh Jagannathan</a>, Professor, Purdue University</span></li>
   <li><img src="https://ranjitjhala.github.io/static/rj-color.jpg" alt="Ranjit Jhala"><span><a href="https://ranjitjhala.github.io/">Ranjit Jhala</a>, Professor, University of California, San Diego</span></li>
   <li><img src="https://cs.brown.edu/~sk/Images/me-2019-04-10-small.jpg" alt="Shriram Krishnamurthi"><span><a href="https://www.cs.brown.edu/~sk/">Shriram Krishnamurthi</a>, Professor, Brown University</span></li>

diff --git a/training.md b/training.md
@@ -4,5 +4,7 @@ title: Education
 permalink: /education/
 ---
 
+## OCaml
+
 A curated learning path for functional systems programming in OCaml. The graph below maps out the key tutorials and their prerequisites — click any node to open the tutorial.