Dr. S  Ramesh



General Motors Global R&D
 

Dr. S. Ramesh is a Lab Group Manager for the Rigorous Control Software Verification and Validation groups at the India Science Lab, in Bangalore, which is a part of General Motors Global R&D. 

At India Science Lab., he is leading a team of researchers who are involved in exploring new automated methods and tools for rigorous verification and testing of embedded control software in automotive applications.

Ramesh has a B.E. (Electronic & Communication Engineering) from Indian Institute of Science Bangalore and a Ph.D. (Computer Science & Engineering) from Indian Institute of Technology Bombay.  He has more than 20 years of research experience in the areas of high level language design, validation and verification of distributed systems, embedded software and hardware designs.  

Prior to joining GM, he was a Professor in the Indian Institute of Technology, Bombay and was directing a National Centre for Formal Design and Verification of Software which he co-founded.  As part of the Center activities, he carried out many industry-sponsored projects on verification of hardware and embedded software.

S. Ramesh has been actively involved in many national and international collaborative research projects.  He has published more than eighty papers in international conferences and journals, co-edited a few conference and workshop proceedings, special issues in international journals, been panelists and on the program committee for many International conferences, and refereed several papers for many international journals and conferences.

He has also several patents to his credit and recently won an internal award for his work on Testing of Control Software.

                                                                                                                                                                                                                      Back >>