Some Recent Projects

Sponsored Projects

1. GM Collaborative Research Laboratory on ECS for Education
   Principal Investigators: P. P. Chakrabarti, A. Patra
   Co-Principal Investigators: S. Mukhopadhyay, P. Dasgupta, R. Mall, S.K.Ghosh and others
   Sponsor: General Motors
2. Leveraging Simulation Dumps and Failure Traces for Formal Property Verfication
   Principal Investigators: Pallab Dasgupta
   Co-Principal Investigators: P. P. Chakrabarti
   Sponsor: Intel
3. Intel Embedded Innovation Lablet
   Principal Investigators: Pallab Dasgupta
   Co-Principal Investigators: P. P. Chakrabarti
   Sponsor: Intel
4. Building Reliable Embedded Real-Time Systems
   Principal Investigators: P. P. Chakrabarti
   Co-Principal Investigators: Pallab Dasgupta
   Sponsor: DST-Indo Brazil Project
5. Creating Accessible Study Materials for Print Impaired Students
   Principal Investigators: P. P. Chakrabarti
   Co-Principal Investigators: Anupam Basu
   Sponsor: MHRD

Consultancy Projects

1. GM Collaborative Research Laboratory on Electronics, Controls and Software: Projects
   Consultants: P. P. Chakrabarti
   Co-Consultants: P. Dasgupta, S. Mukhopadhyay, A.Patra, S.K.Ghosh, R. Mall and others
   Client: General Motors
2. Synopsys CAD Laboratory
   Consultants: Pallab Dasgupta
   Co-Consultants: P. P. Chakrabarti
   Client: Synopsys
3. Analytics of Group Dynamics of Mobile Users
   Consultants: Sudeshna Sarkar, P. P. Chakrabarti
   Client: Xerox Corporation
4. Formal Verification of Post Silicon Bug Fixes
   Consultants: Pallab Dasgupta
   Co-Consultants: P. P. Chakrabarti
   Client: Intel