I'm a Ph. D. student in the Department of Computer Science of Trinity College Dublin. My research is about concurrent programming languages, in particular, I'm studying transactional constructs to facilitate consensus problems.

I am a member of the Foundations and Methods Group, which holds a weekly series of seminars on topics about formal methods and concurrency theory, usually announced here.


Email: spac...@tcd.ie
Telephone: +353-1-8963628

Postal Address:
Carlo Spaccasassi
FMG, Computer Science Dept.
Trinity College Dublin
Dublin 2