Kruti Shah

Kruti Shah is a computer science researcher and academic associated with the University of North Dakota, United States. Her work spans software engineering, programming languages, and mathematical logic, with a particular focus on formal methods. She has contributed to the verification of UML class diagrams and the formalization of generalization-specialization relationships using set theory, as well as explored energetic footprints of irreversibility in the quantum regime. An active member of the academic community, she serves as a reviewer for the Global Journal of Computer Science and Technology (GJCST). With published works and a growing citation record, Kruti continues to advance her research in the intersection of theoretical computer science and practical software verification.