Skip to content

Guido de Caso

  • Ph.D. student
  • Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
  • 0ReadersNumber of instances of Guido's publications in Mendeley libraries. Updated daily.
  • 8PublicationsNumber of items in this person’s My Publications folder on Mendeley.

Research interests

type theory and model checking.programming languages designprogram analysissoftware verificationFormal aspects of software engineering: contract validation

About

Guido de Caso is a doctoral candidate in computer science at the Department of Computing, FCEyN, Universidad de Buenos Aires, where he is also a teaching assistant in charge of undergraduate software engineering courses practical sessions. His research interests include contract validation, software verification, program analysis and programming languages design. He has been awarded a graduate fellowship by Microsoft Research.

Followers (8)

  • Ignacio Vissani

    Ignacio Vissani

  • Yvonne Friese

    Yvonne FrieseZBW Kiel

  • Heitor Ramos

    Heitor RamosDepartment of Computer Science / Universidade Federal de Minas Gerais

  • nicolas dipi

    nicolas dipi

  • Hernan Czemerinski

    Hernan Czemerinski

  • Esteban Pavese

    Esteban PaveseDepartamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

Explore network

Following (7)

  • Heitor Ramos

    Heitor RamosDepartment of Computer Science / Universidade Federal de Minas Gerais

  • sebastian Uchitel

    sebastian Uchitel

  • nicolas dipi

    nicolas dipi

  • Hernan Czemerinski

    Hernan Czemerinski

  • Esteban Pavese

    Esteban PaveseDepartamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

  • Diego Garbervetsky

    Diego GarbervetskyDepartamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

Explore network

Publications (5)

  • Program abstractions for behaviour validation

    • de Caso G
    • Braberman V
    • Garbervetsky D
    N/AReaders
    N/ACitations
    Get full text
  • Automated Abstractions for Contract Validation

    • de Caso G
    • Braberman V
    • Garbervetsky D
    N/AReaders
    N/ACitations
    Get full text
  • Behavioural validation of software engineering artefacts

    • de Caso G
    N/AReaders
    N/ACitations
    Get full text
  • Reducing the number of annotations in a verification-oriented imperative language

    • de Caso G
    • Garbervetsky D
    • Gorin D
    N/AReaders
    N/ACitations
  • Pest formal specification

    • de Caso G
    • Garbervetsky D
    • Gorin D
    N/AReaders
    N/ACitations

Professional experience

Ph.D. student

Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

April 2008 - Present

Education history

Ph.D. in Computer Science

Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

May 2008 - Present

Licenciado en Computación

Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

March 2003 - December 2007(5 years)