contact
|
academic
|
personal
|
about
interests
|
publications
|
seminars
|
teaching
| Semantics | Operational and Denotational semantics, Type Systems and Program Logics. |
| Concurrency | Process Calculi and Message Passing Concurrency, focussing on failure and resource management within such formalisms and languages. I am also interested in distributed algorithms. |
| Compilers | Formal specification and Correct Construction of Compilers, Compiler Optimisations and Intermediate Code Generation. |