Raju Halder Raju Halder Raju Halder

Dr. Raju Halder, Assistant Professor
Department of Computer Science & Engineering
Indian Institute of Technology Patna, Bihta-801103, Patna, Bihar, India
Email: halder[AT]iitp[dot]ac[dot]in, Phone: +91 612 3028009

Quick Links: Publications | Bio-sketch
Jump To: Research & Publications | Education, Awards & Honours | Teaching | Professional Activities

Research & Publications

My current research interests are broadly in the areas of Formal Methods for Analysis and Verification, Information Systems Security, Programming Languages, etc. In particular, we applied the Abstract Interpretation framework to the security analysis and verification of database applications. Some highlights of my publications are:

  • Analysis & Verification of Safety & Security Properties of Robotics Software.
  • Information Flow Security Analysis of Database Applications.
  • Static Analysis & Verification of Hibernate Query Language.
  • Observation-based Fine Grained Access Control of Data.
  • Abstract Interpretation of Database Query Languages.
  • Semantics-based Program Slicing Refinements, etc.
To View Full List of Publications
>> Click here.

Education, Awards & Honours

  • Researcher, HASLab (University of Minho), INESC TEC, Portugal (January 2016-December 2016).
  • Post-doctoral Researcher, Macquarie University, Australia (August 2012-December 2012).
  • Post-doctoral Researcher, Ca’ Foscari University of Venice, Italy (January 2012-July 2012).
  • Associate System Engineer, IBM India Pvt. Ltd., India (December 2007-August 2008).

  • Ph.D., Ca’ Foscari University of Venice, Italy (January 2009-December 2011).
  • Research Associate, Ca’ Foscari University of Venice, Italy (September 2008-December 2008).
  • M.Tech., University of Calcutta, India (July 2005-July 2007).

  • Received Research Fellowship from “INESC TEC, Portugal”.
  • Best Paper Award in CISIM 2011.
  • Best Paper Award in ACSS 2015.
  • Received Research Fellowship from “Ministry of Education, Universities and Research (MIUR), Italy”.
  • IBM AIX Certified.

Current Sponsored Projects

  • Title: Information Leakage Analysis of Database Query Languages
    Principal Investigator: Dr. Raju Halder
    Sponsored Agency: Science & Engineering Research Board (SERB), DST, Govt. of India

Current Research Students

  • Mr. Angshuman Jana

  • Ms. Sapana Rani

  • Mr. Dileep K. Khosley

  • Mr. Md. Imran Alam

  • Mr. Bhawesh Kumar


  • Programming Languages (Sub. Code CS331):
    Autumn 2016, Autumn 2015, Autumn 2014, Autumn 2013.

  • Formal Methods for Analysis and Verification (Sub. Code CS508):
    Autumn 2016, Autumn 2015, Autumn 2014.

  • Foundation of Theoretical Computer Science (Sub. Code CS511):
    Spring 2016, Spring 2015, Spring 2014.

  • Compilers (Sub. Code CS346/CS347):
    Spring 2017, Spring 2015, Spring 2013.

  • Introduction to Computing (Sub. Code CS101/CS110):
    Spring 2016, Spring 2015, Spring 2014, Spring 2013.

  • OOP and Data Structures Lab (Sub. Code CS201):
    Autumn 2013.

Professional Activities

Member of Professional Bodies:
IEEE Member,
Editorial Board Member of International Journal of Advanced Computer Research (IJACR),
Member of International Association of Engineers (IAENG).

Conference Session Chair:
ACOMP 2016, C3IT 2015, FDSE 2014.

Program Committee Member:
CISIM 2017, DATA 2017, ACSS 2017, SSCC 2017, ICACCI 2017, FDSE 2016, CISIM 2016, DATA 2016, ACSS 2016, ICACCI 2016, FDSE 2015, CISIM 2015, DATA 2015, ACSS 2015, SSCC 2015, ISACC 2015, CISIM 2014, ACSS 2014, FQM 2014, ETES 2014, CISIM 2013.

(External/Invited) Journal Reviewer:
IEEE Transactions on Industrial Informatics, IET Information Security, ACM Transactions on Computational Logic, IET Signal Processing, IEEE Transactions on Knowledge and Data Engineering, IEEE Transactions on Reliability, Journal of Systems and Software, Scientific Research and Essays, Communications and Computer Security, Computer Communication & Collaboration

(External/Invited) Conference Reviewer:
FDSE 2016, CISIM 2016, DATA 2016, ACSS 2016, ICACCI 2016, FDSE 2015, CISIM 2015, DATA 2015, ACSS 2015, ICACCI 2015, SSCC 2015, ISACC 2015, C3IT 2015, SAS 2014, CISIM 2014, CISIM 2013, IEEE INDICON-2013, SAS 2011.

Latest update: Aug 5th, 2017.