user avatar
user avatar
user avatar
Andrea Cerone
  • Member for 7 years, 8 months
  • Last seen more than 2 years ago
Stats
106
reputation
621
reached
1
answer
0
questions
About

I pursued my Ph.D. at Trinity College Dublin, under the supervision of Prof. Matthew Hennessy. During my Ph.D. my research focused on the application of process algebras to broadcasting distributed systems, with a particular emphasis on wireless networks and probabilistic systems.

Since June 2013 I am a postdoctoral researcher at the IMDEA Software Institute, in the "Architecture Driven Verification" project, led by Dr. Alexey Gotsman. Here my research focuses on the verification of higher-order concurrent programs, and on the mathematical foundations of distributed database systems.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
9
Score
1
Posts
100
Posts %
9
Score
1
Posts
100
Posts %
9
Score
1
Posts
100
Posts %
9
Score
1
Posts
100
Posts %