Emanuele D'Osualdo
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Semantics, Model Checking, Abstract Interpretation, Process Algebra, Declarative Programming, Models of Concurrency
Info
|
Themes |
Verification | Programming Languages | Foundations, Logic and Structures |
|
Supervisor |
|
