Summer Internship
2008: NEC Labs America, Princeton, NJ;
“Efficient Verification of Concurrent Programs using a Bounded Model
Checking (BMC) Framework”
under the supervision of Dr. Malay Ganai.
2007: NEC Labs America, Princeton, NJ;
“Verification of SystemC Transaction Level Model (TLM)”
under the supervision of Dr. Malay Ganai.
2006: INRIA, Rennes, France; “Compositional Modeling and Synthesis of
Systems on a Chip” under
the supervision of Prof. Jean-Pierre Talpin.
2005: INTEL Corporation, Portland, OR; “Design and implementation of
dynamic measurement of
available bandwidth in a heterogeneous home network”, under the
supervision of Narasimham
Gadiraju.
2004: Communication Empowerment Laboratory, IIT Kharagpur; “Porting of
Embedded Linux and
application to the TI OMAP platform”, under the guidance of Prof.
Anupam Basu.
2002: Centre for Internet Research, National University of Singapore
(NUS); “Process management
of Embedded Linux” under the guidance of Dr. A. L. Ananda.
Graduate Projects
Fall 2005: We implemented test beds on
Intel’s Mainstone with Xscale pxa27x processor for “Performance
Comparison using different routing metrics in Ad-hoc Wireless
Networks”, under the
guidance of Dr. Tajana Simunic Rosing.
Fall 2004: Worked on ”Improving Function and Array Support in SPARK, a
parallelizing High-Level
Synthesis Framework”, under the guidance of Prof. Rajesh Gupta.
Under Graduate Projects
Worked on Fuzzy-Moment as a measure of
Digital Image matching under the
guidance of Dr. A. K. Ray, Professor, EECE Department, Indian Institute
of Technology, Kharagpur.
Developed Front-end Software for X-Ray
Diffractometer for XRD Laboratory, Department of Chemistry, Indian
Institute of Technology, Kharagpur.
Implemented Inventory Software to keep account of the Beverages in a
hotel having many outlets using Visual C++ and MySQL.
Designed and Implemented a web interfaced Non Mulberry Silkworm
database using PHP - MySQL.
Designed and Implemented a Web Based Project Management Software for
Chem Intel India Pvt. Ltd., Pune.
|