Ramesh S

Dr. Ramesh S has been with General Motors R&D for more than 15 years conducting and leading advanced research projects in the areas of model-based development of embedded systems and software, rigorous verification & validation and more recently AI/ML based systems. Prior to joining GM R&D, he was on the faculty in the department of Computer Science & Engineering at Indian Institute of Technology Bombay, India where he co-founded a Centre for Formal Design and Verification of Software. He has published more than 125 research papers in International Journals & Conferences and author many patents in the areas of modeling, analysis and verification of embedded systems and software. He has been on the program committees of several international research conferences and on the editorial boards of journals. He is leading an USCAR committee and serving as an expert in ISO and SAE committees for developing guidelines for AI/ML based systems