ThanhVu Nguyen
unread,Apr 25, 2026, 10:47:00 AM (yesterday) Apr 25Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to deepak-kapur-memorial
= S N Maheshwari (Sachin)
== Professor, Department of Computer Science and Engineering, IIT Delhi
Sanjiva just told me about the passing away of Deepak. I am sad more than shocked. Every year when we met he seemed to have physically aged. But his conduct both physical and mental was so sharp that focus was never on the internal changes that were perhaps taking place. His involvements continued to be what they always had been. No letting off on any grounds. I met him first in the early 80s at the annual FST TCS conferences. What stood out was that unlike many others he always submitted his better papers at FST TCS. This was particularly impressive as there were not many among those who attended then with whom he could exchange ideas and/or collaborate. But he was always there. Looking back I would say he helped lay the foundation of automated theorem proving in India.
Over the last fifteen or twenty years my memories of Deepak are more of a social nature — time spent together on the Delhi campus on your annual visits. To me it was important that his visits to IIT be as smooth as they could be. Greatness had to be looked after particularly when the person wore it lightly.
I am sad for many reasons. I will miss his company, little discussions over sweet chai, and his aura. But your loss is much more profound. Only thing I will say to you is that rare persons like Deepak do not really go gently into night. They leave too much behind, not only in our memories but in the collective living of the community where his ideas will continue to challenge and inspire future generations for a long time.