Ulka Kelkar

I chat about Maths andAI with my friend and colleague @harishseshadri2 tonight on this All India Radio program youtube.com/watch?v=Nj5N-d…

(1/3) Under a Net Zero-aligned pathway, India's industrial emissions could fall significantly. However, the nature of emissions itself begins to change: energy-related emissions decline with cleaner fuels, while hard-to-abate process emissions become a growing challenge.

A delightful blog post by one of the prizewinners at the @emergence_ai Hackathon "LeanLang for verified autonomy". Amazing projects at the hacakthon. Soundness and Sambar at IISc Bangalore disq.us/t/53xgx9a

The Hackathon "LeanLang for Verified Autonomy" by #iisc and @emergence_ai had participants starting @leanprover from scratch and delivering projects in 10 days. The participants rose to the challenge and delivered amazing projects.

Congratulations to all our Hackathon winners on their well-deserved success, and thank you to everyone who helped make this event such a success. The creativity, technical depth, and innovation across the submissions were incredible to see.

1st Prize goes to provedSRE by Sachin Singh for delivering the highest-graded project, recognised by the judges for its realistic Kubernetes model and strong theorem proving.

2nd Prize goes to QueryBridge by Vimala S. and Durwasa Chakraborty for achieving end-to-end verification with a working LLM → jq → SQL pipeline.

My students come up with the best team names: "Sambar & Soundness" :-) Given that the hackathon was at IISc Bangalore, I wonder whether sambar is the local sweeter variant (which I don't mind, honestly). durwasa-chakraborty.github.io/posts/hackatho…

This infographic explores how the composition of industrial #emissions could shift over time, highlighting the need for targeted technologies, #innovation and policy support to achieve deep industrial #decarbonisation. For more, read WRI India’s paper: go.wri.org/5Feegb

India’s #cleanenergy transition will reshape not just emissions, but also public finances. Our analysis shows that a phased carbon tax could help India recover nearly 90% of fossil fuel tax revenue losses by 2047.

(2/2) However, renewable energy bottlenecks related to grid integration, storage capacity and land requirement could slow the transition. Read the full analysis: shorturl.at/GeJCl #NetZero #IndustrialDecarbonisation #ElectricityDemand #RenewableEnergy

(1/2) India’s electricity demand is set to surge by 2050. But emissions don’t have to follow. Our research shows that if the current green policies are fully implemented, emissions from the power sector could fall significantly, even as demand rises.

Most programming languages help you write code. Lean helps you prove it’s correct. That’s what makes the Emergence Lean Hackathon so interesting right now: it’s not just about building with AI, it’s about building systems you can actually trust. Imagine something as complex as airline scheduling, where something as simple as ensuring a plane's next flight departs from where it last landed becomes critical. Lean doesn't let you ignore edge cases; it forces you to encode assumptions upfront and prove there are no silent, minor failures that cascade into massive consequences. When you connect that to AI, the shift is obvious. It’s not just about generating code faster, it’s about verifying it as you go. That’s the difference between a demo and something that holds up in the real world. 2 days to go. If you’re following or taking part in the hackathon, this is a great place to start: youtube.com/watch?v=uLGpTy…

We had the privilege of bringing together an incredible lineup of speakers exploring the frontiers of LeanLang, formal verification, and scalable AI systems 👇 - Prasenjit Dey (EVP & India Head, Emergence) & Senthil Kandasamy (Distinguished Scientist, AI for Sciences, Emergence) opened the day with perspectives on the future of AI and its role in scientific innovation. - Siddhartha Gadgil (Professor, IISc Bangalore) led Leaping into LeanLang: a deep dive into formal reasoning, proof systems, and why Lean is becoming essential for the next generation of AI + math. - Dr. T V H Prathamesh (Assistant Professor, Computer Science, KREA University) delivered an Introduction to LeanLang: building foundational understanding and practical entry points into the Lean ecosystem. - Abhishek Kumar Singh (Assistant Professor, IIIT Hyderabad) spoke on Trustworthy Parallel Computing for AI at Scale: addressing reliability and performance challenges in large-scale AI systems. - Ashish Mishra (Assistant Professor of Computer Science, IIT Hyderabad) presented Refinement Types for Verification, Synthesis, and (now) Testing: advancing how we ensure correctness and robustness in modern software systems. Today's workshop introduced the participants to Lean and formal verification. Grateful for the insights, discussions, and energy throughout the day.

At a workshop co-organised by Department of Department of HSS - IIT Tirupati and WRI India, challenges on cooling data centres came into focus. As AI drives growth, conversations include water stress, land use, and wider environmental impacts. #DataCentre #DigitalFuture

@YouTube A short sequel: youtu.be/fg46LBojqB4

A taste of LeanLang youtu.be/uLGpTy6OoYI?si… via @YouTube

Personal Sustainability: The Billion Acts of Change When systems change slowly, can individuals lead? How do we make sustainable living aspirational, accessible, and mainstream for every Indian? Join the inspiring discussion at the #NDTVIndiaSustainabilityMission 2.0, only on: March 25, 3:00 PM Onwards NDTV Network & ndtv.com/indiasustainab… Powered by Lloyds Metals (@lloyds_metals) Energy Transition Partner Borosil Renewables (@BorosilRenew) Associate Partner ChargeZone (@ZoneCharge) Associate Partner Madhur Sugar

The newly formed emergence lab x.com/SidGadgil/stat… kicks off with a hackathon to build verified autonomous AI. Do join us for two days in Bangalore followed by 10 days building with online support.

Today, we’re excited to introduce Emergence India Labs: India’s first dedicated frontier AI lab focused on autonomous agents, based in Bengaluru.