About
My research spans several areas, which include software engineering, concurrency and formal methods. I am interested in theories and tools for developing safe distributed systems. I am particularly interested in the formal foundations of service coordination and composition, business processes and their transactional behaviour, and the theory and application of behavioural types. Most recently, I have been working on the extension of Multiparty Session Types with logics to enable Design by Contract for concur rency, and the effective verification of real-time systems.
Teaching
- CO887 -- Web-Based Information Systems Development
- CO661 -- Theory and Practice of Concurrency (convenor)
- CO886 -- Software Engineering (convenor)
Professional
Here is list of projects I am or was involved in:
Events
TRENDS 2019 - 31 August, 2019, CWI, Amsterdam (Keynote Speaker)
CONCUR 2019 - 27-30 August, 2019, CWI, Amsterdam (Enjoying the talks)
ESOP 2019 - 8-11 April, 2019, Prague, Czech Republic - (Author)
S-REPLS 11 - 8 February, 2019, London, UK - (attending and presenting my latest work on timed session types)
Beat 2019 - 13-19 January, 2019, Lisbon, Portugal (PC member)
ABCD Meeting 2018 - 17-18 December, 2018, London, UK (attending and presenting my latest work on timed session types)
CONCUR 2018 - 4-7 September, 2018, Beijing, China - (Author)
Start my participation to the AURORA programme - 8 March, 2018, London, UK
Kick off meeting of (H2020-MSCA-RISE-2017) project BehAPI - 1-2 March, 2018, University of Malta, Malta.
Research Seminar - "From time-sensitive models to time-sensitive programs" - 16 February, 2018, University of Leicester, UK
ICE 2017 - 22 June, Neuchâtel, Switzerland - (ICEcreamer)
4PAD 2017 (special session at PDP) - 6-8 March, St. Petersburg, Russia - (PC member)
KCW 2016 - Kent Concurrency Workshop - 21-22 July, Canterbury, UK
Lectures series on Multiparty Session types -- lectures slides :- parts 1 & 2 (types and processes),
- part 3 (properties and typing),
- part 4 (advanced topics)