Since June 2013, I am a post-doctoral researcher at the IMDEA
Since then, my research has focused on two different
areas. The first one concerns the development of
proof techniques for the verification
of higher order, concurrent programs.
My other research topic involves the investigation of the mathematical
foundations of geo-replicated and distributed systems,
with a particular emphasis to databases, and its applications
for overcoming practical challenges in such systems.
Previously I have been a post-doctoral researcher at the
Department of Computer Science, Trinity College Dublin
where I also obtained my Ph.D. under the supervision of
Prof. Matthew Hennessy
During my time at Trinity College Dublin, my research focused on developing behavioural theories
for wireless networks modelled at different levels of abstraction. These are discussed in my Ph.D.
thesis, Foundations of Ad-Hoc Wireless Networks
My research interests include the Semantics of Programming Languages, Process Algebra and
For a more detailed list of my work and research interests, you can read my CV