Kajori Banerjee Department of Computer Science Indian Institute of Technology, Kharagpur kajori [dot] bn [at] gmail [dot] com kajori [dot] banerjee [at] cse [dot] iitkgp [dot] ernet [dot] in +91 953 1697 630

Welcome! I am a Research Consultant at Indian Institute of Technology Kharagpur, Department of Computer Science. I am part of the Formal Verification Research Group

I got my M.Tech degree from Indian Institute of Technology Kharagpur, Department of Computer Engineering in 2013. My Master's dissertation was titled 'Formal Methods for Analyzing Embedded Software and Communication'.

Here is a CV, which was last updated on November 2013.

Publications

Debugging Assertion Failures in Software Controllers using a Reference Model    Indian Software Engineering Conference, (ISEC) 2013
        Kajori Banerjee, Santhosh Prabhu M, Pallab Dasgupta

Teaching Activities

• Foundations of Computing, Autumn 2012 with Prof. Pallab Dasgupta.
• Formal Systems , Spring 2013 with Prof. Pallab Dasgupta.
• Computing Lab, Autumn 2013 with Prof. Niloy Ganguly.

Work Experience

• Research Consultant,
    Sponsored Research & Industrial Consultancy, IIT Kharagpur (May 2013 - present)

Education

• M.Tech. in Computer Science & Engineering from Indian Institute of Technology Kharagpur in 2013.
• B.Tech. in Computer Science & Engineering from West Bengal University of Technology, Kolkata in 2011.
• Higher Secondary in Science from Saidabad Manindra Chandra Vidyapith, Berhampore (West Bengal) in 2007.
• ICSE from Mary Immaculate School, Berhampore (West Bengal) in 2005.