To contact me, please write to: firstname.lastname@example.org
From 2013 to 2019, I was first a lecturer, then a senior lecturer in School of Electronic Engineering and Computer Science, Queen Mary University of London. Prior to that, from 2008 to 2013, I was first an EPSRC Post Doctoral Fellow, then an EPSRC Career Acceleration Fellow and a Research Fellow of Wolfson College, at the CS Department of University of Oxford.
I have also held two Royal Academy of Engineering Industrial Scheme Fellowships, one from January 2017 to 2018 and another from September 2019 to 2020.
My research is focused on developing high-level logical and mathematical models for computer systems, learning their parameters from data, e.g. via machine learning, automating the reasoning using proof theoretic and algebraic tools, and applying the results to mainstream and industrial tasks. My current interest is Natural Language Processing (NLP), previously I led work on Multi-Agent Systems (MAS).
Topics of Interest: Compositional Distributional Semantics, Category Theoretical Models of Natural Language, Pregroup Grammars, Vector Space Models, Dynamic Epistemic Logic, Algebra, Coalgebra, Proof Theory, Verification of Multi Agent System Protocols.