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

Tel:

+91 361 258 2360 (Office)

Email:

pbhaduri[-AT-]iitg.ac.in



 

Research

 

Formal Methods, Logic and Semantics

 

The following are broad areas of interest to me.

  • Formal Verification and Synthesis of Reactive Systems

  • Logic and Semantics of Computation

 

Publications

 

 

Biographical Sketch

 


 

Teaching

CS 201: Discrete Mathematics

 

     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. Lalatendu Behera

  2. Gayatri Panicker (Department of Mathematics; jointly supervised with K.V. Krishna)

  3. Pravati Swain (Jointly supervised with Sukumar Nandi)


 

Programme Committee Member

 

  • MEMOCODE 2024: 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design Raleigh, USA, October 3-4, 2024
  • 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.