Graduate Coursework:

  • Database Systems
  • Operating Systems
  • Formal methods in HPC
  • Testing and Verification of Digital Circuits

(Code for the projects of these courses is available to non-current-students on request.)