About Me
I am currently a software engineer at Microsoft Corporations at Redmond, WA, USA in the Internet Explorer team as a Software Developer Engineer in Test II (SDET 2).
I recently completed my masters' in Computer Science at University of Texas at El Paso under Dr. Yoonsik Cheon. I worked on compilers, programming languages, and software engineering and was a part of the Software Specification and Verification Research Lab. I was the Graduate School Banner Bearer for Fall 2009 for excellent academic performances across all departments of College of Engineering, College of Science, College of Health-Sciences, and College of Nursing. I was also nominated for the Best University Thesis Award from the Computer Science department.
Prior to this, I worked as an Associate IT Consultant for ITC Infotech Pvt. Ltd. for about 6 months. I completed my Bachelor of Technology in Computer Science and Engineering from West Bengal University of Technology in June 2007. I was a recipient of the University Silver Medal for the outgoing batch 2003-07.
Current Research Projects
1. Integration of JML into Eclipse platform, also known as JML4.
Java Modeling Language is a specification language used to specify java modules. Due to several issues in the previous version of JML tools, the JML community has decided to re-build the JML tools. [More information about my research can be found here.]
Recent News
*News* Successfully defended my MS thesis titled, "Runtime Assertion Checking for JML on the Eclipse Platform Using AST Merging" on December 9th, 2009.
*News* Received the prestigious honor for holding the Graduate School Banner for excellent academic performance across all departments for Fall 2009 convocation. Would also have the honor to be the first person to graduate this year. [more...]
*News* Offered PhD admission and graduate research assistant position in the Department of Computer Science at University of Illinois, Chicago starting Spring 2010.
*News* Successfully completed my internship at Microsoft. Would start working as a full-time employee at Microsoft from January 2010.
*News* Spending my summer months in Seattle where I am involved with a dedicated team to build the next generation features of IE. I am specifically a member ofthe Networking group under the Service Integration team of IE.
*News* Got selected for the Summer Internship SDET position in Microsoft, Redmond. I would be working with the Internet Explorer team.
*News* The paper, Runtime Assertion Checking Support on Eclipse platform, was selected in the 3rd. Annual Meeting for Computer Alliance of Hispanic Institutions (CAHSI) which was held at Google Headquarters, California, USA between January 15-18, 2009.
*News* Got selected for the SEPP Summer Internship "elitist" program for Rockwell Collins.
*News* On September 9, 2008 I attended the 4th Joint NMSU/UTEP Workshop on Mathematics, Computer Science, and Computational Sciences, funded by CAHSI and Dept. of Computer Science, UTEP.
*News* Between October 3 and October 4, 2008 I participated in Constraint Programming and Decision Making Workshop (CoProD'08), funded by NSF and UTEP.
*News* From August 11 to August 19, 2008 I would be out of office.
*News* On June 11, 2008 at 3:13 AM my brand new webpage is published.