Skip to content

Germán Andrés Delbianco

  • Licenciate in Computer Science
  • phD candidate
  • Instituto Madrileno de Estudios Avanzados en Tecnologias de Desarrollo de Software
  • 2h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 16CitationsNumber of citations received by Germán Andrés's publications. Updated daily.

Research interests

Theorem ProvingType SystemsFunctional ProgrammingProgramming LanguagesSoftware Verification

Co-authors (4)

Publications

Concurrent Data Structures Linked in Time

  • Delbianco G
  • Sergey I
  • Nanevski A
31st European Conference on Object-Oriented Programming (ECOOP 2017) (2017)
  • n/a

    Readers

  • n/a

    Citations

Full text

Concurrent Data Structures Linked in Time (Artifact)

  • Delbianco G
  • Sergey I
  • Nanevski A
Daghstul Artifacts Series (2017)
  • n/a

    Readers

  • n/a

    Citations

Full text

Concurrent Data Structures Linked in Time

  • Delbianco G
  • Sergey I
  • Nanevski A
ArXiv (2016)
  • n/a

    Readers

  • n/a

    Citations

Hoare-style specifications as correctness conditions for non-linearizable concurrent objects

  • Sergey I
  • Nanevski A
  • Banerjee A
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 (2016)
  • n/a

    Readers

  • n/a

    Citations

Full text

Applicative Shortcut Fusion

  • Delbianco G
  • Jaskelioff M
  • Pardo A
Trends in Functional Programming (2012)
  • n/a

    Readers

  • n/a

    Citations

Full text

Professional experience

phD candidate

Instituto Madrileno de Estudios Avanzados en Tecnologias de Desarrollo de Software

September 2011 - Present

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 - Present

PhD in Software and Systems

Universidad Politecnica de Madrid

September 2011 - Present

Licenciado en Ciencia de la Computación

UNR

March 2003 - December 2010(8 years)