IMDEA initiative

Home > People > Andrea Cerone

Andrea Cerone

Post-doctoral Researcher

Andrea Cerone Short bio:
Since June 2013, I am a post-doctoral researcher at the IMDEA Software Institute.
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 Concurrency Theory.
For a more detailed list of my work and research interests, you can read my CV.