Brief Biography
Our Paper Titled An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications has been accepted at The Journal of Emprical Software Engineering by Springer Nature Link (Q1, Impact Factor ~ 4.5)
(June 10, 2025)
I have been awarded with Graduate Student Travel Award 🏆 on behalf of Nebraska Graduate Studies to Attend The 33rd ACM International Conference on the Foundations of Software Engineering (FSE), 2025 (June, 2025)
I am honored to receive the Mary E. and Elmer H. Dohrmann Fellowship Award 🏆 from the School of Computing at UNL in Summer 2025 (21 May, 2025).
Our Artifacts for the Paper Titled Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches has been awarded with DSN 2025 Distinguished Artifacts Award 🏆
(13 May, 2025)
Our Paper Titled Unlocking Optimal ORM Designs: Accelerated Tradeoff Analysis with Transformers has been Accepted At The 33rd ACM International Conference on the Foundations of Software Engineering (FSE), 2025
(April 2025)
Acceptance Rate: 22%
Our Paper Titled Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches has been accepted at
The 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2025
(March 2025)
Acceptance Rate: 24%
Our paper titled Neuro-Symbolic Approach to Certified Scientific Software Synthesis has been accepted at 1st ACM International Conference on AI-Powered Software. (June , 2024)
I am honored to receive Most Improved Doctoral Candidate award 🏆 from the School of Computing at UNL in Spring 2024 (May 2024).
I am honored to receive the Milton E. Mohr Fellowship Award 🏆from the College of Engineering at UNL in Spring 2024 (May 2024).
I am honored to be selected as NextGEN at ICANN and attended the ICANN 79 General Meeting at San Juan, Puerto Rico (March 2024).
I am honored to be selected as a fully funded participant in Twelfth Summer School on Formal Techniques and Formal Methods in the Field Bootcamp (May - June 2023).
My paper titled Android Malware Classification Addressing Repackaged Entities by the Evaluation of Static Features and Multiple Machine Learning Algorithms has been accepted and published into Proceedings of Seventh International Congress on Information and Communication Technology: ICICT 2022, London, Volume 2 (July, 2022).
Started Ph.D. in Computer Science at the University of Nebraska Lincoln with Research Assistantship in The Internet Correctness and Efficiency (ICE) Lab at the School of Computing (January 2022).