Patricio Inzaghi

PhD student working on verification of distributed systems