A Brief Bio-data

Qualification and Experience:

S. Ramesh has more than 15 years of research experience in the areas of high level language design, validation and verification of software (especially ones ones involving concurrent and communicating components) and more recently (for around 5 years) of hardware designs.

Currently he is a Full Professor in the Dept of Computer Science and Engineering, Indian Institute of Technology, Bombay. He is also heading the Centre for Formal Design and Verification of Software recently set up in IIT Bombay to develop tools and techniques for formal verification of industrial software and hardware systems. As part of this Centre activities, he is carrying out a number of industry-sponsored projects on verification of hardware and embedded software.

Collaborative Research:

From Aug. 1987 till Dec. 1988, he was a post-doctoral fellow at Technical University Eindhoven, Netherlands, and worked in the research group of Willem de Roever, where he developed an axiomatic semantics for Statecharts jointly with Dr. Josef Hooman and Prof. Willem de Roever.

He was then a visiting researcher at Tata Institute of Fundamental Research, Bombay for 9 months, where he initiated work on algebraic semantics of a higher order concurrent language. His collaborative research with Gerard Berry's group at INRIA, Sophia-Antipolis, France, led to the development of a language for describing distributed controllers called Communicating Reactive Processes (CRP).

In 1996, he visited GMD, Bonn, Germany, where he conducted advanced research in synchronous languages, and an improved implementation scheme for CRP, as well as a pictorial version of CRP called Communicating Reactive State Machine (CRSM) resulted.

He has been involved in many international collaborative research projects with researchers all over the world. This include an Indo-French and Indo-US projects. Currently, he is involved a research project on component-oriented development of reactive systems. This is a joint project involving researchers from University of New South wales, Sydney, Australia, University of Auckland, New Zealand and SUNY, Stony Brooks, USA.

Current Research Interests:

The broad areas of his current research interests are:

Verification and Validation of embedded Software, SoC designs and advanced microprocessors,
Formalization of UML-based development,
High level models and design of Embedded Software and SoC hardware,
Component-based approach to System development
Interface synthesis

Publications:

S. Ramesh has published a number of research papers in many international journals and conferences. He was one of the co-chairs of 17th annual conference on Foundations of Software Technology and Theoretical Computer Science and been on the programme committee of many international conferences including the International Conferences on VLSI Design and Asia Pacific Design Automation.