Interests

My main research interests include autonomous systems engineering through the development of rigorous tool-supported approaches using model-based analysis, testing and formal verification.

Generative AI
Model-driven autonomous systems
Software engineering
Formal specification and verification

Qualifications

MS (Artificial Intelligence), Johns Hopkins University, 2025
MS Computer Science, Arizona State University, 2020
M Tech BITS Pilani, 2021.

Career

Researcher at Statistica Science 2007-2025.

Publications

Intelligent Software Deployment Systems Using Dynamic Batch Sizing and A/B Testing for Cloud Environments

Raju Singh

hal.science

PDF

Intelligent Load Balancing Systems using Reinforcement Learning System

Raju Singh

arxiv.org

ABS

A Framework for Mutation Testing of Machine Learning Systems

Raju Singh

SEKE

PDF

Mutation Testing framework for Machine Learning

Raju Singh

arxiv.org

PDF

Image Classification using Deep Learning: An Experimental Study on Handwritten Digit Recognition

Raju Singh

IEEE

PDF

Software Analysis and Design

Raju Singh

IEEE

PDF

Media Platform: Software Testing Prologue

Raju Singh

PDF

Software Security (Capture the Flag)

Raju Singh

IEEE

PDF

Knowledge Representation and Reasoning-Automate Warehouse

Raju Singh

preprints.org

PDF