Clay Stevens

Clay Stevens is an Assistant Professor at Iowa State University, specializing in Software Engineering and Programming Languages. His research focuses on scalable formal analysis techniques, IoT system security, and mobile computing challenges. He has contributed to advancing methods for automated incompatibility detection in Android systems, interaction threat analysis in IoT ecosystems, and optimizing program analysis through bound propagation and solution reuse.

His work bridges theoretical foundations with practical applications, addressing scalability issues in software systems and leveraging game theory for understanding collaborative software development dynamics. Stevens has also explored health data visualization in mobile platforms and temporal reasoning in knowledge-based networks, showcasing a diverse technical portfolio.

Notable contributions include the SAINTDroid tool for Android compatibility analysis and the Parasol framework for parallel model synthesis. His research consistently emphasizes improving efficiency and reliability in complex software environments.

No scientific awards or grants are explicitly mentioned in the provided texts. Advising and team collaborations remain unspecified in the available data.