Home / Background

Education

"Education is the manifestation of the perfection already in man."    – Swami Vivekananda

Ph.D. in Computer Science and Engineering from IIT Kharagpur
Thesis Title:   Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis
Advisors:   Prof. Pallab Dasgupta and Prof. Partha Pratim Chakrabarti
M.S. in Computer Science and Engineering from IIT Kharagpur
Thesis Title:   Novel Methods for Unified Assertion and Simulation Coverage Using Formal Test Plans
Advisors:   Prof. Pallab Dasgupta and Prof. Partha Pratim Chakrabarti
B.E. in Computer Science and Engineering from Jadavpur University
Project Title:   Modification of Image-processing Parameters for Gunfinder-Studio Software
Advisor:   Prof. Chandan Majumdar

Experience

"The only source of knowledge is experience."    – Albert Einstein

Assistant Professor (August 2017 ― Present),
Department of Computer Science and Engineering, IIT Kharagpur.
Assistant Professor (August 2015 ― July 2017),
Department of Computer Science and Engineering, IIT Madras.
Research Associate (September 2014 ― July 2015),
[Under J. C. Bose Fellowship by Prof. P. P. Chakrabarti],
Formal Methods Research Group,
Department of Computer Science and Engineering, IIT Kharagpur.
Research Consultant (August 2006 ― August 2014),
Sponsored Research and Industrial Consultancy (SRIC), IIT Kharagpur.
    – Member of Formal Verification Lab (August 2006 – August 2014)
    – Member of Synopsys CAD Lab (August 2009 – June 2011)
    – Member of Advanced VLSI Lab (August 2006 – July 2009)

Contact

Designation:   Assistant Professor

Office:   CSE-102   (Ground-Floor)

Email:   aritrah [at] cse [dot] iitkgp [dot] ac [dot] in

Phone:   +91-3222-304640   (Extn: 84640)




Address:

    Department of Computer Science and Engineering,

    Indian Institute of Technology Kharagpur,

    Paschim Medinipur, West Bengal 721302, INDIA.


http://www.iitkgp.ac.in/department/CS/faculty/cs-aritrah

© Aritra Hazra   |   Last Updated: June 2025