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.
Programme Committee, CiE 2013
Co-chair of Programme Committee, 4th Indian School on Logic and Applications
Programme Committee, 7th Methods for Modalities workshop (M4M 2011), 10–12 November 2011, Osuna, Spain.
Programme Committee, 4th Indian Conference on Logic and its Applications
Programme Committee, Sixth International Conference on Information Systems Security
Organizing Committee, ICM satellite conference on set theory and mathematical logic, August 15–17, 2010. Chennai Mathematical Institute, Chennai, India.
Programme Committee, FSTTCS 2009
Organizing Committee, 3rd Indian Conference on Logic and its Applications
Programme Committee, FSTTCS 2008
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