Somesh Jha
E239163
UNEXPLORED
Somesh Jha is a computer scientist known for his research in formal methods, security, and software verification.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
|
notableStudent |