Purandar Bhaduri
Associate Professor
Department of Computer Science & Engineering
Indian Institute of Technology Guwahati
Guwahati 781039
India

Research

Formal Modelling, Synthesis and Verification of Embedded Real-Time Systems

I am especially interested in formal foundations of component-based embedded systems development, including compositional analysis of real-time and performance properties. The following are broad areas of interest to me.

• Model-based development and analysis of Embedded Control Systems

• Formal Methods for Real-time Embedded Systems

• Formal Foundations for Component-based Embedded Systems

• Interface Theories and Converter Synthesis

• Modelling of Heterogeneous Embedded Systems

• Synchronous Specification Languages

Publications

Biographical Sketch

Teaching

CS 522: Embedded Systems, Spring 2012-2013

CS 514: Mathematics for Computer Science, Autumn 2012-2013

Older Courses

Visiting Positions

• Guest Researcher, Carl von Ossietzky University, Oldenburg, Germany in the trans-regional collaborative research centre AVACS, July 2012.

• Selected as part of the DAAD-IIT Exchange of Senior Scientists Programme to visit the Institute for Real-Time Computer Systems, Technical University of Munich, June 2012.

• Guest Researcher, Carl von Ossietzky University, Oldenburg, Germany in the trans-regional collaborative research centre AVACS, July 2010.

• Guest Researcher, Carl von Ossietzky University, Oldenburg, Germany in the trans-regional collaborative research centre AVACS, May - June 2009.

Programme Committee Member

• SEUS 2013, 9th Workshop on Software Technologies for Embedded & Ubiquitous Systems, Paderborn, Germany June 17-18, 2013.
• ATVA 2012, Tenth International Symposium on Automated Technology for Verification and Analysis, Thiruvananthapuram (Trivandrum), India, 3-6 October 2012.
• EMSOFT 2012, 12th International Conference on Embedded Software, Tampere, Finland, 7-12 October 2012.
• EMSOFT 2011, 11th International Conference on Embedded Software, Taipei, Taiwan, 9 - 14 October 2011.
• ICDCIT 2011, 7th International Conference on Distributed Computing and Internet Technologies, Bhubaneswar, 9-12 February 2011.
• RTAS 2010, Work-in-Progress Session,16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Stockholm, Sweden, 12-15 April 2010.
• RTCSA 2007,13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu, Korea, 21-24 August 2007.
• SEFM 2006, Fourth IEEE Conference on Software Engineering and Formal Methods (SEFM 2006) Pune, India, 11-15 September 2006.

• Formal Methods Update 2006:IIT Guwahati, 3-6 July, 2006.
• FTRTFT 2000, Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, Pune, India, 20-22 September, 2000.

Academic Partner of Esterel Technologies, the provider of model-based development for D0-178B and IEC 61508 safety-critical systems.