M N Faruqui Innovations Centre

Partha Pratim Chakrabarti Ph.D.(IIT Kharagpur) Director Professor, Computer Science & Engineering P P Chakrabarti joined the Institute in 1988

Contact Addresses

Residence	Director's Bungalow, IIT Campus, Kharagpur 721302
Phone (office)	+91 - 3222 - 282002
Phone (residence)	+91 - 3222 - 282003 (IIT Phone)
email	director @ iitkgp.ernet.in
Personal web page

Research Areas

• CAD for VLSI & Embedded Systems
• Artificial Intelligence
• Design of Algorithms
• Reliable and Fault Tolerant Systems

Awards & Honours

• President of India Gold Medal (1985)
• INSA Young Scientist Award (1991)
• INAE Young Engineer Award (1994)
• Anil K Bose Award (1995)
• Swarnajayanti Fellowship (1998)
• Shanti Swarup Bhatnagar Prize (2000)
• INAE Viswesvarya Chair Professor (2007)
• Rotary Award for Science & Technology (2010)
• S Ramanujam Memorial Lecture of IE (2012)
• J C Bose Fellowship (2013)

Fellow

• Indian National Science Academy
• Indian National Academy of Engineering
• Indian Academy of Sciences
• West Bengal Academy of Science & Technology

Member of Professional Bodies

• Member : ACM
• Senior Member : IEEE

Current Sponsored Projects

• Project Title : GM Collaborative Research Laboratory on ECS for Education
  Principal Investigator : P. P. Chakrabarti, A. Patra
  Co-Principal-Investigators : S. Mukhopadhyay, P. Dasgupta, R. Mall, S.K.Ghosh and others
  Sponsor : General Motors
• Project Title : Leveraging Simulation Dumps and Failure Traces for Formal Property Verfication
  Principal Investigator : Pallab Dasgupta
  Co-Principal-Investigators : P P Chakrabarti
  Sponsor : INTEL Technology India Pvt. Ltd, Bangalore
• Project Title : AUTOSAFE -- Architecture Aware Timing Analysis and Optimization of safety Critical Automotive Softwware
  Principal Investigator : P P Chakrabarti
  Co-Principal-Investigators : Pallab Dasgupta
  Sponsor : IGSTC
• Project Title : Integrated Vehicle Health Management for Automotive Engine Applications
  Principal Investigator : Prof Siddhartha Mukhopadhyay
  Co-Principal-Investigators : Prof P P Chakrabarti, Prof A Patra, Prof A Routray
  Sponsor : NPMASS
• Project Title : Intel Embedded Innovation Lablet
  Principal Investigator : Prof Pallab Dasgupta
  Co-Principal-Investigators : Prof P P Chakrabarti
  Sponsor : Intel India
• Project Title : Building Reliable Embedded Real-Time Systems
  Principal Investigator : P P Chakrabarti
  Co-Principal-Investigators : Pallab Dasgupta
  Sponsor : DST-Indo Brazil Project
• Project Title : Creating Accessible Study Materials for Print Impaired Students
  Principal Investigator : P P Chakrabarti
  Co-Principal-Investigators : Anupam Basu
  Sponsor : MHRD
• Project Title : J C Bose Fellowship
  Principal Investigator : P P Chakrabarti
  Sponsor : DST
• Project Title : Urban – design, planning & urban engineering exploration of Varanasi (UDE)
  Principal Investigator : Joy Sen
  Co-Principal-Investigators : P P Chakrabarti
  Sponsor : MHRD
• Project Title : To develop a scientific rationale of IELS (Indo-European Language Systems) applying (a) Computational Linguistics & (b) Cognitive Geo-spatial mapping
  Principal Investigator : Joy Sen
  Co-Principal-Investigators : P P Chakrabarti
  Sponsor : MHRD
• Project Title : A deep validation study of Indian Language system based on patterns of (a) comparative Philology, Phonology & Phonetics & (b) Psycho-Physics of Varnam
  Principal Investigator : Joy Sen
  Co-Principal-Investigators : P P Chakrabarti
  Sponsor : MHRD

