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


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

Teaching

  • 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 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/CS347):
    Spring 2017, Spring 2015, Spring 2013.

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

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

  • 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:
FDSE 2018/ 2017/ 2016/ 2015, CISIM 2018/ 2017/ 2016/ 2015/ 2014/ 2013, DATA 2018/ 2017/ 2016/ 2015, ACSS 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, 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:
FDSE 2018/17/16/15, CISIM 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: May 31, 2018.