返回导师列表
GS

G. Sivakumar

Professor · Computer Science and Engineering

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

简介

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.

教育经历

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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。