PhD'> pdf'> bioinformatics'> Ca' Foscari'> CS'> CV'> Dublin'> dr.'> Leiden'> London'> LMCS'> Venice'> G. Bernardi'> MGP'> M.Sc.'> MSCS'> natural computing'> prof.'> A. Cerone'> H. Yang'> A. Gotsman'> M. Hennessy'> M. Bonsangue'> H.J. Hoogeboom'> M. Bugliesi'> S. Rossi'> D. Macedonio'> V. T. Vasconcelos'> TCD'> Treviso'> Universiteit &l;'> FMG'> CONCUR 2013'> CONCUR 2014'> CONCUR 2015'> CONCUR 2016'> COORDINATION 2017'> TGC 2014'> BEAT 2'> S. Gay'> st'> nd'> rd'> th'> ]> Giovanni Tito Bernardi's home page

Giovanni Tito Bernardi

Ioannis, Juan, Jean, João, Eoin, John, Johan, Jan, Ian, Ivan ...

Last update: 12&th; Apr 2017

e-mail: (λυι.ι@υie) tcd. bernargi office: 3041, bâtiment Sophie Germain, 8 place Aurélie Nemours, Université Paris Diderot, Paris

"Common sense is far more fallibe than it likes to believe."
-- Mathematical Logic as based on the Theory of Types, B. Russell


2016 - 17

First term
Second term



  • Analysing and Optimising Parallel Snapshot Isolation
    1. &j;
    2. &cerone;,
    3. &gotsman;,
    4. &yang;
    Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '15), Bordeaux, April 21, 2015.
  • Compliance and testing preorders differ
    1. &j;
    2. &hennessy;
    2&nd; International Workshop on Behavioural Types (&beat2;), Madrid, 23 - 24 September 2013.
Technical reports
&phd; thesis

Behavioural Equivalences for Web Services

On March the 28th, 2013 I submitted my thesis, and I passed the viva on May the 22nd, 2013. My examiners were S. Gay and A. Butterfield.

Chapter 4 is subsumed by this paper. Chapters 7 and 8 are subsumed by this report.

Other links: Google Scholar, DBLP


Up-coming Past


Não o prazer, não a glória, não o poder: a liberdade, unicamente a liberdade.
-- Livro do Desassossego, F. Pessoa

"I'm not over the moon. I have health, for the time being, enough money, no immediate worries. That, I believe, is about as good as it gets. Are you happy?"
-- That They May Face the Rising Sun, J. McGahern

"Our guns
We shot them in the things we said
Ah we didn't need no bullets
Cos we rely on some words instead
Kill someone in argument
Outwit them with our brains
And we'd kill ourselves laughing
At the funny things we'd say"

-- The Chariot, The Cat Empire