On-going Consultancy Projects

• Project Name : GM Collaborative Research Laboratory on Electronics, Controls and Software: Projects
  Client : General Motors
  Consultant : P. P. Chakrabarti
  Co-consultant(s) : P. Dasgupta, S. Mukhopadhyay, A.Patra, S.K.Ghosh, R. Mall and others
• Project Name : Synopsys CAD Laboratory
  Client : Synopsys
  Consultant : Pallab Dasgupta
  Co-consultant(s) : P. P. Chakrabarti
• Project Name : Roadmap for ERP Solutions at Kolkat Port Trust
  Client : Kolkata Port Trust
  Consultant : Prof P P Chakrabarti
  Co-consultant(s) : Prof Sujoy Ghose
• Project Name : Analytics of Group Dynamics of Mobile Users
  Client : Xerox Corporation
  Consultant : Sudeshna Sarkar and P P Chakrabarti
  
• Project Name : Formal Verification of Post Silicon Bug Fixes
  Client : INTEL Technology India Pvt. Ltd, Bangalore
  Consultant : Pallab Dasgupta
  Co-consultant(s) : P P Chakrabarti

Patents

• Method and Apparatus for Operational-Level Functional and Degradation Fault Analysis : Granted (Ref : US Patent No. 8,108,728 dated January 31, 2012 )
• Method and Apparatus for Extracting Assume Properties : Granted (Ref : US Patent No: 7,797,123 B2 dated Sept 14, 2010 )

Member, Editorial Board

• Member : Journal of IETE
• Member : Journal of the Computer Society of India

Publications: 2013 - 2014

• Incremantal Beam Search by S G Vadlamudi, S Aine, P P Chakrabarti Information processing Letters, 113 (22-24):888-893 (2013)
• Robustness Analysis of Embedded Control Systems with respect to Signal Perturbations: Finding Minimal Counterexamples using Fault Injection by S G Vadlamudi, P P Chakrabarti IEEE Transactions on Dependable and Secure Computing, 119(1), pp 48-58 (2014)

Publications: 2012 - 2013

• Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications by Aritra Hazra, Priyankar Ghosh, S G Vadlamudi, P P Chakrabarti, Pallab Dasgupta IEEE Embedded System Letters, 5(1), pp 8-11 (2013)
• Cohesive Coverage Management: Simulation meets Formal Methods by Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, P. P. Chakrabarti Journal of Electronic Testing: Theory and Applications, 28(4), pp 449-468 (2012)
• Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures by Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta Journal of Artificial Intelligence Research, 44, pp 275-333 (2012)
• Symbolic Event Propagation Based Minimal Test Set Generation for Robust Path Delay Faults by Arijit Mondal, P P Chakrabarti, Pallab Dasgupta ACM Transactions on Design Automation of Electronic Systems, 17(4), (2012)
• SAT based Timing Analysis for Fixed and Rise/Fall Gate Delay Models by Suchismita Roy, P P Chakrabarti, Pallab Dasgupta Integration, The VLSI Journal, 45(4), pp 357-364 (2012)

Publications: 2011 - 2012

• A dynamic assertion-based verification platform for validation of UML designs. by Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan ACM SIGSOFT Software Engineering Notes, 37(1), 1-14 (2012)
• Online Scheduling of Dynamic Task Graphs with Communication and Contention for Multiprocessors. by Pravanjan Choudhury, P. P. Chakrabarti, Rajeev Kumar IEEE Trans. Parallel Distrib. Syst., 23(1) pp. 126-133 (2012)
• MAWA* - A Memory-Bounded Anytime Heuristic-Search Algorithm. by Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti IEEE Transactions on Systems, Man, and Cybernetics, Part B, 41(3): 725-735 (2011)
• Sticky-ERfair: a task-processor affinity aware proportional fair scheduler by Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti Real-Time Systems, 47(4): 356-377 (2011)
• A Corrigendum to: Sticky-ERfair: a task-processor affinity aware proportional fair scheduler. by Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti Real-Time Systems, 47(4): 382-385 (2011)

