deepak-kapur-memorial

This group is dedicated to the memory of Deepak Kapur (1950–2026), Distinguished Professor of Computer Science at the University of New Mexico and recipient of the 2009 Herbrand Award for distinguished contributions to automated reasoning.

Deepak made foundational contributions to automated deduction, term rewriting, unification theory, Gröbner basis computation, program analysis, and invariant generation. He touched the lives of countless colleagues, students, and collaborators across five decades of research spanning the US, Europe, Asia, and beyond.

This group serves as a coordination space for those who knew and worked with Deepak---to share memories, organize memorial events, and explore ways to honor his legacy, including a potential workshop or volume in his memory.

If you know of colleagues who should be included, please invite them or pass along the group address.

English