Dr. S Sheerazuddin
Dr. S Sheerazuddin B.Tech, Ph D
S Sheerazuddin completed his B.Tech in Computer Science and Engineering from Regional Engineering College, Calicut (now known as NIT Calicut) in 2002. Thereafter, he joined The Institute of Mathematical Sciences, Chennai for an Integrated PhD program in Theoretical Computer Science. He submitted his PhD thesis in 2011. He successfully defended his thesis in January 2013.
He is interested mainly in theoretical aspects of computer science like, Formal Methods, Logic, Automata Theory and Distributed Systems, and their application to Web Services, Grid Computing etc. Currently, he is working on building a tool to check satisfiability for local logic formulas, which, in turn, can be used to solve realizability issues in Web service choreographies.
He has three publications to his credit, two of them in peer-reviewed international conferences. He has given many talks in various fora and attended many national and international level conferences and workshops.