Publications: 2010 - 2011

• Partition-Oriented Frame Based fair Scheduler by Arnab Sarkar, Sujoy Ghose, P P Chakrabarti Journal of Parallel and Distributed Computing, (70), 707-718 (2010)
• Bounded Delay Timing Analysis and Power Estimation using SAT by Suchismita Roy, P P Chakrabarti, Pallab Dasgupta Microelectronics Journal, 41(5), 317 – 324 (2101)
• Heuristic Search under Contract by Sandip Aine, P P Chakrabarti, Rajeev Kumar Computational Intelligence, 26 (4), 386 – 419 (2010)
• A Low Overhead Partition Oriented ERFair Scheduler for Hard Real-Time Embedded Systems by Arnab Sarkar, Amit Shanker, Sujoy Ghose, P P Chakrabarti IEEE Embedded Systems Letters, 3(1), 5-8 (2011)

Publications: 2009 - 2010

• Thermal analysis of multiprocessor SoC applications by simulation and verification by Das, Dipankar, Chakrabarti, P.P., Kumar Rajeev ACM Transactions on Design Automation of Electronic Systems, 15(2), 52 pages (2010)
• Scenario-based Timing Verification of Multiprocessor Embedded Applications by Das, Dipankar, Chakrabarti, P.P., Kumar Rajeev ACM Transactions on Design Automation of Electronic Systems, 14(3), 58 pages (2009)
• Adaptive parameter control of evolutionary algorithms to improve quality-time trade-off by Aine Sandip, Kumar Rajeev, Chakrabarti, P.P. Applied Soft Computing, 9(2): 527-540 (2009)

Publications: 2008 - 2009

• Satisfiability Models for Maximum Transition Power by Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta: IEEE Transactions on VLSI Systems, 16(8), 941-951 (2008)
• Hybrid Scheduling of Dynamic Task Graphs with Selective Duplication for Multiprocessors under Memory and Time Constraints by Pravanjan Choudhury, Rajeev Kumar, P. P. Chakrabarti IEEE Transactions on Parallel and Distributed Systems, 19(7), 967-980 (2008)
• Simulation-based verification using Temporally Attributed Boolean Logic by S. K. Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar ACM Transactions on Design Automation of Electronic Systems, 13(4) (2008)
• Auxiliary state machines + context-triggered properties in verification by Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti ACM Transactions on Design Automation of Electronic Systems, 13(4) (2008)
• Design intent coverage revisited by Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti ACM Transactions on Design Automation of Electronic Systems, 14(1) (2009)

Publications: 2007 - 2008

• BUSpec: A Framework for Generation of Verification Aids for Standard Bus Protocol Specifications by B. Pal, A. Banerjee, P. Dasgupta, P.P. Chakrabarti Integration, the VLSI Journal,, 40, pp 285-304 (2007)
• An Evolutionary Algorithm based approach to Automated Design of Analog and RF circuits using Adaptive Normalized Cost Functions by A. Somani, P. P. Chakrabarti, A. Patra IEEE Transactions on Evolutionary Computing, 11(3), pp 336-353 (2007)
• An Automated meta-Level Control Framework for Optimizing the Quality-Time Trade-off of VLSI Algorithms by Aine, Sandip, Chakrabarti, P.P., Kumar Rajeev IEEE Transactions on Computer Aided Design of Integrated Circuits & Systems, 26(11), pp 1992 (2007)
• A Verification System for Transient Response of Analog Circuits by Dastidar, T.R. Chakrabarti, P.P ACM Transactions on Design Automation of Electronic Systems, 12(3) 39 pages (2007)
• Event Propagation for Accurate Circuit Delay Calculation using SAT by Roy Suchismita, Chakrabarti, P.P., Dasgupta, P ACM Transactions on Design Automation of Electronic Systems, 12(3) 23 pages (2007)
• Statistical Static Timing Analysis using Symbolic Event Propogation by Mondal Arijit, Chakrabarti, P.P., Dasgupta Pallab IET Journal on Computers and Digital Techniques, 1(4), pp 283 – 291 (2007)
• Hardware Accelerated Random Test Generation by Pal Bhaskar, Sinha Arnab, Dasgupta Pallab, Chakrabarti, P. P., De Kaushik IET Journal on Computers and Digital Techniques, 1(4), 423-433 (2007)
• Functional Verification of Task Partitioning for Multiprocessor Embedded Systems by Das, Dipankar, Chakrabarti, P.P., Kumar Rajeev ACM Transactions on Design Automation of Electronic Systems, 12(4), 53 pages (2007)

