Andrea Cerone

Post-doctoral Researcher

Andrea Cerone Short bio:
I am a Research Associate in the Department of Computing of Imperial College London.
Previously I have been A Post-doctoral Researcher at the IMDEA Software Institute (2013 to 2016) and at Trinity College Dublin (2012-2013), where I also got my Ph.D. (2009-2012) under the supervision of Prof. Matthew Hennessy.

My research focuses on investigating 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.
I have also have research expertise in verifying higher order, concurrent programs, and in the applications of process algebra to distributed systems and wireless networks, the latter topic being the subject of my Ph.D. Thesis.

For a more detailed list of my work and research interests, you can read my CV.