Raju Halder Raju Halder Raju Halder

Dr. Raju Halder, Assistant Professor
Department of Computer Science & Engineering
Indian Institute of Technology Patna, Bihta-801106, 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

We are now hiring two JRF. Walkin Interview 15th July 2019. To know more >> Click Here .

Research & Publications

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

  • Semantics-based Dependency Analysis of Database Applications.
  • Hierarchical and Abstraction-based Blockchain Model.
  • 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).

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

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
    Status: Completed

  • Title: Development of Lizard-like Robotic Spy Surveillance System
    Sponsored Agency: IMPRINT-II, Science & Engineering Research Board (SERB), DST, Govt. of India
    Status: Ongoing

Research Scholars Guided/Guiding

Mr. Md. Imran Alam
- Broad Area: Formal Methods for Analysis and Verification

Mr. Fajge Akshay Madhukarrao (under Visvesvaraya PhD Scheme)
- Broad Area: Blockchain and Smart Contract

Ms. Swagatike Sahoo
- Broad Area: Blockchain and Smart Contract

Ms. Sapana Rani (Part-time)
- Broad Area: Database Security

Mr. Dileep K. Khosley (Part-time)
- Broad Area: Privacy and Security Issues in Information Systems

Mr. Angshuman Jana
- Thesis Title: Semantics-based Dependency Analysis of Database Applications by Abstract Interpretation

PG Students Guided/Guiding

Manish Kumar Tiwari, Anupam Kumar, Susheel Kumar Maurya, Ashis Kumar Ranjan, Harshita Goswami, Shivi Patel, Bitopan Das, Md. Imran Alam, Dileep Kumar Koshley


  • Introduction to Blockchain and Cryptocurrency (Sub. Code CS577):
    Spring 2019.

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

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

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

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

  • Design and Analysis of Algorithms (Sub. Code CS514):
    Spring 2019, Spring 2018.

  • Database (Sub. Code CS354):
    Autumn 2018.

  • Introduction to Computing (Sub. Code CS101):
    Spring 2016, Spring 2013.

  • Programming and Data Structures (Sub. Code CS102):
    Spring 2018.

Short-term Courses

  • Taught a module on Databases in the training program held at IITP for the employees of building construction department under Govt. of Bihar (May 20 - June 08, 2013).

  • Taught a module on Robotic Operating System (ROS) in the CEP Short Term Course on "Introduction to Robotics: Mechanics, Control, and Programming" (with Dr. Atul Thakur) (26 - 28th October, 2018).

Professional Activities

Member of Professional Bodies:

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

Program Committee Member:
MEDI 2019, FDSE 2019/ 2018/ 2017/ 2016/ 2015, CISIM 2019/ 2018/ 2017/ 2016/ 2015/ 2014/ 2013, DATA 2019/ 2018/ 2017/ 2016/ 2015, ACSS 2019/ 2018/ 2017/ 2016/ 2015/ 2014, ICACCI 2018/ 2017/ 2016, SSCC 2018/ 2017/ 2015, iWML 2018 , FQM 2014.

(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, Springer Artificial Intelligence Review, Journal of Systems and Software, International Journal of Data Science and Analytics, Scientific Research and Essays, Communications and Computer Security, Computer Communication & Collaboration

(External/Invited) Conference Reviewer:
FM 2019, FDSE 2018/17/16/15, CISIM 2019/2018/17/16/15/14/13, DATA 2018/17/16/15, ACSS 2018/17/16/15, ICACCI 2018/17/16/15, SSCC 2018/17/15, SAS 2014/11, IEEE INDICON 2013.

Latest update: June 30, 2019.