A
Ali Ebnenasir
Associate Professor, Computer Science
Research Interests
Automated Analysis of Fault-Tolerance
Formal Methods
Software Engineering
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Software Reliability and Analysis Research
Advanced Software Engineering Methodologies
Software Testing and Debugging Techniques