Purandar Bhaduri
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 for Component-based Design

 

Publications

 

 

Biographical Sketch

 


 

Teaching

 

CS 205M: Theoretical Foundations of Computer Science (Minor Course), Autumn 2014-2015

 

 

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.

 


 

 Past Ph.D. Students

  1. Pravati Swain (joint supervision with Sukumar Nandi)

Current Ph.D. Students

  1. Lalatendu Behera

  2. Ramanuj Chouksey

  3. Gayatri Panicker (Mathematics Department; joint supervision with K.V. Krishna)


Sponsored Projects

Title: Formal Approaches to Embedded Systems Development

Agency: General Motors R&D, Bangalore

Duration: 2006-2008


 

Programme Committee Member

 

  • ICARE 2013, 5th IBM Collaborative Academia Research Exchange (I-CARE) Conference, New Delhi, October 17-19, 2013.
  • 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

 

  • FSTTCS 2013, IIT Guwahati, 12-14 December, 2013.
  • 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.