Dr. S. Ramesh

Technical Fellow, General Motors R&D

Areas of Interest:

  • Embedded Software - Modeling, Testing and Verification.
  • Distributed Systems, Software Engineering.


Requirements Modeling and Analysis, Design Verification and Software Testing

Consultancy Areas:

Any of the above areas


Sector Associated With:


Sectors Interested to Offer Service:

Educational / Academic institutions, Industry (Private), R&D Organizations, Government (including funding agencies), Entrepreneurs, Venture Capitalists, Law Enforcement Agencies, Consultancy Firms, Private Agencies, Individuals

Major Professional Contributions:

More than 100 publications and in areas of Modeling, Verification and Testing of Embedded Systems, Disctributed Systems and Hardware Circuits, More than 10 patents in automotive embedded software modeling, analysis and testing.

Professional Experience:

  • Professor, Dept. of Computer Science & Engg., IIT Bombay.
  • Technical Fellow, General Motors R&D, India Science Lab., Bangalore.
  • Adjunct Professor, IIIT Bangalore.


High Level Modeling, Formal Methods, Verification, Testing, Embedded Systems, Cyber Physical Systems


Contact Information


Please contact me through email address.

Email: This email address is being protected from spambots. You need JavaScript enabled to view it.



  • PhD in Computer Science & Engineering.
  • IIT Bombay
    B.E. in Electronics & Communication Engineering.
  • IISc Bangalore.


Awards and Major Professional Recognitions

  • INAE Fellow.
  • Associate Editor in IEEE Embedded Systems Letters.
  • Real Time Systems and Eurasip Journal on Embedded Systems.
  • Keynote talks in many international conferences.

Link to Website

INAE Section Affiliated To: Section II: Computer Engineering and Information Technology

Year of Election to Fellowship: 2011

Year of Birth: 1958