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 Methods, 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.

  • Formal Methods for Real-time Embedded Systems

  • Formal Foundations for Component-based Embedded Systems

 

Publications

 

 

Biographical Sketch

 


 

Teaching

 

CS 514: Mathematics for Computer Science, Autumn 2017-2018

 

 

      Older Courses

 

Visiting Positions

 

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

  • Visiting Researcher, DAAD-IIT Exchange of Senior Scientists Programme, 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 (Joint supervision with Chandan Karfa)

  3. Gayatri Panicker (Department of Mathematics; 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

 

  • VLSI Design 2016: 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, Kolkata, January 4-8, 2016.
  • Compute 2015: 8th Annual ACM India Conference Ghaziabad, India, October 29-31, 2015.
  • 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.