Me at IIT Kharagpur

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

[ Publications | Teaching Activities | Work Experience | Education ]

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

Acceptance and Random Generation of Event Sequences under Real Time Calculus constraints    DATE 2014
        Kajori Banerjee, Pallab Dasgupta

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

Work Experience

Education