About

I’m a tenure-track Assistant Professor at Case Western Reserve University, in the Department of Computer and Data Sciences. Before joining CWRU, I was a Postdoctoral Researcher at Carnegie Mellon University in the Institute for Software Research (ISR). I received my Ph.D. in Computer Science from Iowa State University (ISU). For my dissertation, I worked on verifying and reasoning algorithmic fairness in ML pipeline.

My research interests are broadly at the intersection of Software Engineering (SE) and AI, focusing on engineering responsible AI systems. I adopt both formal and empirical approaches to achieve safety and robustness through analysis of software abstractions and their implementations.

  • Engineering LLMs: LLM reasoning with RL (ICML'26), technical debts repay with coding agent (ICSE'24), bias testing/mitigation for LLMs (TOSEM'26)
  • Formal verification and design: fairness verification of DNN (ICSE'23), causal reasoning in ML (FSE'21), Long-term safety in presence of feedback loop (ICSE'25)
  • AI engineering and analysis: ML software architecture (ICSE'22), ML technical debts (FSE'22), compositional fairness (ICSE'23), fair AutoML (FSE'23), bias root cause (FSE'20)

Currently, I’m focusing on LLMs and coding agents, with an emphasis on their responsible use and deployment. Our lab runs the state-of-the-art GPU cluster, including five HGX H200 servers featuring 40 NVIDIA H200 and several A100 GPUs. If you’re excited to push the frontiers of LLMs, let’s talk.

[For prospective students] I’m seeking multiple self-motivated students (Ph.D. and M.S.) to join my research group. If you are interested, please email me your CV and unofficial transcripts.

Publications

Preprints

2026.

Conference & Journal Papers

In 43rd International Conference on Machine Learning (ICML), Seoul, South Korea, 2026.
In 47th International Conference on Software Engineering (ICSE), Ottawa, Canada, 2025.
In 46th International Conference on Software Engineering (ICSE), Lisbon, Portugal, 2024.
In 45th International Conference on Software Engineering (ICSE), Melbourne, Australia, 2023.
In 45th International Conference on Software Engineering (ICSE), Melbourne, Australia, 2023.
In 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), San Francisco, California, 2023.
International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components at (ESEC/FSE), San Francisco, California, 2023.
In 44th International Conference on Software Engineering (ICSE), Pittsburgh, Pennsylvania, 2022.
In 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Singapore, 2022.
In 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Athens, Greece, 2021.
In 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Sacramento, California, 2020.

Services

Federal Agency

  • NSF AI Institute Site Visit (2026): Served on the NSF Site Visit Team Panel at the University at Buffalo for the NSF AI Institute on AI and Speech Language Therapy.

  • NSF Panelist (2025): Served as a panelist for the National Science Foundation (NSF) proposal review panel for the Division of Computing and Communications Foundations (CCF).

Journal Reviewer

Conference Program Committees (PC)

Organizing Committees

Research Projects

*
Long-Term Risks in ML Systems

Long-Term Risks in ML Systems

This project investigates how feedback loops in ML systems can cause long-term, harmful impacts, and develops tools to detect, analyze, and prevent them before deployment.

Design and Architecture of Data Science Pipelines

Design and Architecture of Data Science Pipelines

We study, design, and analyze the DS pipeline architecture consisting stages such as preprocessing, modeling, training, evaluation, etc.

Safety Assurance of Predictive Systems

Safety Assurance of Predictive Systems

We built abstractions of ML systems and inferred preconditions to provide assurance in safety-critical predictions.

Verifying Neural Networks for Individual Fairness

Verifying Neural Networks for Individual Fairness

A modular approach to formally verify neural networks. We specified individual property for SMT solver and verified fairness for specific subpopulations.

Causal Fairness in Machine Learning Pipeline

Causal Fairness in Machine Learning Pipeline

We used causal reasoning to measure fairness of components and remove them from machine learning pipeline.

Fairness Engineering in ML Models

Fairness Engineering in ML Models

We have studied the software engineering concerns of fairness in real-world machine learning models.

ML Repo Dataset from GitHub

ML Repo Dataset from GitHub

This dataset is created by mining 5M Python program snapshots. The code is transformed to AST for static analysis.

Large-Scale Mining of Data-Science Software from GitHub

Large-Scale Mining of Data-Science Software from GitHub

Mining and analyzing data-science repositories can provide insights from historical data.

Teaching

CSDS 447 - Responsible AI Engineering

Introduces methods for designing and maintaining AI-enabled software systems that meet key responsible AI principles—fairness, robustness, explainability, and safety. Students learn how to identify risks such as bias, unsafe autonomy, and hallucinations, and apply software engineering techniques for requirement analysis, testing, verification, and mitigation.

  • Topics: Introduction to responsible AI and AI engineering · Fairness (metrics, bias mitigation, verification) · Robustness (design and testing for resilient AI) · Safety (requirements for safety-critical AI, production safety) · Explainability (black-box vs. white-box analysis, trustworthiness) · Synergy/trade-offs between properties and accuracy

CSDS 393/493 - Software Engineering

Covers the principles, processes, and practices of building high-quality software systems. Students work on a semester-long team project while learning about requirements, design, implementation, testing, and maintenance.

  • Topics: Software development processes (Waterfall, Agile) · Requirements engineering and design principles · Implementation best practices and version control · Testing strategies and quality assurance · Maintenance, evolution, and professional ethics

Students

Ph.D.

  • Alif Al Hasan
  • Zhihao Dou
  • Jitong Zou

M.S.

  • Panimalar Gobichettipalayam Annadurai
  • Towsif Raiyan
  • Ruksaar Shaik

Undergraduate

  • Anika Kaur
  • Khue Luong
  • Ali Nawaf
  • Maximillian Schulten

High School

  • Sharon Sharma (K-12 Intern)

Recent News

Apr 2026 Our paper on high-level planning guidance RL for LLM reasoning got accepted to ICML 2026 to be held at Seoul, South Korea.
Dec 2025 Accepted as a UCITE Learning Fellow at Case Western Reserve University.
Jul 2025 Gave an invited talk “Engineering Responsible AI: From Fairness to Long-term Impact” at the Robotics and Autonomous Systems (AUTOBOT) Program, College of Aeronautics and Engineering, Kent State University.
May 2025 Attended the New Faculty Symposium at ICSE 2025 in Ottawa, Canada.
Jan 2025 Featured on the New Books Network podcast — Small Research Goes Big: When Less Represented Topics Find Resonance across an Entire Field — discussing the story behind “The Art and Practice of Data Science Pipelines” on the world’s largest academic audio network.
Nov 2024 Our paper on long-term fairness analysis of ML systems got accepted to ICSE 2025 to be held at Ottawa, Canada.
Aug 2024 Excited to share that I joined Case Western Reserve University as a tenure-track faculty.
Dec 2023 Presented our paper on Safe ML Systems at FSE-SE4SafeML at San Francisco, CA.
Nov 2023 Paper accepted in ICSE'24 research track on the risks and opportunities brought by LLM for technical debts.
Aug 2023 Our position paper got accepted in the FSE'23 Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components
May 2023 Presented two research papers in ICSE'23 at Melbourne
May 2023 Served as onsite judge in ACM Student Research Competition at ICSE 2023
May 2023 Joined the ICSE'23 SMeW - Student Mentoring Workshop as a Mentor
May 2023 Paper accepted in ESEC/FSE'23 research track.
Feb 2023 ICSE paper artifact accepted and got three badges.
Dec 2022 Two papers accepted at ICSE'22 research track.
Sep 2022 Joined the Program Committee of ICSE 2024 technical track.
Aug 2022 I’ve been invited to serve the Board of Distinguished Reviewers for the Journal TOSEM (ACM Transactions on Software Engineering and Methodology).
Jun 2022 Paper accepted in ESEC/FSE'22 research track.
May 2022 Presented ICSE'22 paper on Data Science Pipeline in-person at Pittsburgh, PA.

Talks

Kent State University Gave an invited talk “Engineering Responsible AI: From Fairness to Long-term Impact” at the Robotics and Autonomous Systems (AUTOBOT) Program at the College of Aeronautics and Engineering, Kent State University, 2025. Kent, OH
Amazon Presented my research on “Fairness verification and debugging” at the Automated Reasoning Group in AWS, 2024. New York
Oracle Labs Presented my research on “Mining and analysis of AI-Enabled Software Systems” in the Oracle Labs, 2024. Boston
SE4SafeML Workshop Presented the position paper “Towards Safe ML-based Systems in Presence of Feedback Loops” in the workshop of ESEC/FSE 2023. San Francisco
DARPA PI Meeting Presented “Software Architecture for Unmanned Aerial Vehicles (UAV): Automatic AADL Model Extraction and Reasoning” in the DARPA V-SPELLS PI Meeting, 2023. Virtual
ICSE'23 Presented the technical track paper “Fairify: Fairness Verification of Neural Networks” at the 45th ACM/IEEE ICSE conference, 2023. Melbourne
ICSE'23 Presented the technical track paper “Towards Understanding Fairness and its Composition in Ensemble ML” at the 45th ACM/IEEE ICSE conference, 2023. Melbourne
Invited Talk Invited by Dr. Wallapak Tavanapong to present “Fairness Verification and Sustainability of AI Systems”, 2023. Virtual
ICSE'22 Presented technical track paper “The Art and Practice of Data Science Pipeline” at the 44th ACM/IEEE ICSE conference, 2022. Pittsburgh, PA
Invited Talk Presented “Understanding and Reasoning Fairness of ML-Based Software” at the CREATE SE4AI group (Concordia, Polytechnique Montreal, Queen’s, University of Alberta), February 2022. Virtual

Recent Posts

Contact