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

Tel:

+91 361 258 2360 (Office)

 

+91 361 258 2351 (HOD Office)

Fax:

+91 361 269 2787

Email:

pbhaduri[*AT]iitg.ernet.in



 

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.

 

Organization

  • 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.