Back to advisors
GS

G. Sivakumar

Professor · Computer Science and Engineering

IIT Bombay · India
Logic in Computer ScienceFormal VerificationSafety Critical Real-Time SystemsComputer Networks

About

Professor at the Computer Science and Engineering Department at Indian Institute of Technology Bombay. Research interests include applications of Logic in Computer Science, with current focus on formal verification of safety critical real-time systems. Also interested in computer networks and free software.

Education

  • B.Tech. Electrical Engineering, IIT Madras, 1982
  • M.S. Computer Science, RPI, 1984
  • Ph.D. Computer Science, University of Illinois at Urbana-Champaign, 1988

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.