Teaching experience
He is responsible for grading students in the Courses CS 5392 and CS 5393 for Fall 2023.
CS 5392 - Formal Methods in Software Engineering
Course description: The use of design and specification languages in producing software systems. Emphasis is placed on proving correctness of designs and implementations.
CS 5393 - Software Quality
Course description: The latter half of the software life cycle is discussed. Topics include testing, performance evaluation, and software metrics. Appropriate software tools are studied and used.