Static program analysis is a cornerstone in verifying, optimising, and debugging modern software systems. By evaluating code without executing it, these techniques enable early detection of defects, ...

Current course names and descriptions are available below; please note they are subject to change. You can also search for current and past course offerings on UAB's Class Schedule Listing site.

This course is available on the MSc in Mathematics and Computation and MSc in Operations Research & Analytics. This course is available with permission as an outside option to students on other ...

Start working toward program admission and requirements right away. Work you complete in the non-credit experience will transfer to the for-credit experience when you ...

This course is compulsory on the BSc in Data Science and BSc in Mathematics with Data Science. This course is available on the BSc in Mathematics and Economics, BSc in Mathematics with Economics, BSc ...

This course will provide you with the requisite scientific knowledge and understanding of analytical method lifecycle, which includes the activities of validation, verification, and transfer, to allow ...