s p suresh

Hi! Welcome to my home page. I am on the faculty of Theoretical Computer Science at the Chennai Mathematical Institute, Chennai. My research interests include (broadly) logic in computer science and formal methods for security protocols. I did my PhD at the Institute of Mathematical Sciences, with Jam.

My other interests include classical Indian logic and epistemology, Carnatic music, chess, and P G Wodehouse. And my mission in life is to prove beautiful theorems and present them in beautifully typeset papers &ndash really! At present I am learning (slowly but surely!) the typesetting part. Will turn my attention to the theorems eventually.


Professional activities


Upcoming events


Associate Professor, Chennai Mathematical Institute,
Plot H1, SIPCOT IT Park, Padur PO, Siruseri 603 103, India.
Phone: +91-44-2747 0226—0229 (Ext: 1370)
Fax: +91-44-2747 0225
spsuresh AT cmi DOT ac DOT in.