Nada Amin

mitnamin
·

AI & ML interests

Formal Verification

Organizations