Fraol Batole

New Orleans, Louisiana
I am a Ph.D. student in Computer Science at Tulane University, where I recently transitioned with my advisor Prof. Hridesh Rajan. Prior to joining Tulane, I completed my Master’s degree at Iowa State University (ISU) and undertook graduate-level coursework at the University of North Dakota (UND). My academic journey began at Addis Ababa Science and Technology University, where I earned my undergraduate degree in Software Engineering, graduating Magna cum laude.
Research
My research lies at the intersection of software engineering and artificial intelligence, with a particular focus on enhancing deep learning models and large language models (LLMs) through novel software engineering methodologies. My current research objectives include:
-
Program Analysis for LLMs: I am exploring LLM‑based agentic systems that bridge program analysis and natural‑language reasoning to automate complex software engineering tasks.
-
AI System Reliability: Investigating and improving the reliability of AI systems through empirical studies and automated analysis techniques. I also work on verifying and validating agents’ actions to ensure reliability and correctness in real‑world development workflows.
I am privileged to actively collaborate with distinguished researchers in the field, including Prof. Tien N. Nguyen, Prof. Danny Dig, and Prof. Foutse Khomh, whose expertise has significantly enriched my research perspective. My earlier work contributed to Boag, a shared data science infrastructure for bioinformatics.
news
Oct 02, 2025 | I have been selected to serve as a Junior PC member for MSR 2026. |
---|---|
Aug 24, 2025 | I have been invited to serve as a reviewer for the DL4C Workshop at NeurIPS 2025. |
Jun 05, 2025 | Our paper “Together We Are Better: LLM, IDE and Semantic Embedding to Assist Move Method Refactoring” has been accepted at ICSME 2025! 🎉 |
May 01, 2025 | Excited to share that I’ll be visiting Polytechnique Montréal to work with Prof. Foutse Khomh. This short-term research will focus on using formal methods for AI safety. I’ll be in Montréal until Aug 28, 2025. |
May 01, 2025 | I presented my paper “An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Localization” at ICSE 25 in Ottawa, Canada. |