Coding Practice with Kick Start allows developers of all skill levels to: 🧠 practice solving competitive programming problems without the pressure of a scoreboard 🌎 connect with a global community 🎉 have fun Learn more and register ↓ goo.gle/3wWRdV6

#ROCSatIITMadras❓🙋🏽‍♀️🙋🏽‍♂️ How do I get admission into research programs at IIT Madras? Curious about research? Is research my calling? Join the workshop to find answers. Details cse.iitm.ac.in/pages.php?page… Register acmindia.explara.com/e/workshop-on-… #ACMIndiaCouncilGiri #ProfGiri

When you verify the base case after the induction hypothesis

If you're interested in my talks in Bengaluru, here's my talk schedule (please double-check times/locations on the respective organization sites). Four different topics, from PL to formal methods to CS education at collegiate and school levels. If you come by, say hi!

Open Day 2024 is here! ✨ 🏃‍♂️Visit our lush green campus on February 24th between 9 am to 5 pm to learn about the exciting research and activities happening here. 📲 Use the hashtag #IIScOpenDay2024 to get a chance to be featured on our page Details: openday.iisc.ac.in/index.php

There's a feedback system I use with my children every day that's changed how I praise them (or correct them). It's called DLP, which stands for Describe, Label, Praise. Here's how it works (short thread) 🧵

We cordially invite you to join this "Ask Me Anything" session where students and faculty of Computer Science and Automation (CSA) Department at IISc will introduce the PhD program of the department and will answer your questions about this program.

Attention all women students across the country! Apply for our summer school program in Mathematics and Statistics. Our two-week program will broaden your exposure to mathematics and statistics problem-solving skills. Apply by April 6th Webpage icts.res.in/program/swms20…

👀Watch his reaction to being awarded the 2024 Abel Prize: youtu.be/wDIqCN7E7VA?si…

“I’m not able to learn mathematics easily, I have to work. It takes a very long time and I have a terrible memory. I forget things. So I try to work, despite these handicaps, and the way I worked was trying to understand really well the simple things.” newscientist.com/article/242319…

@BernabeLou I'm talking from the pov of the average, see en.m.wikipedia.org/wiki/Friendshi…

Accepted papers at #STOC2025 are out. Excited about our paper on Vizing's theorem, that every graph of max degree ∆ can be edge colored using ∆+1 colors. It's one of my all time favorite thms. Happy that we can now find such colorings super fast, in near-linear time. 🧵⬇️

Dear All, we had the Aspiring IIScians Meet on the 17th, wherein IISc students talked about the various programmes at EECS, CDS, and CPS and answered prospective students' queries. You can watch the recording here: youtu.be/NrCavljgSrA