Prof. Shrawan Kumar earned his PhD in Computer Science from Indian Institute of Bombay, Mumbai (India) and is Bachelor of Technology in Computer Science from IIT Kanpur. Prof Kumar has more than 35 years of industrial experience which includes system programming (compilers and operating systems development), design and development of business applications, and design and development of various tools using ideas from core computer science.
Presently, Prof. Kumar is a principal scientist with TCS Research and has been with the organization since more than 25 years. At TCS Research, he is leading research teams in area of program synthesis, program analysis and formal methods. Prior to this role, he has been instrumental in design and development of a data flow analysis framework at TCS research. In his early days at TCS research, he has worked on applying compiler-compiler technology to language conversion tools. He has served on program committees of conferences, and to his credit has publications in top rated conferences.
