Bridge of Sighs in Cambridge
Doctor in Computer Sciences
Research Interests
Formal methods, specification languages, concurrency theory, graph theory, optimisation, workflow modelling.
Teaching Activities
Programming languages semantics, compilers design, databases.