• Résumé
• Curriculum vitae (in Italian)
• Writings
• Software
• Proof-scenarios verified by means of Referee (aka AEtnaNova):
  • Claw-free graphs as sets -- Proofs of existence of a near-perfect matching and of Hamiltonicity in their square
  • On representing graphs as membership digraphs
  • Reasoning about connectivity without paths
  • The representation of Boolean algebras in the spotlight of a proof checker
• Sponsored Research
• Teachings (==> see Italian side)
• Current research
• Recent publications
• Conferences and seminars
• Poem
• Portraits**/photos
• Greetings 2014

Address

phone: +39 040 5582615
fax: +39 040 5582636

email: eomodeo(at)units(dot)it