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
-
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
Upcoming events
-
FSTTCS 2010, December 15–18, 2010. IMSc, Chennai, India.
-
4th Indian Conference on Logic and its Applications, January 9–11, 2011. Delhi University, Delhi, India.
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.