Dr. Asadullah Shaikh is PhD in software engineering from University of Southern Denmark. Dr. Shaikh obtained his M.Sc in software engineering and management from Gotborg University Sweden and B.Sc in software development form university of Huddersfield England. Dr. Shaikh is currently working as an assistant professor and head of research in the college of Computer Science and Information Systems Najran University, Najran, Saudi Arabia. He has several publications in the area of software engineering in international journals and conferences. He has vast experience in teaching and research and has worked as a Researcher in UOC Barcelona Spain. His current research topics are UML Model Verification, UML Class Diagrams Verification with OCL Constraints for Complex Models, formal Verification, feedback Technique for Unsatisfiable UML/OCL Class Diagrams and Networks.