Scholar
Purandar Bhaduri
Google Scholar ID: rRuMQwgAAAAJ
Professor, IIT Guwahati
Citations & Impact
Citations
128
H-index
7
i10-index
3
Publications
20
Co-authors
18
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Supervised multiple Ph.D. students, including Lalatendu Behera, Gayatri Panicker (co-supervised with K.V. Krishna), Pravati Swain (co-supervised with Sukumar Nandi). Organized several academic conferences, such as FSTTCS 2013, Formal Methods Update 2006, FTRTFT 2000, etc.
Research Experience
- Served as a program committee member for several international conferences, such as MEMOCODE 2025, MEMOCODE 2024, VLSI Design 2016, etc. Visiting researcher at institutions like Carl von Ossietzky University, Oldenburg, Germany, and Technical University of Munich.
Background
- Research Interests: Formal Methods, Logic and Semantics of Computation; Professional Field: Computer Science & Engineering; Brief Introduction: Professor at the Department of Computer Science & Engineering, Indian Institute of Technology Guwahati.
Miscellany
- Taught courses: CS 514 Mathematics for Computer Science; Also taught GIAN course on Modeling and Verification of Cyber-Physical Systems.
