About the instructor (Jad Hamza)

00-01, CS-550 Formal Verification