Prof. G. Sivakumar has been on the faculty of the Department of Computer Science and Engineering, IIT Bombay, since 1991. His core research interests are in the applications of Logic in diverse areas of Computer Science such as Artificial Intelligence, Software Engineering and Network Security. He is the Head of the Centre for Formal Design and Verification of Software (CFDVS) which undertakes projects related to design and verification of safety critical real-time systems. Such systems include computer based control systems used in nuclear reactors, space, avionics, process-control and robotics.
Prof. Sivakumar has published over 25 papers in reputed journals and conferences. He has supervised 10 Ph.D. Theses and over 100 Master’s theses. He has served as a member of IIT Bombay’s Board of Governor’s (2006-2007), and on the Governing Council of IDRBT since 2005. He was a Founder Member of the Open Source Software Resource Centre (with IBM and CDAC). He has been Chair of several national committees- Cloud interoperability and portability (CIP) set up by Meity, LITD 31, Cloud Computing, IT & Data Centres Sectional Committee set up by BIS and Cyber Security (CS) Panel of DRDO.
He has also served on the Technical Advisory Groups of Election Commission of India, GSTN, Department of Posts and RBI. He has served as an Independent Director on the Board of Andhra Bank, NPCI, CCIL and NSDL. He is currently an Independent Director at CCIL IFSC, IFTAS, IIBF and RBL Bank. Prof. Sivakumar’s other passions include chess, carnatic music and Sanskrit.
Details of Directorships and full-time positions in Body Corporates:
Prof. G. Sivakumar currently holds Directorship in CCIL IFSC Limited, Indian Financial Technology and Allied Services, Indian Institute of Banking and Finance and RBL Bank Limited.

