Jade Alglave (Q101952046)
French computer scientist
Language: