Nahid A. Ali
University of Gezira(SD)Sudan University of Science and Technology(SD)
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Advanced Software Engineering Methodologies, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques