Skip to content

Germán Andrés Delbianco

  • PhD in Computer Science
  • Post-doctorant
  • Institut de Recherche en Informatique Fondamentale
  • 2h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 19CitationsNumber of citations received by Germán Andrés's publications. Updated daily.

Research interests

ConcurrencyDistributed Systems VerificationTheorem ProvingFunctional ProgrammingProgramming LanguagesSoftware Verification

Co-authors (6)

  • José Miguel Rojas

Publications (5)

  • Concurrent Data Structures Linked in Time (Artifact)

    • Delbianco G
    • Sergey I
    • Nanevski A
    N/AReaders
    N/ACitations
    Get full text
  • Hoare-style Reasoning with Higher-order Control : Continuations and Concurrency

    • Delbianco G
    N/AReaders
    N/ACitations
    Get full text
  • Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources

    • Nanevski A
    • Banerjee A
    • Delbianco G
    N/AReaders
    N/ACitations
  • Hoare-style specifications as correctness conditions for non-linearizable concurrent objects

    • Sergey I
    • Nanevski A
    • Banerjee A
    N/AReaders
    N/ACitations
    Get full text
  • Communicating State Transition Systems for Fine-Grained Concurrent Resources

    • Nanevski A
    • Ley-Wild R
    • Sergey I
    N/AReaders
    N/ACitations
    Get full text

Professional experience

Post-doctorant

Institut de Recherche en Informatique Fondamentale

September 2017 - Present

phD candidate

Instituto Madrileno de Estudios Avanzados en Tecnologias de Desarrollo de Software

September 2011 - September 2017(6 years)

Research Intern

Instituto Madrileno de Estudios Avanzados en Tecnologias de Desarrollo de Software

December 2010 - October 2011(10 months)

Ayudante de Segunda

UNR

August 2007 - December 2010(3 years)

Research intern

INRIA Sophia Antipolis

April 2008 - October 2008(6 months)

Education history

phD in Computer Science

Instituto Madrileno de Estudios Avanzados en Tecnologias de Desarrollo de Software

October 2011 - July 2017(6 years)

Licenciado en Ciencia de la Computación

UNR

March 2003 - December 2010(8 years)