Ankit Jha

Ankit Jha

PhD researcher at Maynooth University, passionate about software engineering, model-driven development and intelligent automation.

Ankit JhaPhD ScholarSoftware Verification & Formal Methods

Welcome! I’m Ankit Jha, a PhD Scholar in Computer Science at Maynooth University, Ireland. I’m passionate about solving real-world problems using formal methods, machine learning, and intelligent software systems. My research focuses on Automatic Benchmark Generation for Object Constraint Language (OCL), aimed at improving the evaluation and reliability of constraint-checking tools in model-driven engineering. I am fortunate to be supervised by Dr. Hao Wu and Prof. Rosemary Monahan, leading experts in the fields of software verification and formal methods.

My journey as a researcher — from cutting-edge research and hands-on projects, to impactful teaching experience and academic contributions. Explore my work, connect with my interests, and feel free to reach out for collaboration or conversation.

🔍 About Me

I’m a highly motivated researcher with a strong background in software engineering, machine learning, and formal methods. With an Erasmus Mundus joint MSc in Advanced Systems Dependability from Maynooth University and University of St Andrews, and a B.Tech in Computer Science from NIT Bhopal, I bring international academic experience and a drive for innovation.

My core strengths lie in:

  • Software Verification & Formal Modelling Skilled in designing and validating models using tools like OCL, Z3, CVC5, and the USE tool for dependable software systems.

  • Automatic Benchmark Generation Specialized in generating scalable and complexity-aware OCL benchmarks to support fair tool evaluation in model-driven engineering.

  • Machine Learning & Data Analytics Proficient in applying ML algorithms for prediction, classification, and optimization, using libraries such as scikit-learn, Pandas, and NumPy.

  • Full-Stack Web Development Experienced in building end-to-end applications using Node.js, Express.js, HTML/CSS, JavaScript, MongoDB, and MySQL. Designed secure, responsive, and user-friendly systems with real-world integration like blockchain and face authentication.

  • Programming Expertise Strong programming foundation in Java, Python, C++, and OCL, with effective use of API design, automated testing (Selenium, JUnit), and data processing tools.

  • Teaching & Academic Communication Passionate educator with extensive experience tutoring university-level modules, known for simplifying advanced computer science concepts and encouraging student engagement.

🎓 Education

  • Ph.D. in Computer Science, Maynooth University (2022–present)
    Thesis: Automatic Benchmark Generation for Object Constraint Language

  • M.Sc. Advanced Systems Dependability, Erasmus Mundus (Joint Program)
    Maynooth University & University of St. Andrews (2020–2022)

  • B.Tech. in Computer Science and Engineering,
    Maulana Azad National Institute of Technology (NIT), Bhopal (2015–2019)

🧪 Current Research

Automatic Benchmark Generation for OCL
OCL is a formal specification language used in UML. However, the absence of standardized benchmarks makes it difficult to assess and compare verification tools. My work aims to automate benchmark generation with built-in complexity profiles and solver-based validation, thereby advancing the field of formal verification.

💼 Experience

  • University Tutor & Demonstrator, Maynooth University (2021–Present)
    Modules: Java, Theory of Computation, Operating Systems, Compiler Design, Music Programming, Software Testing & Verification

  • Research Intern, National Centre for Geocomputation (Feb–Jul 2022)
    Project: Classification of spatial data using QGIS, Python & Machine Learning (Terrain-AI project)

📂 Notable Projects

  • Online Voting System with Face Authentication & Blockchain Integration Developed a secure online voting platform using face recognition for user authentication and Ethereum blockchain (Ganache & Web3.js) for vote recording. Implemented backend services with Node.js and Express, and smart contracts using Solidity.

  • Heart Disease Prediction with ML
    Built a Django-based web interface for predicting heart disease using supervised learning.

  • Proactive Handoff in Cognitive Radio Networks
    Used machine learning to optimize spectrum handoffs for secondary users.

  • Handwritten Digit Recognition
    Built a CNN-SVM hybrid model for digit classification using cleaned datasets.

🏆 Achievements

  • Erasmus Mundus Scholarship Awardee (2020–2022) – Selected for the prestigious joint MSc in Advanced Systems Dependability, hosted by Maynooth University and the University of St Andrews.

  • Best MSc Presentation, DEPEND Summer School 2022 – Recognized for delivering the top research presentation among international scholars.

  • Departmental Doctoral Scholarship, Maynooth University (2022–Present) – Awarded for outstanding academic performance and research potential.

📫 Contact

🧠 Always Learning

I actively participate in tech seminars and workshops to stay updated on the cutting edge technologies. Curious, resourceful and always open to collaboration — let’s build something impactful together!

I’m deeply engaged in the academic community through volunteering, publishing and presenting at international conferences. I enjoy mentoring students as a university tutor and find great satisfaction in simplifying complex topics.

Whether it’s exploring new programming languages, experimenting with machine learning models or optimizing constraint solvers, I believe continuous learning is the foundation of innovation. From theoretical foundations to hands-on implementation, I thrive in environments that challenge me to grow intellectually and creatively.