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