Dr. Safeeullah Soomro received B.Sc (Hons) computer Science (1996) and M.Sc in Computer Science (1997) from University of Sindh, Jamshoro (www.usindh.edu.pk) Pakistan. He defended his PhD in 2007 from Graz University of Technology, Austria. He carried out research at Graz University of Technology (www.tugraz.at), Austria during 2003 - 2007. He has been involved in research and teaching since 1998. He has taught in different institutes of Pakistan. His research interest revolves around software debugging, formal verification and software testing. In particular, He is interested in applying model-based diagnosis and reasoning techniques to the field of automated software debugging of java programs. Furthermore, He is interested to carry out research in the formal methods. He is author of several national and international publications in conference proceedings, books and journals. He is a reviewer and committee member of different international and national conferences. He has more than 12 years of experience in teaching and research. He is an approved supervisor of Higher Education Commission (HEC) Pakistan and can supervise PhD Students. He is a member of IEEE, IEEE Computer Society, ISOC and SUCSA. Previously He supervised MS students from top ranking university in Pakistan. He is editor of three books and these are recognized internationally.