Engineering Trustworthy AI and Software Systems
Our research focuses on developing trustworthy AI and software systems. We are particularly interested in the intersection of Artificial Intelligence (AI) and Software Engineering (SE).
AI for Software Engineering
We leverage AI techniques to improve the analysis, testing, and debugging of software systems
Software Engineering for AI
We apply SE methods to ensure the trustworthiness of AI models and software
Research Areas
AI/ML Interpretability
Making AI and machine learning models more transparent and explainable
AI/ML Security and Privacy
Security analysis and protection of artificial intelligence systems
Testing and Debugging ML Models
Developing techniques to test, debug, and ensure reliability of machine learning models
Blockchain and IoT Security
Security analysis of blockchain systems and Internet of Things protocols
Software Testing
Developing advanced techniques for automated software testing and verification
Latest News
July 14, 2025
Congratulations to Qiping who has successfully defended her Ph.D. dissertation titled 'Enhancing Symbolic Execution for Solidity Smart Contracts'.
2025
Welcome Sampada to our lab as Volunteer Research Assistant.
November 18, 2024
Congratulations to Sunny who has successfully defended his Ph.D. dissertation titled 'Leveraging Software Testing Techniques to Explain, Analyze, and Debug Machine Learning Models'.
2024
Welcome Samreen to our lab as an M.S. Thesis student.
January 2024
Welcome Shovon Niverd to our lab as a Ph.D. student.
January 2024
Welcome Saif Uddin Mahmud to our lab as a Ph.D. student.