Hafiz Abdul Quddus

Research and Analysis on AI-Powered Formal Verification Techniques for Hardware and Software Reliability.

I completed my M.Phil in Computer Science from QAU Islamabad. My advanced studies included subjects such as Advanced Analysis of Algorithms, Operating Systems, Data Mining, Machine Learning, Information Retrieval Systems, Social Network Analysis (SNA), Wireless Networks, and Design for Usability. My research thesis focused on Software Testing/ Verification, Formal Languages, Machine Learning, and Model Mining.

In my B.Ed program, I learned various techniques and methodologies of teaching, with a strong emphasis on hands-on activities and practical experiences. I completed teaching practices, particularly in science subjects.

I attended the University of Sargodha, where I studied Computer Science with a specialization in Software Engineering. My coursework included both theoretical and practical components in computer science and software engineering.