Joël Ouaknine
E280308
UNEXPLORED
Joël Ouaknine is a computer scientist known for his work in formal verification, automata theory, and the analysis of infinite-state and probabilistic systems.
Aliases (1)
- Joël ×2
Referenced by (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
Joël Cantona
("Joël")
→
|
givenName |
|
Joel
("Joël")
→
|
hasVariant |
|
Edmund M. Clarke
→
|
notableStudent |