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
  • 1

    h-index

    Impact measure calculated by Scopus using these publications and citation counts.
  • 8

    Citations

    Number of citations received by these publications in Scopus.

Research interests

Software Verification Programming Languages Functional Programming Type Systems Theorem Proving

Co-authors (4)

Loading

Publications

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

Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects

  • Sergey I
  • Nanevski A
  • Banerjee A
ArXiv (2015)
  • n/a

    Readers

  • n/a

    Citations

Hoare-style reasoning with (algebraic) continuations

  • Delbianco G
  • Nanevski A
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 (2013)
  • n/a

    Readers

  • n/a

    Citations

Full text

Trends in Functional Programming

  • 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

National University of Rosario

August 2007 - December 2010 (3 years)

Research intern

Inria Sophia Antipolis Mediterranean Research Centre

April 2008 - October 2008 (6 months)

Education history

Instituto Madrileno de Estudios Avanzados en Tecnologias de Desarrollo de Software

phD in Computer Science

October 2011 - Present

Polytechnic University of Madrid

PhD in Software and Systems

September 2011 - Present

National University of Rosario

Licenciado en Ciencia de la Computación

March 2003 - December 2010 (8 years)