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 – 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,
H1, SIPCOT IT Park, Siruseri, Kelambakkam 603 103, India.
Phone: +91-44-2747 0226—0229 (Ext: 946)
Fax: +91-44-2747 0225
Home phone: +91-44-2466 0445
Mobile: +91-94449 23573
spsuresh AT cmi DOT ac DOT in
spsuresh AT me DOT com
vajrabhrt AT gmail DOT com