Publications: 2006 - 2007

• An Evolutionary Algorithm based approach to Automated Design of Analog and RF circuits using Adaptive Normalized Cost Functions by A. Somani, P. P. Chakrabarti, A. Patra IEEE Transactions on Evolutionary Computing, 11(3), pp 336-353 (2007)
• BUSpec: A Framework for Generation of Verification Aids for Standard Bus Protocol Specifications by B. Pal, A. Banerjee, P. Dasgupta, P.P. Chakrabarti Integration, the VLSI Journal, 40, pp 285-304 (2007)
• Frame-based Proportional Round Robin by Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar IEEE Transactions on Computers, 55(9), pp 1121 – 1 (2006)
• Reasoning about Timing Behavior of Digital Circuits using Symbolic Event Propagation and Temporal Logic by Arijit Mondal, P. P. Chakrabarti IEEE Transactions on Computer Aided Design of Integrated Circuits & Systems, 25 (9), pp 1793 – (2006)
• Design Intent Coverage – A New Paradigm for Formal Property Verification by Basu, P., Das, S., Banerjee, A., Dasgupta, P., Chakrabarti, P.P., Mohan, C.R., Fix L., Armoni, R IEEE Transactions on Computer Aided Design of Integrated Circuits & Systems, 25 (10), pp 1922 – (2006)
• Moving Sound Reduces Arousal in Psychosomatic Patients by 13. Sajal Bandopadhyay, Manas K Mandal, Partha P Chakrabarti, Sobhendu K Ghatak, Raghabendra Chowdhury, Swagata Ray International Journal of Neurosciences, 116(8), pp 915 – 9 (2006)

Publications: 2005 - 2006

• Post-compilation optimization for multiple gains with pattern matching by Rajeev Kumar, Amit Gupta, BS Pankaj, Mrinmoy Ghosh, and PP Chakrabarti ACM SIGPLAN Notices, 40 (12): 14 - 23 (2005)
• Prediction of Properties of Rubber Using Artificial Neural networks by Vijayabaskar, V., Gupta, R., Chakrabarti, P. P., Bhowmik, Anil. K Journal of Applied Polymer Science, 100, pp 2227 – 223 (2006)

Publications: 2004 - 2005

• A framework for systematic validation and debugging of pipelined simulators by Arnab Roy, S. K. Panda, Rajeev Kumar, P. P. Chakrabarti ACM Transactions on Design Automation of Electronic Systems, 10(3) (2005) 462-491
• A synthesis system for analog circuits based on evolutionary search and topological reuse by T. R. Dastidar, P. P. Chakrabarti, P. Ray IEEE Trasnsactions on Evolutionary Computation, 9(2) (2005) 211-224
• The power of first-order quantification over states in branching and linear time temporal logics by K. Chatterjee, P. Dasgupta, P. P. Chakrabarti Information Processing Letters, 91 (2004) 201-210

Some Earlier Publications

• Genetic algorithms for high-level synthesis in VLSI design by Mandal. C and Chakrabarti. P. P Materials and Manufacturing Processes, 18(3) PP 355-383 (2003)