Sharad Malik

• Computer Aided Verification