I am an Assistant Professor in the Department of Computer Science and Engineering at Indian Institute of Information Technology, Guwahati. I joined IIITG in July, 2019. I received B.Tech. degree in CSE from West Bengal University of Technology, Kolkata; M.Tech. degree in CSE from National Institute of Technology, Durgapur; and Ph.D. degree in CSE from IIT Patna, in 2011, 2013, and 2019, respectively. I was a Visiting Faculty at Motilal Nehru National Institute of Technology Allahabad from 1st January 2019 to 30th June 2019.

Research Interests:

Formal Methods, Programming Languages, Static Analysis and Verification, Information Flow Security Analysis, Abstract Interpretation, Model checking.


At IIITG, I teach:

  • Semantic Web Technology
  • Software Engineering
  • Formal Languages and Automata Theory


  1. Angshuman Jana, Raju Halder, K. V. Abhishekh, S. D. Ganni, and Agostino Cortesi. Extending Abstract Interpretation to Dependency Analysis of Database Applications. IEEE Transactions on Software Engineering, VOL. 46, pp. 463 - 494, IEEE, 2020.
  2. Raju Halder, Angshuman Jana and Agostino Cortesi. Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain. Transactions on Large-Scale Data- and Knowledge-Centered Systems, VOL. 23, pp.23-44, Springer,2016.
  1. Angshuman Jana, Md. Imran Alam, and Raju Halder. A Symbolic Model Checker for Database Programs. Proc. of the 13th International Conference on Software Technologies (ICSOFT '18), Porto, Portugal, 26-28 Jul 2018, SciTePress.
  2. Angshuman Jana and Raju Halder. Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications. Proc. of the 12th International Conference on Information Systems Security (ICISS'16), Pages 151-171. MNIT Jaipur, India, 16-20 Dec 2016. Springer LNCS 10063.
  3. Angshuman Jana, Raju Halder and Agostino Cortesi. Verification of Hibernate Query Language by Abstract Interpretation. Proc. of the 5th International Conference on Intelligence Science and Big Data Engineering (IScIDE '15), Pages 116-128. Suzhou, China, 14-16 June 2015. Springer LNCS 9243.
  4. Angshuman Jana, Raju Halder, Nabendu Chaki and Agostino Cortesi. Policy-based Slicing of Hibernate Query Language. Proc. of the 14th International Conference on Computer Information Systems and Industrial Management Applications (CISIM '15), Pages 267-281. Warsaw, Poland, 24-26 September 2015. Springer LNCS 9339.
  5. Bharat Kumar Ahuja, Angshuman Jana, Ankit Swarnkar, and Raju Halder. On Preventing SQL Injection Attacks. In R. Chaki, A. Cortesi, K. Saeed, and N. Chaki (Eds.), Advanced Computing and Systems for Security, Pages 49-64. Springer AISC 395, 2015. (Best Paper Award)
  6. Kunal Kumar Mandal, Angshuman Jana and Vineet Agarwal. A New Approach of Text Steganography Based on Mathematical Model of NumberSystem. Proc. of the 3rd International Conference on Circuit, Power andComputing Technologies (ICCPCT ' 2014), Noorul Islam University, TamilNadu, India, March 2014 IEEE, Pages 1-5.
  7. Angshuman Jana Raju Halder and Agostino Cortesi. Abstract Interpretation of Hibernate Query Language. Appear in Student Poster Session and Student Research Competition in 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '15), Mumbai, India, 12-18 Jan 2015.
  8. Angshuman Jana and Raju Halder. SemDDA: A Semantics-based Database Dependency Analyzer. Appeared in the Poster Session of the 14th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '16), IIT Kanpur, India, 18-20 Nov 2016.

Dr. Angshuman Jana

Assistant Professor (CSE)

PhD (IIT Patna)