Teaching

"Any increase in knowledge anywhere helps pave the way for an increase in knowledge everywhere."

~Isaac Asimov

List of courses taught at UTA

Fall 2021: CSE 4321 Software Testing & Maintenance (Undergrad)
Spring 2021: CSE 5320/6392 Computer-Aided Verification of Systems (Graduate)
Fall 2020: CSE 5311 Design and Analysis of Algorithms (Graduate)

List of courses taught at NC A&T

Spring 2020: Comp 681 Formal Methods (Graduate)
Spring 2020: Comp 496: Senior Design (Undergrad)
Fall 2019: Comp 611: System Testing and Evaluation (Graduate)
Fall 2019: Comp 285: Design and Analysis of Algorithms (Undergrad)
Spring 2019: Comp 681 Formal Methods (Graduate)
Spring 2019: Comp 496: Senior Design (Undergrad)
Fall 2018: Comp 285: Design and Analysis of Algorithms (Undergrad)