Research Associate at King's College London
Specialities: Programming languages: Types, Semantics. Functional and Logic programming paradigms; Rewrite-based computational models: term rewriting, lambda-calculus, nominal techniques. Unification algorithms. Development of tools for specification, analysis and verification of complex systems (e.g. financial systems, programming languages, software applications). Automated reasoning: software verification and theorem proving.