Khairul Azman
Ph.D. Student in Computer Science at Texas State University
About
I am a Ph.D. student in Computer Science at Texas State University, where I am fortunate to be advised by Dr. Shibbir Ahmed. My research lies at the intersection of software engineering and large language models (LLMs), with a focus on the reliability and trustworthiness of AI-generated outputs.
Broadly, I am interested in bringing the rigor of software engineering (testing, analysis, and verification) to LLM-based systems, and in understanding when and why these models fail. My goal is to develop principled methods that make LLM outputs verifiable and dependable, so they can be safely adopted in real-world software systems.
Before beginning my Ph.D., I completed my B.Sc. in Computer Science and Engineering at Bangladesh University of Engineering and Technology (BUET) and worked in industry as a software engineer, building large-scale communication systems. That experience shapes how I think about research: grounded in the practical realities of building and maintaining software.
I am always open to collaboration and discussion about research. If you share an interest in trustworthy AI for software engineering, please feel free to reach out!
News
July 2026Received SIGPLAN travel support for ISSTA/SPLASH 2026.
July 2026Student Research Competition (SRC) submission accepted at ISSTA/SPLASH 2026.
July 2026Accepted to the Programming Languages Mentoring Workshop (PLMW) at ISSTA/SPLASH 2026.
May 2026Received the Summer Retention Scholarship at Texas State University.
March 2026Received a $1,400 NSF travel award to attend ICSE 2026.
August 2025Started as a Doctoral Instructional Assistant at Texas State University.
February 2025Received full funding for Ph.D. admission at Texas State University.
July 2023Joined Teletalk Bangladesh Limited as an Assistant Manager.
May 2022Promoted to Software Engineer at Reve Systems.
April 2021Joined Reve Systems as a Junior Software Engineer.
February 2021Graduated with a B.Sc. in Computer Science and Engineering from BUET.
Education
Ph.D. in Computer Science
Texas State University, San Marcos, TX · Advisor: Dr. Shibbir Ahmed
B.Sc. in Computer Science and Engineering
Bangladesh University of Engineering and Technology (BUET) · Advisor: Prof. Dr. Abul Kashem Mia
Publications
A Heuristic Computational Approach for Global Protein-Protein Alignment of Multiple Biological Networks
Khairul Azman, Quazi Asif Sadmine, Shahibur Rahman, Abul Kashem Mia
Undergraduate Thesis, BUET, 2021
Tackled the NP-Hard problem of global protein-protein interaction alignment using a heuristic approach. Optimized the MAPPIN algorithm, integrated DaGO-Fun and NaviGO for functional similarity, and replaced BLAST with MMseqs2, reducing runtime from 39 to 3 minutes.
Experience
Doctoral Instructional Assistant
Texas State University
Assistant Manager
Teletalk Bangladesh Limited
Software Engineer
Reve Systems
Junior Software Engineer
Reve Systems
Teaching
Computer System Fundamentals (CS 3360)
Texas State University, Fall 2025
Responsible for grading projects and assignments, and providing student support during office hours (two sessions per week, two hours each).
Operating Systems (CS 4460)
Texas State University, Fall 2025
Responsible for grading projects and assignments, and providing student support during office hours (two sessions per week, two hours each).
Activities
Sports & Fitness
Play football and cricket regularly with friends, which helps me stay disciplined and enjoy teamwork.
Cultural Participation
Performed in annual cultural evenings at university.
Community Support
Assisted in organizing local events and university programs.
Personal Learning
Take part in online programming challenges to sharpen problem-solving skills.