Research output per year
Research output per year
Dr
Computer ScienceSchool of Engineering and Applied Science, Aston University
B4 7ET Birmingham
United Kingdom
Aston University Main Building, room MB214D
Research activity per year
I am interested in the theory and practice of concurrent and distributed systems: how to design and develop correct and reliable applications, by building upon rigorous mathematical foundations.
My main research topics are: formal methods, concurrency theory, distributed systems, programming languages, type systems. I am particularly keen on producing theoretically-grounded tools and libraries to aid software design, development, and verification.
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference publication
Research output: Chapter in Book/Report/Conference proceeding › Conference publication
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review