Joined department: 1987

Aditya Mathur's research and development activities span the areas of software testing, reliability, formal approaches for software process control, and information retrieval.

Software testing and reliability: Mathur has been a crusader for the use of code coverage criteria in the estimation of software reliability or as an orthogonal metric to assess confidence in the reliability estimates. He has proposed the "Saturation Effect" as a motivating device, and as a fundamental principle, for the quantitative test assessment using an increasingly powerful suite of criteria. This device is often used by vendors to enhance marketing of their test tools. Mathur, in collaboration with Raymond DeCarlo, has pioneered research into the use of feedback control in software development. This research has led to the development of a new area now known as Software Cybernetics.

Information retrieval: Mathur, in collaboration with Luo Si's research group and IT specialist Jason Fish, is the prime architect of the INDURE expertise search system. This system is in use at four universities in the state of Indiana and serves as a model for expertise search systems under development in other states.

Books: Mathur has authored several textbooks. His most well known book "Introduction to Microprocessors" was first published in 1980 by Tata McGraw Hill. This book, the first on the subject in India, led to the initiation and subsequent proliferation of undergraduate courses in microprocessors. The third edition of this book was released in 1989 and is now in its 36th reprint. His most recent book is titled``Foundations of Software Testing" and was published by Addison Wesley Professional in 2008. In collaboration with Barry Wittmann and Tim Korb, Mathur has coauthored A Gentle Introduction to Programming Using Java. This book is intended to serve as a text in freshman programming courses.