Ramesh Sethu has been with General Motors for more than 13 years where he currently holds the position of Senior Technical Fellow and thrust area lead for model-based embedded software. At General Motors, he is responsible for providing technical leadership for research and development in several areas related to Electronics, Control & Software processes, methods, and tools.
Earlier he held the following positions: Lab Group Manager for research groups on Software & Systems Verification & Validation, in India Science Lab, GM R&D India, Professor, Indian Institute of Technology Bombay India and Head, Center For Formal Verification and Software, IIT Bombay, India. His broad areas of interests are Rigorous Software Engineering, Embedded Systems and Real-Time Systems. He has published more than 100 papers in peer-reviewed international journals and conferences. He is on the editorial boards of the International Journal of Real-Time Systems and Eurasip Journal on Embedded Systems and earlier on IEEE Journal on Embedded System Letters.