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 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)