Rajdeep Mukherjee MS Student Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Kharagpur, West Bengal - 721302, India Phone:   +91-3222-281431 Email:    rajdeep.mukherjee @ cse.iitkgp.ernet.in

Research

• Formal Verification of Hardware and Software systems
• Hardware/Software Co-Verification
• Power Intent Verification of Embedded Real-time Systems
• Model Checking, Partial-order reductions, SAT solvers
• Power, Temperature, Process Variation aware High-level Synthesis

Publications

• "Operator Scheduling Revisited : A Multi-Objective Perspective for Fine-Grained DVS Architecture",
  Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal.
  International Conference on Advances in Computing and Information Technology, (ACITY), 2012.
• "A Multi-Objective Perspective for Operator Scheduling using Fine-Grained DVS Architectures",
  Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal.
  International Journal of VLSI design & Communication Systems (VLSICS Journal), July 2012.
  
• "Multi-Objective Low-power CDFG Scheduling using Fine-Grained DVS Architecture in Distributed Framework",
  Rajdeep Mukherjee, Priyankar Ghosh, N. Sravan Kumar, Pallab Dasgupta, Ajit Pal.
  International Symposium of Electronic Design, (ISED), December 2012. Best Session Paper
  
• "Formal Verifcation of Hardware / Software Power Management Strategies",
  Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Subhankar Mukherjee.
  26th VLSI Design Conference, (VLSID), January 2013.
  
• "Model Checking Global Power Management Strategies in Software with safety LTL properties",
  Rajdeep Mukherjee, Pallab Dasgupta, Subhankar Mukherjee.
  Indian Software Engineering Conference, (ISEC), February 2013.
  
• "Hotspot Reduction using Fine-grained DVS Architecture at 90 nm Technology",
  Rajdeep Mukherjee, Priyankar Ghosh, Ajit Pal.
  Asia-Pacific Conference on Postgraduate Research in Microelectronics & Electronics, (PRIMEASIA), December 2012. Best Paper
  
• "POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent",
  Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, and Subhankar Mukherjee.
  Accepted for publication in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2013
  
• "An Integrated Approach for Fine-Grained Power and Temperature Management During High-level Synthesis",
  Rajdeep Mukherjee, Priyankar Ghosh, Pallab Dasgupta, Ajit Pal.
  Accepted for Publication in Internatinal Journal of Low Power Electronics (JOLPE), 2013
  
• "Model Checking of Software Power Manager in Hardware/Software Based Power Controllers",
  Rajdeep Mukherjee, Pallab Dasgupta.
  Accepted for Poster Publication in 17th International Symposium on VLSI Design and Test (VDAT), 2013
  

Activities

• Teaching Assistant for "Embedded Software Design and Validation" (Autumn 2012)
• Teaching Assistant for "Computer Architecture and Operating Systems" (Spring 2012)
• Teaching Assistant for "Artificial Intelligence" (Autumn 2011)
• Teaching Assistant for "Operating Systems" (Spring 2011)
• Delivered lecture on "Formal Verification using CAD tools and Software Model Checking" at Advanced VLSI Summer Course, IIT Kharagpur, 2012, India
• Been an organizer of ICON 2010

Projects

• Formal Methods for Power Intent Verification(July 2009 - present)
  • Sponsor: Synopsys CAD Lab(CADL), Synopsys Inc., USA.

Work Experience

• Research Consultant, Sponsored Research & Industrial Consultancy, IIT Kharagpur (July 2010 - present)

Education

• MS in Computer Science & Engineering from I.I.T. Kharagpur, India (2010-Present)
• B.Tech. in Computer Science & Engineering from University of Calcutta, Kolkata in 2010.
• B.Sc. in Computer Science from University of Calcutta, Kolkata in 2007
• Higher Secondary in Science from D.A.V. Public School, Asansol in 2004.
• A.I.S.S.C.E from D.A.V. Public School, Asansol in 2002.

Awards

• Received BEST PAPER Award at PrimeAisa 2012
• Selected in Prestigious Erasmus Mundus NordSecMob Program from India at Helsinki University, Finland in 2010
• Received Prestigious Scholarship from Bharat Sanchar Nigam Limited in the year 2008 and 2009 for Academic Excellence in Post-graduate Studies in Computer Science
• Gold Medal Award Winner in Computer Science at Undergraduate studies under University of Calcutta
• Received Prestigious Shyamaprasad Mookherjee Memorial Prize and Santanu Ghosh Memorial Prize for becoming First in Bachelors degree under University of Calcutta

---

Last updated on December 2012.