CV

Education

• Ph.D. in Computer Science (Software Verification and Formal Methods), Maynooth University, Ireland — 2022 - Present
• M.Sc. in Advanced Systems Dependability, Maynooth University, Ireland — 2021 - 2022
• M.Sc. in Advanced Systems Dependability, University of St. Andrews, UK — 2020 - 2021
• B.Tech in Computer Science and Engineering, NIT Bhopal, India — 2015 - 2019

Work experience

• 2021 - Present: University Tutor and Demonstrator
  • Maynooth University
  • Modules: Java, Compiler Design, Theory of Computation, Operating Systems, Music Programming, Software Testing, Software Verification, Computer Graphics
  • Supervisor: Dr. Hao Wu and Prof. Rosemary Monahan
• Feb 2022 - July 2022: Research Intern
  • National Centre for Geocomputation (NCG), Maynooth University
  • Project: Classification of land and water features from spatial data using QGIS, Python, and Machine Learning techniques
  • Supervisor: Prof. Tim McCarthy

Skills

• Programming Languages: Java, Python, C++, Julia, OCL
• Tools & Frameworks: Git, Jupyter Notebook, Pluto, Pandas, Scikit-learn, Eclipse OCL, USE Tool, QGIS
• Testing & Verification: Selenium, Unit Testing, Integration Testing
• Formal Methods & Modelling: SMT Solvers (Z3, CVC5), Software Modeling, API Design
• Web Development: Node.js, Express.js, MongoDB, HTML/CSS, JavaScript
• Data Analysis & Visualization: Matplotlib, Seaborn, QGIS

Publications

Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification

Ankit Jha, Rosemary Monahan, Hao Wu, “Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification”, Journal of Object Technology, Volume 25, no. 3 ( 2026), pp. 3:365-378, doi:10.5381/jot.2026.25.3.a28.

A new set of metrics for measuring the complexity of OCL expressions

A. Jha, R. Monahan, H. Wu (2025). "A new set of metrics for measuring the complexity of OCL expressions." ACM/IEEE STAF 2025.

Verifying UML Models Annotated with OCL Strings

A. Jha, R. Monahan, H. Wu (2024). "Verifying UML Models Annotated with OCL Strings." ACM/IEEE MODELS 2024.

Automatic Benchmark Generation for Object Constraint Language

A. Jha (2023). "Automatic Benchmark Generation for Object Constraint Language." IEEE ICST 2023.

Proactive Handoff of Secondary User in Cognitive Radio Networks Using Machine Learning Techniques

G. Wajhal, V. Dehalwar, A. Jha, K. Ogura, M. L. Kolhe (2021). "Proactive Handoff of Secondary User in Cognitive Radio Networks Using Machine Learning Techniques." ICICCS, Springer.

Leadership

• Organizer: Peer Study Group for PhD Researchers at Maynooth
• Mentor: Undergraduate final-year projects in software engineering
• Volunteer: International Conference on Software Testing, Verification and Validation (ICST 2023), Dublin
• Class Representative: NIT Bhopal (2018–2019)
• Event Coordinator: Literary Society (Drishtant), NIT Bhopal (2017–2019)